A Parameterized Type System for Race-Free Java Programs. - Chandrasekhar Boyapati; Martin C. Rinard (OOPSLA, 2001)

Korat: automated testing based on Java predicates. - Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov (ISSTA, 2002)

Ownership types for safe programming: preventing data races and deadlocks. - Chandrasekhar Boyapati; Robert Lee; Martin C. Rinard (OOPSLA, 2002)

Lazy modular upgrades in persistent object stores. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira; Chuang-Hue Moh; Steven Richman (OOPSLA, 2003)

Ownership types for safe region-based memory management in real-time Java. - Chandrasekhar Boyapati; Alexandru Salcianu; William S. Beebee; Martin C. Rinard (PLDI, 2003)

Ownership types for object encapsulation. - Chandrasekhar Boyapati; Barbara Liskov; Liuba Shrira (POPL, 2003)

Unified type system for safe programming. - Chandrasekhar Boyapati (2003)

Efficient software model checking of data structure properties. - Paul T. Darga; Chandrasekhar Boyapati (OOPSLA, 2006)

A type system for preventing data races and deadlocks in the java virtual machine language: 1. - Pratibha Permandla; Michael Roberson; Chandrasekhar Boyapati (LCTES, 2007)

Efficient software model checking of soundness of type systems. - Michael Roberson; Melanie Harries; Paul T. Darga; Chandrasekhar Boyapati (OOPSLA, 2008)

Efficient modular glass box software model checking. - Michael Roberson; Chandrasekhar Boyapati (OOPSLA, 2010)