Chandrasekhar Boyapati

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