Andrew E. Santosa

Publication Activity (10 Years)

Years Active: 2000-2022
Publications (10 Years): 8

Top Topics

Symbolic Execution

Object Oriented

Programming Environment

Query Processing

Top Venues

Publications

Stefanus A. Haryono, Hong Jin Kang, Abhishek Sharma, Asankhaya Sharma, Andrew E. Santosa, Ming Yi Ang, David Lo
Automated identification of libraries from vulnerability data: can we do better? ICPC (2022)
Giang Nguyen-Truong, Hong Jin Kang, David Lo, Abhishek Sharma, Andrew E. Santosa, Asankhaya Sharma, Ming Yi Ang
HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits. SANER (2022)
Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo
Out of sight, out of mind? How vulnerable dependencies affect open-source projects. Empir. Softw. Eng. 26 (4) (2021)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. IEEE Trans. Software Eng. 47 (9) (2021)
Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo
Automated identification of libraries from vulnerability data. ICSE (SEIP) (2020)
Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo
A Machine Learning Approach for Vulnerability Curation. MSR (2020)
Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, Weng-Fai Wong
ApproxSymate: path sensitive program approximation using symbolic execution. LCTES (2019)
Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury
Smart Greybox Fuzzing. CoRR (2018)
Andrew E. Santosa
Comparing Weakest Precondition and Weakest Liberal Precondition. CoRR (2015)
Vasvi Kakkad, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz
Computing end-to-end delays in stream query processing. Sci. Comput. Program. 105 (2015)
Vasvi Kakkad, Saeed Attar, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz
Curracurrong: a stream programming environment for wireless sensor networks. Softw. Pract. Exp. 44 (2) (2014)
Vincent Gramoli, Andrew E. Santosa
Why inheritance anomaly is not worth solving. ICOOOLPS@ECOOP (2014)
Vasvi Kakkad, Andrew E. Santosa, Bernhard Scholz
Migrating operator placement for compositional stream graphs. MSWiM (2012)
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
Path-Sensitive Backward Slicing. SAS (2012)
Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa
TRACER: A Symbolic Execution Tool for Verification. CAV (2012)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Unbounded Symbolic Execution for Program Verification. RV (2011)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Symbolic Execution for Verification. CoRR (2011)
Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa
Abstraction Learning. ATVA (2010)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
An Interpolation Method for CLP Traversal. CP (2009)
Joxan Jaffar, Andrew E. Santosa
Recursive Abstractions for Parameterized Systems. FM (2009)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A Coinduction Rule for Entailment of Recursively Defined Properties. CP (2008)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. AAAI (2008)
Rafael Ramírez, Andrew E. Santosa
A Framework for Separation of Concerns in Concurrent Programming. COMPSAC (2) (2007)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Method for Compositional and Intermittent Predicate Abstraction. VMCAI (2006)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Relative Safety. VMCAI (2006)
Rafael Ramírez, Andrew E. Santosa
A Constraint-Based Framework for Concurrent and Distributed Programming. PDCS (2006)
Rafael Ramírez, Andrew E. Santosa
Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. ICECCS (2005)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
Modeling Systems in CLP. ICLP (2005)
Rafael Ramírez, Andrew E. Santosa
Concurrent and distributed programming using constraint logic programs. SAC (2004)
Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu
Scalable Distributed Depth-First Search with Greedy Work Stealing. ICTAI (2004)
Joxan Jaffar, Andrew E. Santosa, Razvan Voicu
A CLP Proof Method for Timed Automata. RTSS (2004)
Rafael Ramírez, Andrew E. Santosa
A Methodology for Concurrent and Distributed Java Applications. IPDPS (2003)
Rafael Ramírez, Andrew E. Santosa
Distributed Programming Using Constraint Logic Programs. PDPTA (2002)
Kenny Qili Zhu, Andrew E. Santosa
A Meeting Scheduling System Based on Open Constraint Programming. CAiSE (2002)
Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap
Reactive Web Agents with Open Constraint Programming. ISADS (2001)
Rafael Ramírez, Andrew E. Santosa
Event Logic Programming. PaCT (2001)
Rafael Ramírez, Andrew E. Santosa
A Declarative Approach to Concurrency in Java. APLAS (2000)
Rafael Ramírez, Andrew E. Santosa
Declarative Concurrency in Java. IPDPS Workshops (2000)
Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap
Concurrent Programming Made Easy. ICECCS (2000)
Rafael Ramírez, Andrew E. Santosa, Lee Wei Hong
Implementing Declarative Concurrency in Java. Euro-Par (2000)