- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c11 |      | Michael Roberson, Chandrasekhar Boyapati: Efficient modular glass box software model checking. OOPSLA 2010: 4-21 |
| 2008 | ||
| c10 | | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati: Efficient software model checking of soundness of type systems. OOPSLA 2008: 493-504 |
| 2007 | ||
| c9 | | 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 | ||
| c8 | | Chandrasekhar Boyapati, Paul T. Darga: Efficient Software Model Checking of Data Structure Properties. Directed Model Checking 2006 |
| c7 | | Paul T. Darga, Chandrasekhar Boyapati: Efficient software model checking of data structure properties. OOPSLA 2006: 363-382 |
| 2003 | ||
| c6 | | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman: Lazy modular upgrades in persistent object stores. OOPSLA 2003: 403-417 |
| c5 | | 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 |
| c4 | | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira: Ownership types for object encapsulation. POPL 2003: 213-223 |
| 2002 | ||
| c3 | | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov: Korat: automated testing based on Java predicates. ISSTA 2002: 123-133 |
| c2 | | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard: Ownership types for safe programming: preventing data races and deadlocks. OOPSLA 2002: 211-230 |
| 2001 | ||
| c1 | | Chandrasekhar Boyapati, Martin C. Rinard: A Parameterized Type System for Race-Free Java Programs. OOPSLA 2001: 56-69 |
Colors in the list of coauthors
Last update Sat May 25 13:29:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page