Chandrasekhar Boyapati

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1William S. Beebee [5]
2Paul T. Darga [7] [8] [10]
3Melanie Harries [10]
4Sarfraz Khurshid [3]
5Robert Lee [2]
6Barbara Liskov [4] [6]
7Darko Marinov [3]
8Chuang-Hue Moh [6]
9Pratibha Permandla [9]
10Steven Richman [6]
11Martin C. Rinard [1] [2] [5]
12Michael Roberson [9] [10]
13Alexandru Salcianu [5]
14Liuba Shrira [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)