Efficient modular glass box software model checking - Michael Roberson; Chandrasekhar Boyapati (Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA, 2010)

Efficient software model checking of soundness of type systems - Michael Roberson; Melanie Harries; Paul T. Darga; Chandrasekhar Boyapati (Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, 2008)

A type system for preventing data races and deadlocks in the java virtual machine language: 1 - Pratibha Permandla; Michael Roberson; Chandrasekhar Boyapati (Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), San Diego, California, USA, June 13-15, 2007, 2007)

Efficient software model checking of data structure properties - Paul T. Darga; Chandrasekhar Boyapati (Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, 2006)

Efficient Software Model Checking of Data Structure Properties - Chandrasekhar Boyapati; Paul T. Darga (Directed Model Checking, 26.04. - 29.04.2006, 2006)

Unified type system for safe programming - Chandrasekhar Boyapati (Massachusetts Institute of Technology, Cambridge, MA, USA, 2003)

Lazy modular upgrades in persistent object stores - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira; Chuang-Hue Moh; Steven Richman (Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, 2003)

Ownership types for safe region-based memory management in real-time Java - Chandrasekhar Boyapati; Alexandru Salcianu; William S. Beebee; Martin C. Rinard (Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003, 2003)

Ownership types for object encapsulation - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira (Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, 2003)

Korat: automated testing based on Java predicates - Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov (Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, 2002)

Ownership types for safe programming: preventing data races and deadlocks - Chandrasekhar Boyapati; Robert Lee; Martin C. Rinard (Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002, 2002)

A Parameterized Type System for Race-Free Java Programs - Chandrasekhar Boyapati; Martin C. Rinard (Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001, 2001)