| 2026 | AAAI | RefAdGen: High-Fidelity Advertising Image Generation. | Yiyun Chen, Weikai Yang |
| 2026 | ACL | Learning from Near-Misses: Error-Aware Contrastive Few-Shot Learning for NL2Formula. | Zhihao Shuai, Yiyun Chen, Maolin Ma, Yutong Chen, Hanjia Qiu, Jing Xu, Ziye Chen, Weikai Yang |
| 2011 | TASE | A Method to Generate Verification Condition Generator. | Zhaopeng Li, Yang Zhang, Yiyun Chen |
| 2010 | TASE | A Certifying Compiler for Clike Subset of C Language. | Zhaopeng Li, Zhong Zhuang, Yiyun Chen, Simin Yang, Zhenting Zhang, Dawei Fan |
| 2009 | TASE | The Logical Approach to Low-Level Stack Reasoning. | Xinyu Jiang, Yu Guo, Yiyun Chen |
| 2008 | TASE | An Extension to Pointer Logic for Verification. | Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian |
| 2007 | TASE | Design of a Certifying Compiler Supporting Proof of Program Safety. | Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu |
| 2007 | TASE | A Certified Thread Library for Multithreaded User Programs. | Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin |
| 2007 | TASE | Foundational Typed Assembly Language with Certified Garbage Collection. | Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo |
| 2006 | APSCC | Applied Research on Logistics Grid Based on ASP. | Bo Yan, Yiyun Chen, Zhiyong Zhang |
| 2006 | EUC | Data-Layout Optimization Using Reuse Distance Distribution. | Xiong Fu, Yu Zhang, Yiyun Chen |
| 2002 | ICFEM | Machine Code Type Safety. | Fan Guo, Yiyun Chen, RongGui Hu |