Fei Xie - RankMe

21 papers A* 4A 4B 4C 2Journal 3Unranked 4

Year	Rank	Type	Title / 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