Samuel Z. Guyer

40 papers A* 3A 7B 6C 3Journal 10Unranked 11
YearRankTypeTitle / Venue / Authors
2021 J jnl
Permchecker: a toolchain for debugging memory managers with typestate.
Proc. ACM Program. Lang.
Karl Cronburg, Samuel Z. Guyer
2020 J jnl
Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables.
J. Aerosp. Inf. Syst.
Hu Huang, Samuel Z. Guyer, Jason H. Rife
2019 J jnl
Floorplan: Spatial Layout in Memory Management Systems.
CoRR
Karl Cronburg, Samuel Z. Guyer
2019 B conf
Floorplan: spatial layout in memory management systems.
GPCE
Karl Cronburg, Samuel Z. Guyer
2019 J jnl
Juniper: A Functional Reactive Programming Language for the Arduino.
CoRR
Caleb Helbling, Samuel Z. Guyer
2018 — conf
Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability.
ISSTA/ECOOP Workshops
Michael D. Shah, Samuel Z. Guyer
2017 — conf
Garbology: a study of how Java objects die.
Onward!
Raoul L. Veroy, Samuel Z. Guyer
2016 B conf
An Interactive Microarray Call-Graph Visualization.
VISSOFT
Michael D. Shah, Samuel Z. Guyer
2016 B conf
Critical Section Investigator: Building Story Visualizations with Program Traces.
VISSOFT
Michael D. Shah, Samuel Z. Guyer
2016 — conf
Iceberg: a tool for static analysis of Java critical sections.
SOAP@PLDI
Michael D. Shah, Samuel Z. Guyer
2016 — conf
Juniper: a functional reactive programming language for the Arduino.
FARM@ICFP
Caleb Helbling, Samuel Z. Guyer
2016 J jnl
Prioritized Garbage Collection: Explicit GC Support for Software Caches.
CoRR
Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
2016 A conf
Prioritized garbage collection: explicit GC support for software caches.
OOPSLA
Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
2015 J jnl
In defense of soundiness: a manifesto.
Commun. ACM
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
2014 C ed.
International Symposium on Memory Management, ISMM '14, Edinburgh, United Kingdom, June 12, 2014
ISMM
David Grove, Samuel Z. Guyer
2014 A conf
Metaphors we teach by.
SIGCSE
Joseph P. Sanford, Aaron Tietz, Saad Farooq, Samuel Z. Guyer, R. Benjamin Shapiro
2013 C conf
Elephant tracks: portable production of complete and precise gc traces.
ISMM
Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss
2013 J jnl
Heapviz: Interactive heap visualization for program understanding and debugging.
Inf. Vis.
Sean Kelley, Edward Aftandilian, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer
2013 B conf
Visualizing the allocation and death of objects.
VISSOFT
Raoul L. Veroy, Nathan P. Ricci, Samuel Z. Guyer
2012 C conf
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs.
ISMM
Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Danilo Ansaloni, Walter Binder, Nathan P. Ricci, Samuel Z. Guyer
2011 A conf
Asynchronous assertions.
OOPSLA
Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav
2011 — conf
Elephant Tracks: generating program traces with object death records.
PPPJ
Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss
2010 A* conf
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.
PLDI
Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer
2010 — conf
Heapviz: interactive heap visualization for program understanding and debugging.
SOFTVIS
Edward Aftandilian, Sean Kelley, Connor Gramazio, Nathan P. Ricci, Sara L. Su, Samuel Z. Guyer
2010 A conf
What can the GC compute efficiently?: a language for heap assertions at GC time.
OOPSLA
Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer
2009 A* conf
GC assertions: using the garbage collector to check heap properties.
PLDI
Edward Aftandilian, Samuel Z. Guyer
2008 — conf
GC assertions: using the garbage collector to check heap properties.
MSPC
Edward Aftandilian, Samuel Z. Guyer
2008 J jnl
Wake up and smell the coffee: evaluation methodology for the 21st century.
Commun. ACM
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
2007 A conf
Tracking bad apples: reporting the origin of null and undefined value errors.
OOPSLA
Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley
2006 B conf
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.
CC
Teck Bok Tok, Samuel Z. Guyer, Calvin Lin
2006 A* conf
Free-Me: a static analysis for automatic individual object reclamation.
PLDI
Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton
2006 A conf
The DaCapo benchmarks: java benchmarking development and analysis.
OOPSLA
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
2005 J jnl
Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries.
Proc. IEEE
Samuel Z. Guyer, Calvin Lin
2005 J jnl
Error checking with client-driven pointer analysis.
Sci. Comput. Program.
Samuel Z. Guyer, Calvin Lin
2004 A conf
Finding your cronies: static analysis for dynamic object colocation.
OOPSLA
Samuel Z. Guyer, Kathryn S. McKinley
2003 B conf
Client-Driven Pointer Analysis.
SAS
Samuel Z. Guyer, Calvin Lin
2001 — conf
Customizing Software Libraries for Performance Portability.
PP
Emery D. Berger, Samuel Z. Guyer, Calvin Lin
2000 — conf
Broadway: A Software Architecture for Scientific Computing.
The Architecture of Scientific Software
Samuel Z. Guyer, Calvin Lin
2000 — conf
Optimizing the Use of High Performance Software Libraries.
LCPC
Samuel Z. Guyer, Calvin Lin
1999 — conf
An annotation language for optimizing software libraries.
DSL
Samuel Z. Guyer, Calvin Lin