Chandrasekhar Boyapati

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

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