The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Samuel Z. Guyer" ( http://dblp.L3S.de/Authors/Samuel_Z._Guyer )

  Author page on DBLP  Author page in RDF  Community of Samuel Z. Guyer in ASPL-2

Publication years (Num. hits)
1999-2010 (17) 2011 (2)
Publication types (Num. hits)
article(2) inproceedings(17)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 20 keywords

Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss Elephant Tracks: generating program traces with object death records. Search on Bibsonomy PPPJ The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav Asynchronous assertions. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic analysis, context sensitivity, bug detection
1Edward Aftandilian, Sean Kelley, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer Heapviz: interactive heap visualization for program understanding and debugging. Search on Bibsonomy SOFTVIS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer What can the GC compute efficiently?: a language for heap assertions at GC time. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Edward Aftandilian, Samuel Z. Guyer GC assertions: using the garbage collector to check heap properties. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF heap properties, garbage collection, dynamic analysis
1Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann Wake up and smell the coffee: evaluation methodology for the 21st century. Search on Bibsonomy Commun. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Edward Aftandilian, Samuel Z. Guyer GC assertions: using the garbage collector to check heap properties. Search on Bibsonomy MSPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF garbage collection, memory leaks, managed languages
1Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley Tracking bad apples: reporting the origin of null and undefined value errors. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF low-overhead run-time support, null pointer exceptions, undefined values, valgrind, java, debugging, managed languages
1Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton Free-Me: a static analysis for automatic individual object reclamation. Search on Bibsonomy PLDI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compiler-assisted, adaptive, locality, generational, liveness, pointer analysis, copying, mark-sweep
1Teck Bok Tok, Samuel Z. Guyer, Calvin Lin Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. Search on Bibsonomy CC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann The DaCapo benchmarks: java benchmarking development and analysis. Search on Bibsonomy OOPSLA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF DaCapo, Java, benchmark, methodology, SPEC
1Samuel Z. Guyer, Calvin Lin Error checking with client-driven pointer analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Samuel Z. Guyer, Kathryn S. McKinley Finding your cronies: static analysis for dynamic object colocation. Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF compiler-assisted memory, cooperative optimization, static analysis, management
1Samuel Z. Guyer, Calvin Lin Client-Driven Pointer Analysis. Search on Bibsonomy SAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Emery D. Berger, Samuel Z. Guyer, Calvin Lin Customizing Software Libraries for Performance Portability. Search on Bibsonomy PPSC The full citation details ... 2001 DBLP  BibTeX  RDF
1Samuel Z. Guyer, Calvin Lin Broadway: A Software Architecture for Scientific Computing. Search on Bibsonomy The Architecture of Scientific Software The full citation details ... 2000 DBLP  BibTeX  RDF
1Samuel Z. Guyer, Calvin Lin Optimizing the Use of High Performance Software Libraries. Search on Bibsonomy LCPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Samuel Z. Guyer, Calvin Lin An annotation language for optimizing software libraries. Search on Bibsonomy DSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.