| 2018 | ASSETS | MANA: Designing and Validating a User-Centered Mobility Analysis System. | Boyd Anderson, Shenggao Zhu, Ke Yang, Jian Wang, Hugh Anderson, Chao Xu Tay, Vincent Y. F. Tan, Ye Wang |
| 2010 | PEPM | Regular approximation and bounded domains for size-change termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2009 | TASE | Improving Responsiveness of Hard Real-Time Embedded Systems. | Hugh Anderson, Siau-Cheng Khoo |
| 2009 | TASE | Data Structure Shape Inference and Verification for OO Programs. | Rhys Owen, Hugh Anderson |
| 2007 | SYNASC | A Tool for Calculating Exponential Run-Time Properties. | Hugh Anderson, Siau-Cheng Khoo, Yijie Liu |
| 2006 | PEPM | Program transformation by solving recurrences. | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
| 2005 | APLAS | Calculating Polynomial Runtime Properties. | Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca |
| 2003 | APLAS | Affine-Based Size-Change Termination. | Hugh Anderson, Siau-Cheng Khoo |
| 2002 | ICFEM | Abstract Interpretation with a Theorem Prover. | Hugh Anderson |
| 2001 | APSEC | Formalization and 'Literate' Programming. | Hugh Anderson |