PhD work:

1. Precise Interface Identification to Improve Testing and Analysis of Web Applications
   William G.J. Halfond, Saswat Anand, Alessandro Orso
   ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2009.


2. 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.


3. 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.


4. 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.


5. 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.


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

Earlier Work:

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


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


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


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


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