| 2019 | GPCE | Floorplan: spatial layout in memory management systems. | Karl Cronburg, Samuel Z. Guyer |
| 2018 | ISSTA | Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability. | Michael D. Shah, Samuel Z. Guyer |
| 2017 | OOPSLA | Garbology: a study of how Java objects die. | Raoul L. Veroy, Samuel Z. Guyer |
| 2016 | ICFP | Juniper: a functional reactive programming language for the Arduino. | Caleb Helbling, Samuel Z. Guyer |
| 2016 | OOPSLA | Prioritized garbage collection: explicit GC support for software caches. | Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger |
| 2016 | PLDI | Iceberg: a tool for static analysis of Java critical sections. | Michael D. Shah, Samuel Z. Guyer |
| 2016 | VISSOFT | An Interactive Microarray Call-Graph Visualization. | Michael D. Shah, Samuel Z. Guyer |
| 2016 | VISSOFT | Critical Section Investigator: Building Story Visualizations with Program Traces. | Michael D. Shah, Samuel Z. Guyer |
| 2014 | SIGCSE | Metaphors we teach by. | Joseph P. Sanford, Aaron Tietz, Saad Farooq, Samuel Z. Guyer, R. Benjamin Shapiro |
| 2013 | VISSOFT | Visualizing the allocation and death of objects. | Raoul L. Veroy, Nathan P. Ricci, Samuel Z. Guyer |
| 2011 | OOPSLA | Asynchronous assertions. | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
| 2010 | OOPSLA | What can the GC compute efficiently?: a language for heap assertions at GC time. | Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |
| 2010 | PLDI | Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
| 2009 | PLDI | GC assertions: using the garbage collector to check heap properties. | Edward Aftandilian, Samuel Z. Guyer |
| 2008 | ASPLOS | GC assertions: using the garbage collector to check heap properties. | Edward Aftandilian, Samuel Z. Guyer |
| 2007 | OOPSLA | Tracking bad apples: reporting the origin of null and undefined value errors. | Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley |
| 2006 | CC | Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. | Teck Bok Tok, Samuel Z. Guyer, Calvin Lin |
| 2006 | OOPSLA | The DaCapo benchmarks: java benchmarking development and analysis. | 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 |
| 2006 | PLDI | Free-Me: a static analysis for automatic individual object reclamation. | Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton |
| 2004 | OOPSLA | Finding your cronies: static analysis for dynamic object colocation. | Samuel Z. Guyer, Kathryn S. McKinley |
| 2003 | SAS | Client-Driven Pointer Analysis. | Samuel Z. Guyer, Calvin Lin |