|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 13 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Engin Ipek, Jeremy Condit, Edmund B. Nightingale, Doug Burger, Thomas Moscibroda |
Dynamically replicated memory: building reliable systems from nanoscale resistive memories.  |
ASPLOS  |
2010 |
DBLP DOI BibTeX RDF |
write endurance, phase-change memory |
| 1 | Jeremy Condit, Edmund B. Nightingale, Christopher Frost, Engin Ipek, Benjamin C. Lee, Doug Burger, Derrick Coetzee |
Better I/O through byte-addressable, persistent memory. |
SOSP |
2009 |
DBLP DOI BibTeX RDF |
performance, file systems, phase change memory |
| 1 | Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer |
Unifying type checking and property checking for low-level code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
assertion checking, low-level code, decision procedure, type checking, smt solver, property checking |
| 1 | Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki |
Type-preserving compilation for large-scale optimizing object-oriented compilers. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
object-oriented compilers, type-preserving compilation |
| 1 | Zachary R. Anderson, Eric A. Brewer, Jeremy Condit, Robert Ennals, David Gay, Matthew Harren, George C. Necula, Feng Zhou |
Beyond Bug-Finding: Sound Program Analysis for Linux. |
HotOS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Condit, Matthew Harren, Zachary R. Anderson, David Gay, George C. Necula |
Dependent Types for Low-Level Programming. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Zhou, Jeremy Condit, Zachary R. Anderson, Ilya Bagrak, Robert Ennals, Matthew Harren, George C. Necula, Eric A. Brewer |
SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques. |
OSDI |
2006 |
DBLP BibTeX RDF |
|
| 1 | George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer |
CCured: type-safe retrofitting of legacy software. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
pointer qualifier, libraries, subtyping, Memory safety |
| 1 | Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou |
Thirty Years Is Long Enough: Getting Beyond C. |
HotOS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jeremy Condit, George C. Necula |
Data Slicing: Separating the Heap into Independent Regions. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Condit, Matthew Harren, Scott McPeak, George C. Necula, Westley Weimer |
CCured in the real world. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
compatibility with library code, run-time type information, C, type safety, memory safety |
| 1 | J. Robert von Behren, Jeremy Condit, Feng Zhou, George C. Necula, Eric A. Brewer |
Capriccio: scalable threads for internet services. |
SOSP |
2003 |
DBLP DOI BibTeX RDF |
blocking graph, dynamic stack growth, linked stack management, resource-aware scheduling, user-level threads |
| 1 | J. Robert von Behren, Jeremy Condit, Eric A. Brewer |
Why Events Are a Bad Idea (for High-Concurrency Servers). |
HotOS |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")