| 2008 |
|---|
| 10 | EE | Michael Roberson,
Melanie Harries,
Paul T. Darga,
Chandrasekhar Boyapati:
Efficient software model checking of soundness of type systems.
OOPSLA 2008: 493-504 |
| 2007 |
|---|
| 9 | EE | Pratibha Permandla,
Michael Roberson,
Chandrasekhar Boyapati:
A type system for preventing data races and deadlocks in the java virtual machine language: 1.
LCTES 2007: 10 |
| 2006 |
|---|
| 8 | EE | Chandrasekhar Boyapati,
Paul T. Darga:
Efficient Software Model Checking of Data Structure Properties.
Directed Model Checking 2006 |
| 7 | EE | Paul T. Darga,
Chandrasekhar Boyapati:
Efficient software model checking of data structure properties.
OOPSLA 2006: 363-382 |
| 2003 |
|---|
| 6 | EE | Chandrasekhar Boyapati,
Barbara Liskov,
Liuba Shrira,
Chuang-Hue Moh,
Steven Richman:
Lazy modular upgrades in persistent object stores.
OOPSLA 2003: 403-417 |
| 5 | EE | Chandrasekhar Boyapati,
Alexandru Salcianu,
William S. Beebee,
Martin C. Rinard:
Ownership types for safe region-based memory management in real-time Java.
PLDI 2003: 324-337 |
| 4 | EE | Chandrasekhar Boyapati,
Barbara Liskov,
Liuba Shrira:
Ownership types for object encapsulation.
POPL 2003: 213-223 |
| 2002 |
|---|
| 3 | EE | Chandrasekhar Boyapati,
Sarfraz Khurshid,
Darko Marinov:
Korat: automated testing based on Java predicates.
ISSTA 2002: 123-133 |
| 2 | EE | Chandrasekhar Boyapati,
Robert Lee,
Martin C. Rinard:
Ownership types for safe programming: preventing data races and deadlocks.
OOPSLA 2002: 211-230 |
| 2001 |
|---|
| 1 | | Chandrasekhar Boyapati,
Martin C. Rinard:
A Parameterized Type System for Race-Free Java Programs.
OOPSLA 2001: 56-69 |
