PhD work:
- Demand-Driven Compositional Symbolic Execution
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
14th International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008. (previous version appeared as Microsoft Technical Report, MSR-TR-2007-138)
- Type-dependence Analysis and Program Transformation for Symbolic Execution
Saswat Anand, Alessandro Orso, Mary Jean Harrold
13th International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.
- JPF-SE: A Symbolic Execution Extension to Java Pathfinder
Saswat Anand, Corina Pasareanu, Willem Visser
13th International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007.
- Symbolic Execution with Abstraction
Saswat Anand, Corina Pasareanu, Willem Visser
International Journal on Software Tools for Technology Transfer (STTT), To appear.
- 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:
- CPL: A Language for Programming Chart Patterns(Summary, Introduction)
Saswat Anand
Master's thesis, National Univ. of Singapore, 2003.
- 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.
- Charting Patterns on Price History
Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
ACM SIGPLAN International Conference in Functional Programming (ICFP), Florence, 2001.
- Efficient Interpretation of s-CPL
Saswat Anand, Siau-Cheng Khoo.
Asian Workshop on Programming Languages and Systems (APLAS), 2001.
- Forecasting S&P500: A comparison between MLP and functional ANN
Saswat Anand, B. Majhi
International conference in Advanced Computing, 1999.