1. Amritam Sarcar. A Report on the Current Semantic Framework of JML for Expression Evaluation and Undefinedness. In the Proceedings of Second International Conference on AIAA 2012, July 2012.
2. Amritam Sarcar and Yoonsik Cheon. A New Eclipse-Based JML Compiler Built Using AST Merging. Technical Report, UTEP-CS-10-08, UTEP, El Paso, TX, USA. March 2010. [Abstract][PDF][Postscript]
3. Carmen Avilla, Amritam Sarcar, Yoonsik Cheon, and Cesar Yeep. Runtime Constraint Checking Approaches for OCL, A Critical Comparison. In Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), San Francisco Bay, CA, July 2010. Also as a Technical Report, UTEP-CS-10-04, UTEP, El Paso, TX, USA. February 2010. [Abstract][PDF][Postscript]
4. Amritam Sarcar. Runtime Assertion Checking for JML on the Eclipse Platform using AST Merging. Technical Report, UTEP-CS-10-01, UTEP, El Paso, TX, USA. January 2010. [Abstract][PDF]
5. Amritam Sarcar. Runtime Assertion Checking Support for JML on Eclipse Platform. In Proceedings of the CAHSI 3rd. Annual Meeting, pp. 79-82. Googleplex, Mountain View, California, USA. January 2009. [PDF]
6. Amritam Sarcar. c2j: A Cross-Language Compiler. MUKTI '07, an Annual National Level Technical Symposium on Linux. National Institute of Technology, Durgapur, West Bengal, India. February 2007. [PDF]
7. Amritam Sarcar. An Optimal Path Finding Algorithm for Detecting all Objects within a Specified Region. UNNAYAN '07, a Bienneal International Technical Symposium, IEEE Student Chapter. BITS Mesra, Ranchi, India. February 2007. [PDF]