| 2007 | SEFM | Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. | Xianghua Deng, Robby, John Hatcliff |
| 2006 | ISoLA | Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution. | Xianghua Deng, Robby, John Hatcliff |
| 2004 | FASE | Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems. | Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Georg Jung, Prashant Shanti, Gurdip Singh |
| 2004 | TACAS | SyncGen: An Aspect-Oriented Framework for Synchronization. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |
| 2003 | EMSOFT | Space Reductions for Model Checking Quasi-Cyclic Systems. | Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcliff |
| 2003 | ICSE | Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems. | John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath |
| 2002 | ICSE | Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. | Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno |