| 2011 | ICST | Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. | Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu |
| 2009 | FASE | Formal Specification and Analysis of Timing Properties in Software Systems. | Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura |
| 2008 | APLAS | JavaScript Instrumentation in Practice. | Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov |
| 2008 | ISSTA | Dynamic test input generation for web applications. | Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su |
| 2008 | WWW | Better abstractions for secure server-side scripting. | Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov |
| 2007 | APLAS | More Typed Assembly Languages for Confidentiality. | Dachuan Yu |
| 2007 | POPL | JavaScript instrumentation for browser security. | Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov |
| 2006 | ECOOP | Variance and Generalized Constraints for C | Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu |
| 2006 | ESOP | A Typed Assembly Language for Confidentiality. | Dachuan Yu, Nayeem Islam |
| 2004 | ICFP | Verification of safety properties for concurrent assembly code. | Dachuan Yu, Zhong Shao |
| 2004 | ISCAS | Characteristics and modelling of PEM fuel cells. | Subbaraya Yuvarajan, Dachuan Yu |
| 2004 | POPL | Formalization of generics for the .NET common language runtime. | Dachuan Yu, Andrew Kennedy, Don Syme |
| 2003 | ESOP | Building Certified Libraries for PCC: Dynamic Storage Allocation. | Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao |