Saswat Anand

28 papers A* 3A 9B 2Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting.
CoRR
Michael A. Specter, Mihai Christodorescu, Abbie Farr, Bo Ma, Robin Lassonde, Xiaoyang Xu, Xiang Pan, Fengguo Wei, Saswat Anand, Dave Kleidermacher
2025 — conf
Natural Language Outlines for Code: Literate Programming in the LLM Era.
SIGSOFT FSE Companion
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, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2024 J jnl
Natural Language Outlines for Code: Literate Programming in the LLM Era.
CoRR
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, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2019 A conf
Eventually Sound Points-To Analysis with Specifications.
ECOOP
Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
2017 A* conf
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
NDSS
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2017 J jnl
Eventually Sound Points-To Analysis with Missing Code.
CoRR
Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken
2016 J jnl
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
CoRR
Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand
2016 — conf
Minimizing GUI event traces.
SIGSOFT FSE
Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
2015 — conf
An interactive approach to mobile app verification.
MobileDeLi
Osbert Bastani, Saswat Anand, Alex Aiken
2015 A conf
Interactively verifying absence of explicit information flows in Android apps.
OOPSLA
Osbert Bastani, Saswat Anand, Alex Aiken
2015 A conf
Modelgen: mining explicit information flow specifications from concrete executions.
ISSTA
Lazaro Clapp, Saswat Anand, Alex Aiken
2015 A* conf
Specification Inference Using Context-Free Language Reachability.
POPL
Osbert Bastani, Saswat Anand, Alex Aiken
2014 — conf
Apposcopy: automated detection of Android malware (invited talk).
DeMobile@SIGSOFT FSE
Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken
2014 — conf
Apposcopy: semantics-based detection of Android malware through static analysis.
SIGSOFT FSE
Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
2013 J jnl
An orchestrated survey of methodologies for automated software test case generation.
J. Syst. Softw.
Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
2012 — conf
Automated concolic testing of smartphone apps.
SIGSOFT FSE
Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang
2012 A conf
Symbolic Execution with Interval Solving and Meta-heuristic Search.
ICST
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
2012 — —
Techniques to facilitate symbolic execution of real-world programs.
Saswat Anand
2011 A* conf
Heap cloning: Enabling dynamic symbolic execution of java programs.
ASE
Saswat Anand, Mary Jean Harrold
2009 A conf
Precise interface identification to improve testing and analysis of web applications.
ISSTA
William G. J. Halfond, Saswat Anand, Alessandro Orso
2009 J jnl
Symbolic execution with abstraction.
Int. J. Softw. Tools Technol. Transf.
Saswat Anand, Corina S. Pasareanu, Willem Visser
2008 A conf
Demand-Driven Compositional Symbolic Execution.
TACAS
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
2007 A conf
JPF-SE: A Symbolic Execution Extension to Java PathFinder.
TACAS
Saswat Anand, Corina S. Pasareanu, Willem Visser
2007 A conf
Type-Dependence Analysis and Program Transformation for Symbolic Execution.
TACAS
Saswat Anand, Alessandro Orso, Mary Jean Harrold
2006 — conf
Symbolic Execution with Abstract Subsumption Checking.
SPIN
Saswat Anand, Corina S. Pasareanu, Willem Visser
2002 B conf
A Lazy Divide and Conquer Approach to Constraint Solving.
ICTAI
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
2001 A conf
Charting Patterns on Price History.
ICFP
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
2001 B conf
Efficient Interpretation of Chart Pattern Language.
APLAS
Saswat Anand, Siau-Cheng Khoo