Andrew Santosa

Cited by

	All	Since 2016
Citations	597	250
h-index	11	7
i10-index	11	6

20032004200520062007200820092010201120122013201420152016201720182019202020212 4 7 18 7 17 21 30 15 36 47 70 57 47 47 40 41 62 13

Public access

View all

1 article

available

not available

Based on funding mandates

Co-authors

Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
Jorge A NavasSRI InternationalVerified email at sri.com
Rafael Ramirez-MelendezUniversitat Pompeu FabraVerified email at upf.edu
Vijayaraghavan MuraliFacebookVerified email at fb.com
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
Kenny Q. Zhu (朱其立)Department of Computer Science & Engineering, Shanghai Jiao Tong UniversityVerified email at cs.sjtu.edu.cn
Abhik RoychoudhuryProfessor of Computer Science, National University of SingaporeVerified email at comp.nus.edu.sg
Van-Thuan PhamLecturer, School of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Bernhard ScholzThe University of SydneyVerified email at sydney.edu.au
Marcel BöhmeARC DECRA Fellow and Senior Lecturer at Monash UniversityVerified email at monash.edu
Dr. Vasvi KakkadSchool of Information Technologies, University of SydneyVerified email at sydney.edu.au
Alan FeketeProfessor of Enterprise Software Systems, University of SydneyVerified email at sydney.edu.au
Himeshi De SilvaNational University of SingaporeVerified email at comp.nus.edu.sg
Weng-Fai WongAssociate Professor of Computer Science, National University of SingaporeVerified email at nus.edu.sg
Vincent GramoliUniversity of Sydney and EPFLVerified email at sydney.edu.au
Pavle SuboticMicrosoft, MISASAVerified email at ucl.ac.uk

Andrew Santosa

Veracode

Verified email at Veracode.com - Homepage

Application Security Program Analysis Logic Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
TRACER: A symbolic execution tool for verification J Jaffar, V Murali, JA Navas, AE Santosa International Conference on Computer Aided Verification, 758-766, 2012	127	2012
An interpolation method for CLP traversal J Jaffar, AE Santosa, R Voicu International Conference on Principles and Practice of Constraint …, 2009	81	2009
Unbounded symbolic execution for program verification J Jaffar, JA Navas, AE Santosa International Conference on Runtime Verification, 396-411, 2011	54	2011
Smart greybox fuzzing VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury IEEE Transactions on Software Engineering, 2019	52	2019
A CLP proof method for timed automata J Jaffar, A Santosa, R Voicu 25th IEEE International Real-Time Systems Symposium, 175-186, 2004	46	2004
Scalable distributed depth-first search with greedy work stealing J Jaffar, AE Santosa, RHC Yap, KQ Zhu 16th IEEE International Conference on Tools with Artificial Intelligence, 98-103, 2004	44	2004
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. J Jaffar, AE Santosa, R Voicu AAAI 8, 297-303, 2008	38	2008
A coinduction rule for entailment of recursively defined properties J Jaffar, AE Santosa, R Voicu International Conference on Principles and Practice of Constraint …, 2008	21	2008
Modeling systems in CLP J Jaffar, AE Santosa, R Voicu International conference on logic programming, 412-413, 2005	20	2005
Path-sensitive backward slicing J Jaffar, V Murali, JA Navas, AE Santosa International Static Analysis Symposium, 231-247, 2012	17	2012
Concurrent programming made easy R Ramirez, AE Santosa, RHC Yap Proceedings Sixth IEEE International Conference on Engineering of Complex …, 2000	12	2000
A CLP method for compositional and intermittent predicate abstraction J Jaffar, AE Santosa, R Voicu International Workshop on Verification, Model Checking, and Abstract …, 2006	9	2006
Curracurrong: a stream programming environment for wireless sensor networks V Kakkad, S Attar, AE Santosa, A Fekete, B Scholz Software: Practice and Experience 44 (2), 175-199, 2014	8	2014
Symbolic execution for verification J Jaffar, JA Navas, AE Santosa arXiv preprint arXiv:1103.2027, 2011	8	2011
Representing relative temporal knowledge with the tand connective PG Wijayarathna, Y Kawata, A Santosa, K Isogai, M Maekawa Eighth Ireland Conference on Artificial Intelligence’(AI-97) 2, 80-87, 1997	6	1997
Smart Greybox Fuzzing. CoRR abs/1811.09447 (2018) VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury arXiv preprint arXiv:1811.09447, 2018	5	2018
Method and system for code analysis using symbolic types L Li, A Santosa US Patent 9,336,128, 2016	5	2016
Recursive abstractions for parameterized systems J Jaffar, AE Santosa International Symposium on Formal Methods, 72-88, 2009	5	2009
An aspect-oriented framework for concurrent applications R Ramirez, AE Santosa	5	2003
Declarative concurrency in Java R Ramirez, AE Santosa International Parallel and Distributed Processing Symposium, 332-339, 2000	5	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors