Andrew E. Santosa

According to our database, Andrew E. Santosa authored at least 39 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

HERMES: Using Commit-Issue Linking to Detect Vulnerability-Fixing Commits.

Giang Nguyen-Truong, Hong Jin Kang, David Lo, Abhishek Sharma, Andrew E. Santosa, Asankhaya Sharma, Ming Yi Ang

Proceedings of the IEEE International Conference on Software Analysis, 2022

Automated identification of libraries from vulnerability data: can we do better?

Stefanus A. Haryono, Hong Jin Kang, Abhishek Sharma, Asankhaya Sharma, Andrew E. Santosa, Ming Yi Ang, David Lo

Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension, 2022

2021

Smart Greybox Fuzzing.

Van-Thuan Pham, Marcel Böhme, Andrew E. Santosa, Alexandru Razvan Caciulescu, Abhik Roychoudhury

IEEE Trans. Software Eng., 2021

Out of sight, out of mind? How vulnerable dependencies affect open-source projects.

Gede Artha Azriadi Prana, Abhishek Sharma, Lwin Khin Shar, Darius Foo, Andrew E. Santosa, Asankhaya Sharma, David Lo

Empir. Softw. Eng., 2021

2020

A Machine Learning Approach for Vulnerability Curation.

Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Automated identification of libraries from vulnerability data.

Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

ApproxSymate: path sensitive program approximation using symbolic execution.

Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, Weng-Fai Wong

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

2015

Computing end-to-end delays in stream query processing.

Vasvi Kakkad, Andrew E. Santosa, Alan D. Fekete, Bernhard Scholz

Sci. Comput. Program., 2015

Comparing Weakest Precondition and Weakest Liberal Precondition.

Andrew E. Santosa

CoRR, 2015

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

Why inheritance anomaly is not worth solving.

Vincent Gramoli, Andrew E. Santosa

Proceedings of the 9th International Workshop on Implementation, 2014

2012

Path-Sensitive Backward Slicing.

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Static Analysis - 19th International Symposium, 2012

Migrating operator placement for compositional stream graphs.

Vasvi Kakkad, Andrew E. Santosa, Bernhard Scholz

Proceedings of the 15th ACM International Conference on Modeling, 2012

TRACER: A Symbolic Execution Tool for Verification.

Joxan Jaffar, Vijayaraghavan Murali, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Symbolic Execution for Verification.

Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa

CoRR, 2011

Unbounded Symbolic Execution for Program Verification.

Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Runtime Verification - Second International Conference, 2011

2010

Abstraction Learning.

Joxan Jaffar, Jorge A. Navas, Andrew E. Santosa

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Recursive Abstractions for Parameterized Systems.

Joxan Jaffar, Andrew E. Santosa

Proceedings of the FM 2009: Formal Methods, 2009

An Interpolation Method for CLP Traversal.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

A Coinduction Rule for Entailment of Recursively Defined Properties.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Principles and Practice of Constraint Programming, 2008

Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A Framework for Separation of Concerns in Concurrent Programming.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Relative Safety.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Verification, 2006

A CLP Method for Compositional and Intermittent Predicate Abstraction.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Verification, 2006

A Constraint-Based Framework for Concurrent and Distributed Programming.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, 2006

2005

Modeling Systems in CLP.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the Logic Programming, 21st International Conference, 2005

Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

2004

Concurrent and distributed programming using constraint logic programs.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A CLP Proof Method for Timed Automata.

Joxan Jaffar, Andrew E. Santosa, Razvan Voicu

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Scalable Distributed Depth-First Search with Greedy Work Stealing.

Joxan Jaffar, Andrew E. Santosa, Roland H. C. Yap, Kenny Qili Zhu

Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

2003

A Methodology for Concurrent and Distributed Java Applications.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Distributed Programming Using Constraint Logic Programs.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

A Meeting Scheduling System Based on Open Constraint Programming.

Kenny Qili Zhu, Andrew E. Santosa

Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001

Event Logic Programming.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the Parallel Computing Technologies, 2001

Reactive Web Agents with Open Constraint Programming.

Kenny Qili Zhu, Wee-Yeh Tan, Andrew E. Santosa, Roland H. C. Yap

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Declarative Concurrency in Java.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the Parallel and Distributed Processing, 2000

Concurrent Programming Made Easy.

Rafael Ramírez, Andrew E. Santosa, Roland H. C. Yap

Proceedings of the 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 2000

Implementing Declarative Concurrency in Java.

Rafael Ramírez, Andrew E. Santosa, Lee Wei Hong

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

A Declarative Approach to Concurrency in Java.

Rafael Ramírez, Andrew E. Santosa

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000