An annotation language for optimizing software libraries. - Samuel Z. Guyer; Calvin Lin (DSL, 1999)

Broadway: A Software Architecture for Scientific Computing. - Samuel Z. Guyer; Calvin Lin (The Architecture of Scientific Software, 2000)

Optimizing the Use of High Performance Software Libraries. - Samuel Z. Guyer; Calvin Lin (LCPC, 2000)

Customizing Software Libraries for Performance Portability. - Emery D. Berger; Samuel Z. Guyer; Calvin Lin (PP, 2001)

Client-Driven Pointer Analysis. - Samuel Z. Guyer; Calvin Lin (SAS, 2003)

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

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries. - Samuel Z. Guyer; Calvin Lin (Proc. IEEE, 2005)

Error checking with client-driven pointer analysis. - Samuel Z. Guyer; Calvin Lin (Sci. Comput. Program., 2005)

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

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; et al. (OOPSLA, 2006)

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

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 (OOPSLA, 2007)

Wake up and smell the coffee: evaluation methodology for the 21st century. - 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; et al. (Commun. ACM, 2008)

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

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 (OOPSLA, 2010)

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

Asynchronous assertions. - Edward Aftandilian; Samuel Z. Guyer; Martin T. Vechev; Eran Yahav (OOPSLA, 2011)

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

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

Elephant tracks: portable production of complete and precise gc traces. - Nathan P. Ricci; Samuel Z. Guyer; J. Eliot B. Moss (ISMM, 2013)

Visualizing the allocation and death of objects. - Raoul L. Veroy; Nathan P. Ricci; Samuel Z. Guyer (VISSOFT, 2013)

Heapviz: Interactive heap visualization for program understanding and debugging. - Sean Kelley; Edward Aftandilian; Connor Gramazio; Nathan P. Ricci; Sara L. Su; Samuel Z. Guyer (Inf. Vis., 2013)

Metaphors we teach by. - Joseph P. Sanford; Aaron Tietz; Saad Farooq; Samuel Z. Guyer; R. Benjamin Shapiro (SIGCSE, 2014)

In defense of soundiness: a manifesto. - Benjamin Livshits; Manu Sridharan; Yannis Smaragdakis; Ondrej Lhoták; José Nelson Amaral; Bor-Yuh Evan Chang; Samuel Z. Guyer; Uday P. Khedker; Anders Møller; Dimitrios Vardoulakis (Commun. ACM, 2015)

Juniper: a functional reactive programming language for the Arduino. - Caleb Helbling; Samuel Z. Guyer (FARM@ICFP, 2016)

Prioritized garbage collection: explicit GC support for software caches. - Diogenes Nunez; Samuel Z. Guyer; Emery D. Berger (OOPSLA, 2016)

Iceberg: a tool for static analysis of Java critical sections. - Michael D. Shah; Samuel Z. Guyer (SOAP@PLDI, 2016)

An Interactive Microarray Call-Graph Visualization. - Michael D. Shah; Samuel Z. Guyer (VISSOFT, 2016)

Critical Section Investigator: Building Story Visualizations with Program Traces. - Michael D. Shah; Samuel Z. Guyer (VISSOFT, 2016)

Garbology: a study of how Java objects die. - Raoul L. Veroy; Samuel Z. Guyer (Onward!, 2017)

Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability. - Michael D. Shah; Samuel Z. Guyer (ISSTA/ECOOP Workshops, 2018)

Floorplan: spatial layout in memory management systems. - Karl Cronburg; Samuel Z. Guyer (GPCE, 2019)

Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables. - Hu Huang; Samuel Z. Guyer; Jason H. Rife (J. Aerosp. Inf. Syst., 2020)

Permchecker: a toolchain for debugging memory managers with typestate. - Karl Cronburg; Samuel Z. Guyer (Proc. ACM Program. Lang., 2021)