Saswat Anand

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 5

Top Venues

SIGSOFT FSE

CoRR

NDSS

ICST

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
Eventually Sound Points-To Analysis with Specifications. ECOOP (2019)
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS (2017)
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
Eventually Sound Points-To Analysis with Missing Code. CoRR (2017)
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. CoRR (2016)
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
Minimizing GUI event traces. SIGSOFT FSE (2016)
Osbert Bastani, Saswat Anand, Alex Aiken
Interactively verifying absence of explicit information flows in Android apps. OOPSLA (2015)
Osbert Bastani, Saswat Anand, Alex Aiken
An interactive approach to mobile app verification. MobileDeLi (2015)
Osbert Bastani, Saswat Anand, Alex Aiken
Specification Inference Using Context-Free Language Reachability. POPL (2015)
Lazaro Clapp, Saswat Anand, Alex Aiken
Modelgen: mining explicit information flow specifications from concrete executions. ISSTA (2015)
Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
Apposcopy: automated detection of Android malware (invited talk). DeMobile@SIGSOFT FSE (2014)
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
Apposcopy: semantics-based detection of Android malware through static analysis. SIGSOFT FSE (2014)
Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. 86 (8) (2013)
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
Automated concolic testing of smartphone apps. SIGSOFT FSE (2012)
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST (2012)
Saswat Anand, Mary Jean Harrold
Heap cloning: Enabling dynamic symbolic execution of java programs. ASE (2011)
William G. J. Halfond, Saswat Anand, Alessandro Orso
Precise interface identification to improve testing and analysis of web applications. ISSTA (2009)
Saswat Anand, Corina S. Pasareanu, Willem Visser
Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11 (1) (2009)
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
Demand-Driven Compositional Symbolic Execution. TACAS (2008)
Saswat Anand, Corina S. Pasareanu, Willem Visser
JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS (2007)
Saswat Anand, Alessandro Orso, Mary Jean Harrold
Type-Dependence Analysis and Program Transformation for Symbolic Execution. TACAS (2007)
Saswat Anand, Corina S. Pasareanu, Willem Visser
Symbolic Execution with Abstract Subsumption Checking. SPIN (2006)
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
A Lazy Divide and Conquer Approach to Constraint Solving. ICTAI (2002)
Saswat Anand, Siau-Cheng Khoo
Efficient Interpretation of Chart Pattern Language. APLAS (2001)
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
Charting Patterns on Price History. ICFP (2001)

Saswat Anand.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Saswat Anand