| 2019 | ECOOP | Eventually Sound Points-To Analysis with Specifications. | Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2017 | NDSS | Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. | Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand |
| 2015 | ISSTA | Modelgen: mining explicit information flow specifications from concrete executions. | Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2015 | OOPSLA | Interactively verifying absence of explicit information flows in Android apps. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | OOPSLA | An interactive approach to mobile app verification. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2015 | POPL | Specification Inference Using Context-Free Language Reachability. | Osbert Bastani, Saswat Anand, Alex Aiken |
| 2012 | ICST | Symbolic Execution with Interval Solving and Meta-heuristic Search. | Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu |
| 2009 | ISSTA | Precise interface identification to improve testing and analysis of web applications. | William G. J. Halfond, Saswat Anand, Alessandro Orso |
| 2008 | TACAS | Demand-Driven Compositional Symbolic Execution. | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
| 2007 | TACAS | Type-Dependence Analysis and Program Transformation for Symbolic Execution. | Saswat Anand, Alessandro Orso, Mary Jean Harrold |
| 2007 | TACAS | JPF-SE: A Symbolic Execution Extension to Java PathFinder. | Saswat Anand, Corina S. Pasareanu, Willem Visser |
| 2002 | ICTAI | A Lazy Divide and Conquer Approach to Constraint Solving. | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
| 2001 | APLAS | Efficient Interpretation of Chart Pattern Language. | Saswat Anand, Siau-Cheng Khoo |
| 2001 | ICFP | Charting Patterns on Price History. | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |