Samuel Z. Guyer

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 13

Top Topics

Database Languages

Scene Recognition

Memory Management

Dynamic Analysis

Top Venues

Proc. ACM Program. Lang.

ISSTA/ECOOP Workshops

Publications

Karl Cronburg, Samuel Z. Guyer
Permchecker: a toolchain for debugging memory managers with typestate. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Hu Huang, Samuel Z. Guyer, Jason H. Rife
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables. J. Aerosp. Inf. Syst. 17 (4) (2020)
Caleb Helbling, Samuel Z. Guyer
Juniper: A Functional Reactive Programming Language for the Arduino. CoRR (2019)
Karl Cronburg, Samuel Z. Guyer
Floorplan: Spatial Layout in Memory Management Systems. CoRR (2019)
Karl Cronburg, Samuel Z. Guyer
Floorplan: spatial layout in memory management systems. GPCE (2019)
Michael D. Shah, Samuel Z. Guyer
Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability. ISSTA/ECOOP Workshops (2018)
Raoul L. Veroy, Samuel Z. Guyer
Garbology: a study of how Java objects die. Onward! (2017)
Caleb Helbling, Samuel Z. Guyer
Juniper: a functional reactive programming language for the Arduino. FARM@ICFP (2016)
Michael D. Shah, Samuel Z. Guyer
An Interactive Microarray Call-Graph Visualization. VISSOFT (2016)
Michael D. Shah, Samuel Z. Guyer
Iceberg: a tool for static analysis of Java critical sections. SOAP@PLDI (2016)
Michael D. Shah, Samuel Z. Guyer
Critical Section Investigator: Building Story Visualizations with Program Traces. VISSOFT (2016)
Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
Prioritized garbage collection: explicit GC support for software caches. OOPSLA (2016)
Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
Prioritized Garbage Collection: Explicit GC Support for Software Caches. CoRR (2016)
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
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Joseph P. Sanford, Aaron Tietz, Saad Farooq, Samuel Z. Guyer, R. Benjamin Shapiro
Metaphors we teach by. SIGCSE (2014)
Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss
Elephant tracks: portable production of complete and precise gc traces. ISMM (2013)
Raoul L. Veroy, Nathan P. Ricci, Samuel Z. Guyer
Visualizing the allocation and death of objects. VISSOFT (2013)
Sean Kelley, Edward Aftandilian, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer
Heapviz: Interactive heap visualization for program understanding and debugging. Inf. Vis. 12 (2) (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)
Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss
Elephant Tracks: generating program traces with object death records. PPPJ (2011)
Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav
Asynchronous assertions. OOPSLA (2011)
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. PLDI (2010)
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)
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)
Edward Aftandilian, Samuel Z. Guyer
GC assertions: using the garbage collector to check heap properties. PLDI (2009)
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) (2008)
Edward Aftandilian, Samuel Z. Guyer
GC assertions: using the garbage collector to check heap properties. MSPC (2008)
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)
Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton
Free-Me: a static analysis for automatic individual object reclamation. PLDI (2006)
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers. CC (2006)
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)
Samuel Z. Guyer, Calvin Lin
Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries. Proc. IEEE 93 (2) (2005)
Samuel Z. Guyer, Calvin Lin
Error checking with client-driven pointer analysis. Sci. Comput. Program. 58 (1-2) (2005)
Samuel Z. Guyer, Kathryn S. McKinley
Finding your cronies: static analysis for dynamic object colocation. OOPSLA (2004)
Samuel Z. Guyer, Calvin Lin
Client-Driven Pointer Analysis. SAS (2003)
Emery D. Berger, Samuel Z. Guyer, Calvin Lin
Customizing Software Libraries for Performance Portability. PPSC (2001)
Samuel Z. Guyer, Calvin Lin
Optimizing the Use of High Performance Software Libraries. LCPC (2000)
Samuel Z. Guyer, Calvin Lin
Broadway: A Software Architecture for Scientific Computing. The Architecture of Scientific Software (2000)
Samuel Z. Guyer, Calvin Lin
An annotation language for optimizing software libraries. DSL (1999)