Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michael Carbin" ( http://dblp.L3S.de/Authors/Michael_Carbin )

  Author page on DBLP  Author page in RDF  Community of Michael Carbin in ASPL-2

Publication years (Num. hits)
2005-2012 (9)
Publication types (Num. hits)
article(1) inproceedings(8)
Venues (Conferences, Journals, ...)
APLAS(1) ASPLOS(1) CoRR(1) ECOOP(1) GPCE(1) ISSTA(1) PODS(1) PPOPP(1) SOSP(1)
Authors
Michael Carbin(9) Martin C. Rinard(5) Dzintars Avots(2) John Whaley(2) Monica S. Lam(2) Sasa Misailovic(2) Stelios Sidiroglou(2) Anant Agarwal(1) Austen McDonald(1) Brian D. Carlstrom(1) Carlos Pacheco(1) Christopher Unkel(1) Christos Kozyrakis(1) Frank Sherwood(1) Greg Sullivan(1) Henry Hoffmann(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 8 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Vijay Ganesh, Michael Carbin, Martin C. Rinard Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Henry Hoffmann, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, Martin C. Rinard Dynamic knobs for responsive power-aware computing. Search on Bibsonomy ASPLOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard Detecting and Escaping Infinite Loops with Jolt. Search on Bibsonomy ECOOP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael Carbin, Martin C. Rinard Automatically identifying critical input regions and code in applications. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF critical code, critical input, forgiving code, forgiving input
1Jeff H. Perkins, Sunghun Kim, Samuel Larsen, Saman P. Amarasinghe, Jonathan Bachrach, Michael Carbin, Carlos Pacheco, Frank Sherwood, Stelios Sidiroglou, Greg Sullivan, Weng-Fai Wong, Yoav Zibin, Michael D. Ernst, Martin C. Rinard Automatically patching errors in deployed software. Search on Bibsonomy SOSP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF self healing
1Brian D. Carlstrom, Austen McDonald, Michael Carbin, Christos Kozyrakis, Kunle Olukotun Transactional collection classes. Search on Bibsonomy PPOPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF collection classes, Java, transactional memory, multiprocessor architecture
1Manuel Fähndrich, Michael Carbin, James R. Larus Reflective program generation with patterns. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF patterns, reflection, generative programming, templates
1John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam Using Datalog with Binary Decision Diagrams for Program Analysis. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel Context-sensitive program analysis as database queries. Search on Bibsonomy PODS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.