| 2010 | OOPSLA | Efficient modular glass box software model checking. | Michael Roberson, Chandrasekhar Boyapati |
| 2008 | OOPSLA | Efficient software model checking of soundness of type systems. | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
| 2006 | OOPSLA | Efficient software model checking of data structure properties. | Paul T. Darga, Chandrasekhar Boyapati |
| 2003 | OOPSLA | Lazy modular upgrades in persistent object stores. | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman |
| 2003 | PLDI | Ownership types for safe region-based memory management in real-time Java. | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
| 2003 | POPL | Ownership types for object encapsulation. | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
| 2002 | ISSTA | Korat: automated testing based on Java predicates. | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
| 2002 | OOPSLA | Ownership types for safe programming: preventing data races and deadlocks. | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
| 2001 | OOPSLA | A Parameterized Type System for Race-Free Java Programs. | Chandrasekhar Boyapati, Martin C. Rinard |