Saswat Anand

Research Associate
Department of Computer Science
Stanford University
 Saswat Anand


I work in the STAMP project with Prof. Alex Aiken. In this DARPA-funded project, we are developing static and dynamic program-analysis techniques and tools to detect leakage of private data in Android apps.

I received my PhD (Computer Science) from Georgia Institute of Technology in 2012. During PhD, I worked in the general area of software analysis and testing (and symbolic-execution technique in particular) with my advisor Prof. Mary Jean Harrold. I received my Masters and Bachelors degrees (in Computer Science) from National University of Singapore in 2002 and National Institute of Technology, Rourkela in 1999, respectively.


Publication

  1. Interactively Verifying Absence of Explicit Information Flows in Android Apps
    Osbert Bastani, Saswat Anand, Alex Aiken
    ACM International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA), 2015.

  2. Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions
    Lazaro Clapp, Saswat Anand, Alex Aiken
    International Symposium on Software Testing and Analysis (ISSTA), 2015.

  3. Speciļ¬cation Inference Using Context-Free Language Reachability
    Osbert Bastani, Saswat Anand, Alex Aiken
    ACM Symposium on Principles of Programming Languages (POPL), 2015.

  4. Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis
    Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken
    ACM International Symposium on Foundations of Software Engineering (FSE), 2014.

  5. An Orchestrated Survey on Automated Software Test Case Generation
    Saswat Anand, Edmund Burke, Tsong Yueh Chen, John Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
    Journal of Systems and Software (JSS). Antonia Bertolino, J. Jenny Li and Hong Zhu (Editor/Orchestrators)

  6. Automated Concolic Testing of Smartphone Apps (slides)
    Saswat Anand, Mayur Naik, Hongseok Yang, Mary Jean Harrold
    ACM International Symposium on Foundations of Software Engineering (FSE), 2012.

  7. Techniques to Facilitate Symbolic Execution of Real-world Programs
    Saswat Anand
    PhD dissertation, Georgia Institute of Technology, 2012.

  8. Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search
    Mateus Borges, Marcelo d'Amorim, Saswat Anand, David Bushnell, Corina Pasareanu
    IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012.

  9. Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs (slides)
    Saswat Anand, Mary Jean Harrold
    IEEE/ACM International Conference on Automated Software Engineering (ASE), 2011.

  10. Precise Interface Identification to Improve Testing and Analysis of Web Applications
    [ACM Distinguished Paper Award]
    William G.J. Halfond, Saswat Anand, Alessandro Orso
    ACM International Symposium on Software Testing and Analysis (ISSTA), 2009.

  11. Symbolic Execution with Abstraction
    Saswat Anand, Corina Pasareanu, Willem Visser
    International Journal on Software Tools for Technology Transfer (STTT), Volume 11, No. 1/February 2009.

  12. Demand-Driven Compositional Symbolic Execution
    Saswat Anand, Patrice Godefroid, Nikolai Tillmann
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008.

  13. Type-dependence Analysis and Program Transformation for Symbolic Execution
    Saswat Anand, Alessandro Orso, Mary Jean Harrold
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.

  14. JPF-SE: A Symbolic Execution Extension to Java Pathfinder
    Saswat Anand, Corina Pasareanu, Willem Visser
    International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.

  15. Symbolic Execution with Abstract Subsumption Checking
    Saswat Anand, Corina Pasareanu, Willem Visser
    International SPIN Workshop on Model Checking of Software (SPIN), 2006. (extended version in STTT journal)

  16. CPL: A Language for Programming Chart Patterns(Summary, Introduction)
    Saswat Anand
    Master's thesis, National Univ. of Singapore, 2003.

  17. Lazy Divide & Conquer Constraint Solving
    Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2002.

  18. Charting Patterns on Price History
    Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    ACM SIGPLAN International Conference in Functional Programming (ICFP), 2001.

  19. Efficient Interpretation of s-CPL
    Saswat Anand, Siau-Cheng Khoo.
    Asian Symposium on Programming Languages and Systems (APLAS), 2001.

  20. Forecasting S&P500: A comparison between MLP and functional ANN
    Saswat Anand, B. Majhi
    International conference in Advanced Computing (ADCOMP), 1999.

Some Links

  1. symexbib: a bibliography on symbolic execution that I try to keep up to date.