Samuel Z. Guyer

Sean Kelley, Edward Aftandilian, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer: Heapviz: Interactive heap visualization for program understanding and debugging. Information Visualization 12(2): 163-177 (2013)

Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Danilo Ansaloni, Walter Binder, Nathan P. Ricci, Samuel Z. Guyer: new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs. ISMM 2012: 97-108

Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav: Asynchronous assertions. OOPSLA 2011: 275-288

Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss: Elephant Tracks: generating program traces with object death records. PPPJ 2011: 139-142

Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer: What can the GC compute efficiently?: a language for heap assertions at GC time. OOPSLA 2010: 256-269

Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer: Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. PLDI 2010: 13-24

Edward Aftandilian, Sean Kelley, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer: Heapviz: interactive heap visualization for program understanding and debugging. SOFTVIS 2010: 53-62

Edward Aftandilian, Samuel Z. Guyer: GC assertions: using the garbage collector to check heap properties. PLDI 2009: 235-244

Stephen 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. Commun. ACM 51(8): 83-89 (2008)

Edward Aftandilian, Samuel Z. Guyer: GC assertions: using the garbage collector to check heap properties. MSPC 2008: 36-40

Michael 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. OOPSLA 2007: 405-422

Teck Bok Tok, Samuel Z. Guyer, Calvin Lin: Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. CC 2006: 17-31

Stephen 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. OOPSLA 2006: 169-190

Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton: Free-Me: a static analysis for automatic individual object reclamation. PLDI 2006: 364-375

Samuel Z. Guyer, Calvin Lin: Error checking with client-driven pointer analysis. Sci. Comput. Program. 58(1-2): 83-114 (2005)

Samuel Z. Guyer, Kathryn S. McKinley: Finding your cronies: static analysis for dynamic object colocation. OOPSLA 2004: 237-250

Samuel Z. Guyer, Calvin Lin: Client-Driven Pointer Analysis. SAS 2003: 214-236

Emery D. Berger, Samuel Z. Guyer, Calvin Lin: Customizing Software Libraries for Performance Portability. PPSC 2001

Samuel Z. Guyer, Calvin Lin: Broadway: A Software Architecture for Scientific Computing. The Architecture of Scientific Software 2000: 175-192

Samuel Z. Guyer, Calvin Lin: Optimizing the Use of High Performance Software Libraries. LCPC 2000: 227-243

Samuel Z. Guyer, Calvin Lin: An annotation language for optimizing software libraries. DSL 1999: 39-52