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

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

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

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

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

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

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

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

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

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

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

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