| 2020 | ICSE | Automated identification of libraries from vulnerability data. | Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo |
| 2020 | MSR | A Machine Learning Approach for Vulnerability Curation. | Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo |
| 2014 | ECOOP | Why inheritance anomaly is not worth solving. | Vincent Gramoli, Andrew E. Santosa |
| 2012 | CAV | TRACER: A Symbolic Execution Tool for Verification. | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2012 | MSWIM | Migrating operator placement for compositional stream graphs. | Vasvi Kakkad, Andrew E. Santosa, Bernhard Scholz |
| 2012 | SAS | Path-Sensitive Backward Slicing. | Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa |
| 2011 | RV | Unbounded Symbolic Execution for Program Verification. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2010 | ATVA | Abstraction Learning. | Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa |
| 2009 | CP | An Interpolation Method for CLP Traversal. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2009 | FM | Recursive Abstractions for Parameterized Systems. | Joxan Jaffar, Andrew E. Santosa |
| 2008 | AAAI | Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2008 | CP | A Coinduction Rule for Entailment of Recursively Defined Properties. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2007 | COMPSAC | A Framework for Separation of Concerns in Concurrent Programming. | Rafael Ramrez, Andrew E. Santosa |
| 2006 | VMCAI | A CLP Method for Compositional and Intermittent Predicate Abstraction. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2006 | VMCAI | Relative Safety. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2005 | ICECCS | Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. | Rafael Ramrez, Andrew E. Santosa |
| 2005 | ICLP | Modeling Systems in CLP. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2004 | ICTAI | Scalable Distributed Depth-First Search with Greedy Work Stealing. | Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu |
| 2004 | SAC | Concurrent and distributed programming using constraint logic programs. | Rafael Ramrez, Andrew E. Santosa |
| 2004 | RTSS | A CLP Proof Method for Timed Automata. | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
| 2002 | CaiSE | A Meeting Scheduling System Based on Open Constraint Programming. | Kenny Qili Zhu, Andrew E. Santosa |
| 2002 | PDPTA | Distributed Programming Using Constraint Logic Programs. | Rafael Ramrez, Andrew E. Santosa |
| 2001 | ISADS | Reactive Web Agents with Open Constraint Programming. | Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap |
| 2001 | PACT | Event Logic Programming. | Rafael Ramrez, Andrew E. Santosa |
| 2000 | APLAS | A Declarative Approach to Concurrency in Java. | Rafael Ramrez, Andrew E. Santosa |
| 2000 | EuroPar | Implementing Declarative Concurrency in Java. | Rafael Ramrez, Andrew E. Santosa, Lee Wei Hong |
| 2000 | ICECCS | Concurrent Programming Made Easy. | Rafael Ramrez, Andrew E. Santosa, Roland H. C. Yap |