Efficient Interpretation of Chart Pattern Language. - Saswat Anand; Siau-Cheng Khoo (APLAS, 2001)

Charting Patterns on Price History. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICFP, 2001)

A Lazy Divide and Conquer Approach to Constraint Solving. - Saswat Anand; Wei-Ngan Chin; Siau-Cheng Khoo (ICTAI, 2002)

Symbolic Execution with Abstract Subsumption Checking. - Saswat Anand; Corina S. Pasareanu; Willem Visser (SPIN, 2006)

Type-Dependence Analysis and Program Transformation for Symbolic Execution. - Saswat Anand; Alessandro Orso; Mary Jean Harrold (TACAS, 2007)

JPF-SE: A Symbolic Execution Extension to Java PathFinder. - Saswat Anand; Corina S. Pasareanu; Willem Visser (TACAS, 2007)

Demand-Driven Compositional Symbolic Execution. - Saswat Anand; Patrice Godefroid; Nikolai Tillmann (TACAS, 2008)

Precise interface identification to improve testing and analysis of web applications. - William G. J. Halfond; Saswat Anand; Alessandro Orso (ISSTA, 2009)

Symbolic execution with abstraction. - Saswat Anand; Corina S. Pasareanu; Willem Visser (Int. J. Softw. Tools Technol. Transf., 2009)

Heap cloning: Enabling dynamic symbolic execution of java programs. - Saswat Anand; Mary Jean Harrold (ASE, 2011)

Symbolic Execution with Interval Solving and Meta-heuristic Search. - Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina S. Pasareanu (ICST, 2012)

Automated concolic testing of smartphone apps. - Saswat Anand; Mayur Naik; Mary Jean Harrold; Hongseok Yang (SIGSOFT FSE, 2012)

Techniques to facilitate symbolic execution of real-world programs. - Saswat Anand (2012)

An orchestrated survey of methodologies for automated software test case generation. - Saswat Anand; Edmund K. Burke; Tsong Yueh Chen; John A. Clark; Myra B. Cohen; Wolfgang Grieskamp; Mark Harman; Mary Jean Harrold; Phil McMinn (J. Syst. Softw., 2013)

Apposcopy: semantics-based detection of Android malware through static analysis. - Yu Feng 001; Saswat Anand; Isil Dillig; Alex Aiken (SIGSOFT FSE, 2014)

Apposcopy: automated detection of Android malware (invited talk). - Yu Feng 001; Isil Dillig; Saswat Anand; Alex Aiken (DeMobile@SIGSOFT FSE, 2014)

Modelgen: mining explicit information flow specifications from concrete executions. - Lazaro Clapp; Saswat Anand; Alex Aiken (ISSTA, 2015)

Interactively verifying absence of explicit information flows in Android apps. - Osbert Bastani; Saswat Anand; Alex Aiken (OOPSLA, 2015)

An interactive approach to mobile app verification. - Osbert Bastani; Saswat Anand; Alex Aiken (MobileDeLi, 2015)

Specification Inference Using Context-Free Language Reachability. - Osbert Bastani; Saswat Anand; Alex Aiken (POPL, 2015)

Minimizing GUI event traces. - Lazaro Clapp; Osbert Bastani; Saswat Anand; Alex Aiken (SIGSOFT FSE, 2016)

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. - Yu Feng 001; Osbert Bastani; Ruben Martins; Isil Dillig; Saswat Anand (NDSS, 2017)

Eventually Sound Points-To Analysis with Missing Code. - Osbert Bastani; Lazaro Clapp; Saswat Anand; Rahul Sharma 001; Alex Aiken (CoRR, 2017)

Eventually Sound Points-To Analysis with Specifications. - Osbert Bastani; Rahul Sharma 001; Lazaro Clapp; Saswat Anand; Alex Aiken (ECOOP, 2019)

Natural Language Outlines for Code: Literate Programming in the LLM Era. - Kensen Shi; Deniz Altinbüken; Saswat Anand; Mihai Christodorescu; Katja Grünwedel; Alexa Koenings; Sai Naidu; Anurag Pathak; Marc Rasi; Fredde Ribeiro; Brandon Ruffin; Siddhant Sanyam; et al. (SIGSOFT FSE Companion, 2025)

Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting. - Michael A. Specter; Mihai Christodorescu; Abbie Farr; Bo Ma; Robin Lassonde; Xiaoyang Xu; Xiang Pan; Fengguo Wei; Saswat Anand; Dave Kleidermacher (CoRR, 2025)