A Declarative Approach to Concurrency in Java. - Rafael Ramírez 001; Andrew E. Santosa (APLAS, 2000)

Implementing Declarative Concurrency in Java. - Rafael Ramírez 001; Andrew E. Santosa; Lee Wei Hong (Euro-Par, 2000)

Concurrent Programming Made Easy. - Rafael Ramírez 001; Andrew E. Santosa; Roland H. C. Yap (ICECCS, 2000)

Declarative Concurrency in Java. - Rafael Ramírez 001; Andrew E. Santosa (IPDPS Workshops, 2000)

Reactive Web Agents with Open Constraint Programming. - Kenny Qili Zhu; Wee-Yeh Tan; Andrew E. Santosa; Roland H. C. Yap (ISADS, 2001)

Event Logic Programming. - Rafael Ramírez 001; Andrew E. Santosa (PaCT, 2001)

A Meeting Scheduling System Based on Open Constraint Programming. - Kenny Qili Zhu; Andrew E. Santosa (CAiSE, 2002)

Distributed Programming Using Constraint Logic Programs. - Rafael Ramírez 001; Andrew E. Santosa (PDPTA, 2002)

A Methodology for Concurrent and Distributed Java Applications. - Rafael Ramírez 001; Andrew E. Santosa (IPDPS, 2003)

Scalable Distributed Depth-First Search with Greedy Work Stealing. - Joxan Jaffar; Andrew E. Santosa; Roland H. C. Yap; Kenny Qili Zhu (ICTAI, 2004)

A CLP Proof Method for Timed Automata. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (RTSS, 2004)

Concurrent and distributed programming using constraint logic programs. - Rafael Ramírez 001; Andrew E. Santosa (SAC, 2004)

Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. - Rafael Ramírez 001; Andrew E. Santosa (ICECCS, 2005)

Modeling Systems in CLP. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (ICLP, 2005)

A Constraint-Based Framework for Concurrent and Distributed Programming. - Rafael Ramírez 001; Andrew E. Santosa (PDCS, 2006)

A CLP Method for Compositional and Intermittent Predicate Abstraction. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

Relative Safety. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (VMCAI, 2006)

A Framework for Separation of Concerns in Concurrent Programming. - Rafael Ramírez 001; Andrew E. Santosa (COMPSAC (2), 2007)

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (AAAI, 2008)

A Coinduction Rule for Entailment of Recursively Defined Properties. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2008)

An Interpolation Method for CLP Traversal. - Joxan Jaffar; Andrew E. Santosa; Razvan Voicu (CP, 2009)

Recursive Abstractions for Parameterized Systems. - Joxan Jaffar; Andrew E. Santosa (FM, 2009)

Abstraction Learning. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (ATVA, 2010)

Unbounded Symbolic Execution for Program Verification. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (RV, 2011)

Symbolic Execution for Verification. - Joxan Jaffar; Jorge A. Navas; Andrew E. Santosa (CoRR, 2011)

TRACER: A Symbolic Execution Tool for Verification. - Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas; Andrew E. Santosa (CAV, 2012)

Migrating operator placement for compositional stream graphs. - Vasvi Kakkad; Andrew E. Santosa; Bernhard Scholz (MSWiM, 2012)

Path-Sensitive Backward Slicing. - Joxan Jaffar; Vijayaraghavan Murali; Jorge A. Navas; Andrew E. Santosa (SAS, 2012)

Why inheritance anomaly is not worth solving. - Vincent Gramoli; Andrew E. Santosa (ICOOOLPS@ECOOP, 2014)

Curracurrong: a stream programming environment for wireless sensor networks. - Vasvi Kakkad; Saeed Attar; Andrew E. Santosa; Alan D. Fekete; Bernhard Scholz (Softw. Pract. Exp., 2014)

Comparing Weakest Precondition and Weakest Liberal Precondition. - Andrew E. Santosa (CoRR, 2015)

Computing end-to-end delays in stream query processing. - Vasvi Kakkad; Andrew E. Santosa; Alan D. Fekete; Bernhard Scholz (Sci. Comput. Program., 2015)

ApproxSymate: path sensitive program approximation using symbolic execution. - Himeshi De Silva; Andrew E. Santosa; Nhut-Minh Ho; Weng-Fai Wong (LCTES, 2019)

Automated identification of libraries from vulnerability data. - Yang Chen; Andrew E. Santosa; Asankhaya Sharma; David Lo 001 (ICSE (SEIP), 2020)

A Machine Learning Approach for Vulnerability Curation. - Yang Chen; Andrew E. Santosa; Ming Yi Ang; Abhishek Sharma 002; Asankhaya Sharma; David Lo 001 (MSR, 2020)

Out of sight, out of mind? How vulnerable dependencies affect open-source projects. - Gede Artha Azriadi Prana; Abhishek Sharma 002; Lwin Khin Shar; Darius Foo; Andrew E. Santosa; Asankhaya Sharma; David Lo 001 (Empir. Softw. Eng., 2021)

Smart Greybox Fuzzing. - Van-Thuan Pham; Marcel Böhme; Andrew E. Santosa; Alexandru Razvan Caciulescu; Abhik Roychoudhury (IEEE Trans. Software Eng., 2021)

Automated identification of libraries from vulnerability data: can we do better? - Stefanus A. Haryono; Hong Jin Kang; Abhishek Sharma 002; Asankhaya Sharma; Andrew E. Santosa; Ming Yi Ang; David Lo 001 (ICPC, 2022)

HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits. - Giang Nguyen-Truong; Hong Jin Kang; David Lo 001; Abhishek Sharma 002; Andrew E. Santosa; Asankhaya Sharma; Ming Yi Ang (SANER, 2022)