|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 24 occurrences of 15 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff |
A type system for borrowing permissions.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
Practical API Protocol Checking with Access Permissions. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich |
Verifying correct usage of atomic blocks and typestate. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, permissions, typestate |
| 1 | Kevin Bierhoff |
Checking API protocol compliance in java. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
permissions, typestate |
| 1 | Kevin Bierhoff, Jonathan Aldrich |
PLURAL: checking protocol compliance under aliasing. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
annotations, aliasing, permissions, typestate |
| 1 | Kevin Bierhoff, Jonathan Aldrich |
Modular typestate checking of aliased objects. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
linear logic, aliasing, permissions, typestates, behavioral subtyping |
| 1 | Christopher Scaffidi, Kevin Bierhoff, Eric Chang, Mikhael Felker, Herman Ng, Chun Jin |
Red Opal: product-feature scoring from reviews. |
ACM Conference on Electronic Commerce |
2007 |
DBLP DOI BibTeX RDF |
feature extraction, e-commerce, search, product reviews |
| 1 | George Fairbanks, Kevin Bierhoff, Desmond D'Souza |
Software architecture at a large financial firm. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
financial industry, software architecture, experience report |
| 1 | Kevin Bierhoff, Jonathan Aldrich |
Lightweight object specification with typestates. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
union and intersection types, refinement, substitutability, typestate, behavioral subtyping |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")