Fei Xie

21 papers A* 4A 4B 4C 2Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Enhancing Translation Validation of Compiler Transformations with Large Language Models.
Int. J. Softw. Eng. Knowl. Eng.
Yanzhao Wang, Fei Xie
2024 J jnl
A Systematic Translation Validation Framework for MLIR-Based Compilers.
Int. J. Softw. Eng. Knowl. Eng.
Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang
2023 A conf
An Automated Verification Framework for HalideIR-Based Compiler Transformations.
DATE
Yanzhao Wang, Fei Xie, Zhenkun Yang, Jeremy Casas, Pasquale Cocchini, Jin Yang
2023 — conf
An Equivalence Checking Framework for Agile Hardware Design.
ASP-DAC
Yanzhao Wang, Fei Xie, Zhenkun Yang, Pasquale Cocchini, Jin Yang
2021 — conf
Concolic Execution of NMap Scripts for Honeyfarm Generation.
MTD@CCS
Zhe Li, Bo Chen, Wu-chang Feng, Fei Xie
2019 — conf
End-to-End Concolic Testing for Hardware/Software Co-Validation.
ICESS
Bo Chen, Kai Cong, Zhenkun Yang, Qin Wang, Jialu Wang, Li Lei, Fei Xie
2019 J jnl
Hardware/Software Co-monitoring.
CoRR
Li Lei, Kai Cong, Zhenkun Yang, Bo Chen, Fei Xie
2018 B conf
CRETE: A Versatile Binary-Level Concolic Testing Framework.
FASE
Bo Chen, Christopher Havlicek, Zhenkun Yang, Kai Cong, Raghudeep Kannavara, Fei Xie
2016 A conf
Validating scheduling transformation for behavioral synthesis.
DATE
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2014 A conf
Equivalence checking for function pipelining in behavioral synthesis.
DATE
Kecheng Hao, Sandip Ray, Fei Xie
2014 B conf
Mechanical Certification of Loop Pipelining Transformations: A Preview.
ITP
Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
2014 A* conf
Scalable Certification Framework for Behavioral Synthesis Front-End.
DAC
Zhenkun Yang, Kecheng Hao, Kai Cong, Li Lei, Sandip Ray, Fei Xie
2014 — conf
Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.
ACL2
Disha Puri, Sandip Ray, Kecheng Hao, Fei Xie
2013 C conf
Equivalence checking for compiler transformations in behavioral synthesis.
ICCD
Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie
2013 A* conf
Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
DAC
Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie
2012 A* conf
Equivalence checking for behaviorally synthesized pipelines.
DAC
Kecheng Hao, Sandip Ray, Fei Xie
2010 A conf
Optimizing equivalence checking for behavioral synthesis.
DATE
Kecheng Hao, Fei Xie, Sandip Ray, Jin Yang
2009 B conf
Formal Verification for High-Assurance Behavioral Synthesis.
ATVA
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Yang
2008 A* conf
Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.
DAC
Yan Chen, Fei Xie, Jin Yang
2007 B conf
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.
FMCAD
Yan Chen, Yujing He, Fei Xie, Jin Yang
2006 C conf
Maximal Models of Assertion Graph in GSTE.
TAMC
Guowu Yang, Jin Yang, Xiaoyu Song, Fei Xie