Andrew E. Santosa

40 papers A* 2A 9B 13C 1Misc 2Journal 7Unranked 6

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