Software Engineering

• D. Jackson, S. Jha, and C. Damon, Faster Checking of Software Specifications by Eliminating Isomorphs, Principles of Programming Languages (POPL), January 1996.
• C. Damon, D. Jackson, and S. Jha, Checking Relational Specifications with BDDs, Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 4), October 1996.
• D. Jackson, S. Jha, and C. Damon, Isomorph-free Model Enumeration: A New Method for Checking Relational Specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 20, No. 2, 1998.
• J. Dingel, D. Garlan, S. Jha, and D. Notkin, Towards a Formal Treatment of Implicit Invocation using Rely/Guarantee Reasoning, Formal Aspects of Computing, volume 10, 1998.
• J. Dingel, D. Garlan, S. Jha, and D. Notkin, Reasoning about Implicit Invocation, Sixth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 6), November 1998.
• Sullivan, K.J., P. Chalasani, S. Jha, and V. Sazawal, Software Design as an Investment Activity: A Real Options Perspective, to appear in Real Options and Business Strategy: Applications to Decision Making, L. Trigeorgis, consulting editor, Risk Books, 1999.
• A. Campialla, S. Chaki, E.M. Clarke, S. Jha, and H. Veith, Efficient Filtering in Publish Subscribe Systems Using Binary Decision Diagrams, International Conference on Software Engineering (ICSE), May 2001.
  To download the paper please click here.
• S. Jha, J. Palsberg, and T. Zhao, Efficient Type Matching, Foundations of Software Science and Computation Structures (FOSSACS), April 2002.
  To download the paper please click here.
• Sagar Chaki, Edmund Clarke, Alex Groce, Somesh Jha, Helmut Veith, Modular Verification of Software Components in C, 25th International Conference on Software Engineering (ICSE) 2003.
  To download the paper please click here.
     ACM SIGSOFT Distinguished Paper
  
• Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith, Counterexample-guided abstraction refinement for symbolic model checking. Journal of the ACM (JACM) Volume 50, Isssue 5, Sept 2003.
• Sagar Chaki, Pascal Fenkam, Harald Gall, Somesh Jha, Engin Kirda, Helmut Veith, Integrating Publish/Subscribe into a Mobile Teamwork Support Platform, 15th International Conference on Software Engineering and Knowledge Engineering (SEKE), July 2003.
  Paper will be available soon.