Fei Xie

According to our database, Fei Xie authored at least 21 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Enhancing Translation Validation of Compiler Transformations with Large Language Models.

Yanzhao Wang, Fei Xie

Int. J. Softw. Eng. Knowl. Eng., January, 2025

2024

A Systematic Translation Validation Framework for MLIR-Based Compilers.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

Int. J. Softw. Eng. Knowl. Eng., October, 2024

2023

An Automated Verification Framework for HalideIR-Based Compiler Transformations.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

An Equivalence Checking Framework for Agile Hardware Design.

Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2021

Concolic Execution of NMap Scripts for Honeyfarm Generation.

Zhe Li, Bo Chen, Wu-chang Feng, Fei Xie

Proceedings of the MTD@CCS 2021: Proceedings of the 8th ACM Workshop on Moving Target Defense, 2021

2019

Hardware/Software Co-monitoring.

Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie

CoRR, 2019

End-to-End Concolic Testing for Hardware/Software Co-Validation.

Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie

Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019

2018

CRETE: A Versatile Binary-Level Concolic Testing Framework.

Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2016

Validating scheduling transformation for behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Mechanical Certification of Loop Pipelining Transformations: A Preview.

Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Equivalence checking for function pipelining in behavioral synthesis.

Kecheng Hao, Sandip Ray, Fei Xie

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Scalable Certification Framework for Behavioral Synthesis Front-End.

Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Equivalence checking for compiler transformations in behavioral synthesis.

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Equivalence checking for behaviorally synthesized pipelines.

Kecheng Hao, Sandip Ray, Fei Xie

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2010

Optimizing equivalence checking for behavioral synthesis.

Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Formal Verification for High-Assurance Behavioral Synthesis.

Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.

Yan Chen, Fei Xie, Jin Yang

Proceedings of the 45th Design Automation Conference, 2008

2007

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.

Yan Chen, Yujing He, Fei Xie, Jin Yang

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Maximal Models of Assertion Graph in GSTE.

Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie

Proceedings of the Theory and Applications of Models of Computation, 2006