|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 10 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Roberson, Chandrasekhar Boyapati |
Efficient modular glass box software model checking.  |
OOPSLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
Efficient software model checking of soundness of type systems. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
software model checking, type soundness |
| 1 | Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati |
A type system for preventing data races and deadlocks in the java virtual machine language: 1. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
SafeJava, deadlocks, data races, ownership types |
| 1 | Chandrasekhar Boyapati, Paul T. Darga |
Efficient Software Model Checking of Data Structure Properties. |
Directed Model Checking |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paul T. Darga, Chandrasekhar Boyapati |
Efficient software model checking of data structure properties. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
program analysis, software model checking |
| 1 | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
Ownership types for safe region-based memory management in real-time Java. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
real-time, encapsulation, regions, ownership types |
| 1 | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira |
Ownership types for object encapsulation. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
object encapsulation, ownership types, software upgrades |
| 1 | Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman |
Lazy modular upgrades in persistent object stores. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
presistent objects, ownership types, software upgrades |
| 1 | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
Korat: automated testing based on Java predicates. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard |
Ownership types for safe programming: preventing data races and deadlocks. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
deadlocks, encapsulation, data races, ownership types |
| 1 | Chandrasekhar Boyapati, Martin C. Rinard |
A Parameterized Type System for Race-Free Java Programs. |
OOPSLA |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")