Conference Papers
·
Zhe
Li and Fei Xie. Concolic Testing of Front-end JavaScript. In Proc. of
International Conference on Fundamental Approaches to Software Engineering,
April 2023.
·
Yanzhao
Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, and Jin Yang. An
Automated Verification Framework for HalideIR-Based
Compiler Transformations. In Proc. of Design, Automation & Test in Europe
Conference & Exhibition (DATE), April 2023.
·
Zhe
Li and Fei Xie. In-Situ Concolic Testing of JavaScript. In Proc. of IEEE
International Conference on Software Analysis, Evolution and Reengineering
(SANER), March 2023.
·
Yanzhao
Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, and Jin Yang. An Equivalence
Checking Framework for Agile Hardware Design. In Proc. of 28th Asia and South
Pacific Design Automation Conference, January 2023.
·
Yanzhao
Wang and Fei Xie. Extending Tensor Virtual Machine to Support Deep-Learning
Accelerators with Convolution Cores. In Proc. of 26th International Conference
on Engineering of Complex Computer Systems (ICECCS), March 2022.
·
Zhe
Li, Bo Chen, Wu-chang Feng, and Fei Xie. Concolic Execution of NMap Scripts for Honeyfarm
Generation. In Proc. of the 8th ACM Workshop on Moving Target Defense (MTD),
November 2021.
·
Haifeng
Gu, Mingsong Chen, Yanzhao Wang, and Fei Xie. SpectreCheck: An Approach to Detecting Speculative
Execution Side Channels in Data Cache. In Proc. of IEEE International
conference on embedded software and systems (ICESS), December 2020.
·
Bin
Lin, Jinchao Chen, and Fei Xie. Selective Concolic
Testing for Hardware Trojan Detection in Behavioral SystemC
Designs. In Proc. of the Conference on Design, Automation, and Test in Europe,
March 2020
·
Bo
Chen, Zhenkun Yang, Li Lei, Kai Cong, and Fei Xie. Automated Bug Detection and
Replay for COTS Linux Kernel Modules with Concolic Execution. In Proc. of 27th
IEEE International Conference on Software Analysis, Evolution and Reengineering
(SANER), February 2020.
·
Bo
Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang,
Li Lei, Fei Xie. End-to-End Concolic Testing for Hardware/Software
Co-Validation. In Proceedings of IEEE International Conference on Embedded
Software and Systems (ICESS’19), Las Vegas, NV, USA, June 2-3, 2019
·
Bo
Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara and Fei
Xie. CRETE: A Versatile Binary-Level Concolic Testing Framework. In Proceedings
of the 21st International Conference on Fundamental Approaches to Software
Engineering (FASE'18), Thessaloniki, Greece, April 2018.
·
Bin
Lin, Kai Cong, Zhenkun Yang, Zhigang Liao, Tao Zhan, Christopher Havlicek, Fei
Xie. Concolic Testing of SystemC Designs. In
Proceedings of the 19th International Symposium on Quality Electronic Design
(ISQED'18), Santa Clara, CA, USA, March 2018.
·
Bin
Lin and Fei Xie. SCBench: A Benchmark Design Suite
for SystemC Verification and Validation. In
Proceedings of the 23rd Asia and South Pacific Design Automation Conference
(ASP-DAC'18), Jeju Island, Korea, January 2018.
·
Jinchao Chen, Chenlie Du, Fei Xie and Bin
Lin. Allocation and Scheduling of Strictly Periodic Tasks in Multi-core
Real-Time Systems. In Proc. of IEEE 22nd International Conference on Embedded
and Real-Time Computing Systems and Applications (RTCSA), pages 130-138, Daegu,
South Korea, August 2016.
·
Zhenkun
Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray and Fei Xie. Validating
Scheduling Transformation for Behavioral Synthesis. In Proc. of Design,
Automation & Test in Europe Conference & Exhibition (DATE), pages
1652-1657, Dresden, Germany, 2016.
·
Bin
Lin, Zhenkun Yang, Kai Cong, and Fei Xie. Generating High Coverage Tests for SystemC Designs Using Symbolic Execution. In Proc. of 21st
Asia and South Pacific Design Automation Conference (ASP-DAC), Macao, China,
January 2016.
·
Raghudeep
Kannavara, Christopher J Havlicek, Bo Chen, Mark R Tuttle, Kai Cong, Sandip
Ray, and Fei Xie. Challenges and Opportunities with Concolic Testing. In Proc.
of IEEE National Aerospace Conference / Ohio Innovation Summit & IEEE
Symposium on Monitoring & Surveillance Research (NAECON-OIS 2015), Dayton,
OH, 2015.
·
Kai Cong, Li Lei, Zhenkun Yang, Fei
Xie. Automatic Fault Injection for Driver Robustness Testing. In Proc. of
International Symposium on Software Testing and Analysis (ISSTA), July 2015.
o
Full Text
[pdf]
·
Disha Puri, Sandip Ray, Kecheng Hao
and Fei Xie. Mechanical Certification of Loop Pipelining Transformations: A
Preview. In Proc. of International Conference on Interactive Theorem Proving.
Vienna, Austria, July 2014.
o
Full Text [pdf]
·
Zhenkun Yang, Kecheng Hao, Kai Cong,
Li Lei, and Fei Xie. Scalable Certification Framework for Behavioral Synthesis
Front-End. In Proc. of Design Automation Conference San Francisco, California,
June 2014.
o
Full
Text [pdf]
·
Kai Cong, Li Lei, Zhenkun Yang, and
Fei Xie. Coverage Evaluation of Post-Silicon Validation Tests with Virtual
Prototypes. In Proc. of Design, Automation and Test in Europe, Dresden,
Germany, March 2014.
o
Full Text
[pdf]
·
Kecheng Hao, Sandip Ray, and Fei
Xie. Equivalence Checking for Function Pipelining in Behavioral Synthesis. In
Proc. of Design, Automation and Test in Europe, Dresden, Germany, March 2014.
o
Full Text
[pdf]
·
Kai Cong, Fei Xie, and Li Lei.
Automatic Concolic Test Generation with Virtual Prototypes for Post-silicon
Validation. In Proc. of IEEE/ACM International Conference on Computer-Aided
Design (ICCAD), San Jose, CA, November 2013.
o
Full Text
[pdf]
·
Lei Li, Kai Cong, and
Fei Xie. Optimizing Post-silicon Conformance Checking. In Proc. of 31st IEEE
International Conference on Computer Design (ICCD), 2013.
o
Full Text
[pdf]
·
Zhenkun Yang, Kecheng Hao, Kai Cong,
Sandip Ray, and Fei Xie. Equivalence Checking for Compiler Transformations in
Behavioral Synthesis. In Proc. of 31st IEEE International Conference on
Computer Design (ICCD), October 2013.
o
Full Text
[pdf]
·
Kai Cong, Fei Xie, and Li Lei.
Symbolic Execution of Virtual Devices. In Proc. of 13th International
Conference on Quality Software (QSIC), 2013.
o
Full Text
[pdf]
·
Yu Zhang, Fei Xie, Yunwei Dong, Xingshe Zhou, and
Chunyan Ma. Cyber/Physical Co-Verification for Developing Reliable
Cyber-Physical Systems. In Proc. of 37th Annual International Computer Software
and Applications Conference (COMPSAC), 2013.
o
Full
Text [pdf]
·
Li Lei, Fei Xie, and Kai Cong. Post-silicon Conformance
Checking with Virtual Prototypes. In Proc. of 50th Design Automation Conference (DAC), 2013.
o
Full
Text [pdf]
·
Zhenkun Yang, Kecheng Hao, Sandip
Ray, and Fei Xie. Handling Design and Implementation Optimizations in
Equivalence Checking for Behavioral Synthesis. In Proc. of 50th Design
Automation Conference (DAC), 2013.
o
Full
Text [pdf]
·
Kecheng Hao, Sandip Ray, and Fei
Xie. Equivalence Checking for Behaviorally Synthesized Pipelines. In Proc.
of 49 Design Automation Conference (DAC), 2012.
o
Full Text
[pdf]
·
Juncao Li, Fei Xie, Thomas Ball,
Vladimir Levin, and Con McGarvey. Formalizing HW/SW Interface Specifications.
In Proc. of IEEE/ACM International Conference on Automated Software
Engineering (ASE), 2011.
o
Full Text
[pdf]
·
Juncao Li, Fei Xie, Thomas Ball, and
Vladimir Levin. Model Checking Büchi Pushdown Systems. In Proc. of International
Conference on Foundational Approaches to Software Engineering (FASE), 2011.
o
Full Text
[pdf]
·
Juncao Li, Fei Xie, Thomas Ball, and
Vladimir Levin. Efficient
Reachability Analysis of Büchi Pushdown Systems for Hardware/Software
Co-verification. In Proc. of International
Conference on Computer-Aided Verification (CAV),
2010.
o
Full Text
[pdf]
·
Juncao Li, Fei Xie, Thomas Ball,
Vladimir Levin, and Con McGarvey. An Automata-Theoretic Approach to
Hardware/Software Co-Verification. In Proc. of International Conference on
Foundational Approaches to Software Engineering (FASE), 2010.
o
Full Text
[pdf]
·
Kecheng Hao, Fei Xie, Sandip Ray,
and Jin Yang. Optimizing Equivalence Checking for Behavioral Synthesis. In Proc.
of Design, Automation and Test in Europe (DATE), 2010.
o
Full Text [pdf]
·
Sandip Ray, Kecheng Hao, Yan Chen,
Fei Xie, and Jin Yang. Formal Verification for High-Assurance Behavioral
Synthesis. In Proc. of 7th International Symposium on Automated Technology
for Verification and Analysis, 2009.
o
Full Text [pdf]
·
Ella Atkins, Jeremy Green, Jianliang. Yi, Honguk Wu, James
C. Browne, Aloysius K. Mok, and Fei Xie. The TableSat
Platform and its Verifiable Control Software. In Proc. of
the Infotech@Aerospace Conference, AIAA, 2009.
o
Full
Text [pdf]
·
Nicholas T. Pilkington, Juncao Li,
and Fei Xie. ESIDE: An Integrated Development Environment for Component-Based
Embedded Systems. In Proc. of 33rd Annual International Computer
Software and Applications Conference (COMPSAC), 2009.
o
Full Text
[pdf]
·
Kecheng Hao and Fei Xie.
Componentizing Hardware/Software Interface Design. In Proc. of Design,
Automation and Test in Europe (DATE), 2009.
o
Full Text
[pdf]
·
Yan Chen, Fei Xie, and Jin Yang.
Optimizing Automatic Abstraction Refinement for Generalized Symbolic Trajectory
Evaluation. In Proc. of 45th Design Automation Conference (DAC), 2008.
o
Full
Text [pdf]
·
Juncao Li, Nicholas T. Pilkington,
Fei Xie, and Qiang Liu. Embedded Architecture Description Language. In Proc.
of 32st Annual International Computer Software and Applications Conference
(COMPSAC), 2008.
o
Full Text
[pdf]
·
Juncao
Li, Xiuli Sun, Fei Xie, and Xiaoyu Song.
Component-Based Abstraction and Refinement. In Proc. of 10th International
Conference on Software Reuse (ICSR), 2008.
o
Full Text
[pdf]
·
Jianliang
Yi, Honguk Woo, James C. Browne, Aloysius K. Mok,
Ella Atkins, and Fei Xie. Design and Development Methodology for Resilient
Cyber-Physical Systems. In Proc. of First International Workshop on
Cyber-Physical Systems (WCPS),
2008.
·
Jianliang
Yi, Honguk Woo,
James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, and Chun-Gun Lee.
Incorporating Resource Safety Verification to Executable Model-based
Development for Embedded Systems. In Proc. of 14th IEEE Real-Time and
Embedded Technology and Applications Symposium (RTAS), 2008
·
Yan Chen, Yujing
He, Fei Xie, and Jin Yang. Automatic Abstraction Refinement for Generalized
Symbolic Trajectory Evaluation. In Proc. of 7th International
Conference on Formal Methods in Computer-Aided Design (FMCAD), 2007.
o
Full Text
[pdf]
·
Juncao Li, Fei Xie, and Huaiyu Liu.
Guiding Component-Based Hardware/Software Co-Verification with Patterns. In Proc.
of 33rd EUROMICRO Conference on Software Engineering and Advanced Application
(SEAA), 2007.
o
Full Text
[pdf]
·
Ping Hang Cheung, Kecheng Hao, and
Fei Xie. Component-Based Hardware/Software Co-Simulation. In Proc. of 10th
EUROMICRO Conference on Digital System Design (DSD): Architectures, Methods and
Tools, 2007.
o
Full Text
[pdf]
·
Fei Xie and Huaiyu Liu. Unified
Property Specification for Hardware/Software Co-Verification. In Proc. of
31st Annual International Computer Software and Applications Conference
(COMPSAC), 2007.
o
Full Text
[pdf]
·
Fei Xie, Guowu
Yang, and Xiaoyu Song. Compositional Reasoning for Hardware/Software
Co-Verification. In Proc. of Fourth International Symposium on Automated
Technology for Verification and Analysis (ATVA), 2006.
o
Full Text
[pdf]
·
Fei Xie, Guowu
Yang, and Xiaoyu Song. Component-Based Hardware/Software Co-Verification. In
Proc. of Fourth ACM-IEEE International
Conference on Formal Methods and Models for Codesign (MEMOCODE), 2006.
o
Full
Text [pdf]
·
Fei Xie and James C. Browne. Verification of Component-Based Software Application
Families. In Proc. of The 9th
International SIGSOFT Symposium on Component-Based Software Engineering (CBSE
2006), 2006.
o
Full Text
[pdf]
·
Guowu
Yang, Xiaoyu Song, William N. N. Hung, Fei Xie, and Marek A. Perkowski. Group
Theory Based Synthesis of Binary Reversible Circuits. In Proc. of Third
International Conference Theory and Applications of Models of Computation
(TAMC), 2006.
o
Full Text
[pdf]
·
Guowu
Yang, Jin Yang, Xiaoyu Song, and Fei Xie. Maximal Models of Assertion
Graph in GSTE. In Proc. of Third International Conference Theory and
Applications of Models of Computation (TAMC), 2006.
o
Full Text [pdf]
·
Guowu
Yang, Fei Xie, Xiaoyu Song, William Hung and Marek Perkowski
. A Constructive Algorithm for Reversible Logic Synthesis. In Proc.
of 2006 IEEE Congress on Evolutionary Computation (CEC 2006), 2006.
o
Full Text [pdf]
·
Fei Xie, Xiaoyu Song, Haera Chung, Ranajoy Nandi.
Translation-Based Co-Verification. In Proc. of 3rd ACM-IEEE
International Conference on Formal Methods and Models for Codesign (MEMOCODE),
2005.
o
Full Text
[pdf]
·
Guowu
Yang, Xiaoyu Song, Hannah H. Yang, and Fei Xie. A Theoretical Upper Bound for
IP-Based Floorplanning. In Proc of 11th
International Computing and Combinatorics Conference (COCOON), 2005.
o
Full
Text [pdf]
·
Fei Xie, Vladimir Levin, Robert P.
Kurshan, and James C. Browne. Translating Software Designs for Model
Checking. In Proc. of 7th International Conference Fundamental Approach
to Software Engineering (FASE), 2004.
o
Full
Text [pdf]
·
Thomas Ball, Vladimir Levin, and Fei
Xie. Automatic Creation of Environment Models via Training. In Proc.
of 10th International Conference Tools and Algorithms for the Construction and
Analysis of Systems (TACAS), 2004.
o
Full
Text [pdf]
·
Fei Xie and James C. Browne.
Verified Systems by Composition from Verified Components. In Proc.
of 4th Joint Meeting of the European Software Engineering Conference and ACM
SIGSOFT Symposium on Foundations of Software
Engineering (ESEC/FSE), 2003.
o
Full
Text [pdf]
o
Presentation
Slides [pps]
·
Fei Xie, James C. Browne, and Robert
P. Kurshan. Translation-Based Compositional Reasoning for Software Systems. In Proc.
of 12th International Formal Method Europe (FME) Symposium, 2003.
o
Full Text
[pdf]
o
Presentation
Slides [pps]
·
Fei Xie and James C. Browne.
Integrated State Space Reduction for Model Checking Executable
Object-oriented Software System Designs, In Proc. of 5th International
Conference Fundamental Approach to Software Engineering (FASE), 2002.
o
Full Text
[pdf]
o
Presentation
Slides [pps]
·
Fei Xie, Vladimir Levin, and James
C. Browne. ObjectCheck: A Model Checking
Tool for Executable Object-oriented Software System Designs, In Proc.
of 5th International Conference Fundamental Approach to Software Engineering
(FASE), 2002.
o
Full
Text [pdf]
o
Presentation Slides [pps]
·
Fei Xie, Vladimir Levin, and James
C. Browne. Model Checking for an Executable Subset of UML. In Proc.
of 16th International Conference on Automated Software
Engineering (ASE), 2001.
o
Full Text
[pdf]
o
Presentation
Slides [pps]
Journal Papers
·
Haifeng Gu, Jianning
Zhang, Mingsong Chen, Tongquan
Wei, Li Lei, and Fei Xie.
Specification-Driven Conformance Checking for Virtual/Silicon Devices using
Mutation Testing. IEEE Transactions on Computers, April 2020.
·
Bin
Lin and Fei Xie. A Systematic Investigation of State-of-the-Art SystemC Verification. Journal of Circuits, Systems and
Computers, March 2020.
·
Jinchao Chen, Chenglie Du, Fei Xie, Bin Lin. Scheduling non-preemptive
tasks with strict periods in multi-core real-time systems. Journal of Systems
Architecture, Volume 90, Pages 72-84. 2018.
·
Yu Bai, Jichuan
Xing, Fei Xie, Sujie Liu, and Jinxin
Li. Detection and Identification of External Intrusion Signals from 33 km
Optical Fiber Sensing System Based on Deep Learning. Optical Fiber Technology,
Volume 53, 2019.
o Full
Text [pdf]
·
Jinchao
Chen, Chenglie Du, Fei Xie, and Zhenkun Yang. Schedulability analysis of non-preemptive strictly periodic
tasks in multi-core real-time systems. Real-Time Systems, May 2015.
o Full
Text [pdf]
·
Yu Zhang, Fei Xie, Yunwei Dong, Gang Yang, and Xingshe
Zhou. High Fidelity Virtualization of Cyber-Physical Systems. International
Journal of Modeling, Simulation, and Scientific Computing, 4(2), June 2013.
o Full Text [pdf]
·
Guowu
Yang, Fei Xie, Xiaoyu Song, William H. N. Huang, and Marek A. Perkowski.
Realization and Synthesis of Reversible Functions. Theoretical Computer
Science Volume 412,
Issue 17, Pages 1606-1613, April 2011.
o Full Text [pdf]
·
Juncao Li, Nicholas T. Pilkington,
Fei Xie, and Qiang Liu. Embedded Architecture Description Language. Journal
of Systems and Software Volume 83, Issue 2,
Pages 643-654, 2010.
o Full Text [pdf]
·
Fei Xie, Guowu Yang, and Xiaoyu Song. Component-Based
Hardware/Software Co-Verification for Building Trustworthy Embedded Systems. Journal
of Systems and Software Volume
80, Issue 5, Pages 643-654, 2007.
o Full Text [pdf]
·
Guowu
Yang, Fei Xie, Xiaoyu Song, and Marek A. Perkowski. Universality of Two–Qudit
Ternary Reversible Gates. Journal of Physics A: Mathematical and General,
2006.
·
Natasha Sharygina,
James C. Browne, Fei Xie, Robert Kurshan, and Vladimir Levin. Lessons Learned
from Model Checking a NASA Robot Controller. Journal of Formal Methods in
System Design 25(2-3), 2004.
o Full Text [pdf]
Dissertation
·
Xie, Fei. Integration of Model
Checking into Software Development Processes. The University of Texas at
Austin, Department of Computer Sciences. Technical Report TR-04-29. August
2004. 163 pages.
o Full Text [pdf]
o Presentation Slides [pps]
Technical Reports
·
Fei Xie and James C. Browne.
Verified Systems by Composition from Verified Components. UTCS Technique Report
#TR-02-40, 2002.
o Full Text [pdf]
·
Fei Xie, Vladimir Levin, and James
C. Browne. Model Checking for an Executable Subset of UML, UTCS
Technique Report #TR-01-34, 2001.
o Full Text [pdf]
·
Fei Xie, Vladimir Levin, and James
C. Browne. Integrating Model Checking into Object-oriented Software
Development Processes, UTCS Technique Report #TR-01-03, 2001.
o Full Text
[pdf]