Samuel Z. Guyer

According to our database, Samuel Z. Guyer authored at least 34 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Permchecker: a toolchain for debugging memory managers with typestate.

Karl Cronburg, Samuel Z. Guyer

Proc. ACM Program. Lang., 2021

2020

Detecting Semantic Bugs in Autopilot Software by Classifying Anomalous Variables.

Hu Huang, Samuel Z. Guyer, Jason H. Rife

J. Aerosp. Inf. Syst., April, 2020

2019

Floorplan: spatial layout in memory management systems.

Karl Cronburg, Samuel Z. Guyer

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2018

Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability.

Michael D. Shah, Samuel Z. Guyer

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

Garbology: a study of how Java objects die.

Raoul L. Veroy, Samuel Z. Guyer

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

Critical Section Investigator: Building Story Visualizations with Program Traces.

Michael D. Shah, Samuel Z. Guyer

Proceedings of the 2016 IEEE Working Conference on Software Visualization, 2016

An Interactive Microarray Call-Graph Visualization.

Michael D. Shah, Samuel Z. Guyer

Proceedings of the 2016 IEEE Working Conference on Software Visualization, 2016

Iceberg: a tool for static analysis of Java critical sections.

Michael D. Shah, Samuel Z. Guyer

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016

Prioritized garbage collection: explicit GC support for software caches.

Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Juniper: a functional reactive programming language for the Arduino.

Caleb Helbling, Samuel Z. Guyer

Proceedings of the 4th International Workshop on Functional Art, 2016

2015

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

2014

Metaphors we teach by.

Joseph P. Sanford, Aaron Tietz, Saad Farooq, Samuel Z. Guyer, R. Benjamin Shapiro

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

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

Visualizing the allocation and death of objects.

Raoul L. Veroy, Nathan P. Ricci, Samuel Z. Guyer

Proceedings of the 2013 First IEEE Working Conference on Software Visualization (VISSOFT), 2013

Elephant tracks: portable production of complete and precise gc traces.

Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss

Proceedings of the International Symposium on Memory Management, 2013

2012

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

Proceedings of the International Symposium on Memory Management, 2012

2011

Elephant Tracks: generating program traces with object death records.

Nathan P. Ricci, Samuel Z. Guyer, J. Eliot B. Moss

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Asynchronous assertions.

Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.

Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

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

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

GC assertions: using the garbage collector to check heap properties.

Edward Aftandilian, Samuel Z. Guyer

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

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, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann

Commun. ACM, 2008

2007

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

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

Free-Me: a static analysis for automatic individual object reclamation.

Samuel Z. Guyer, Kathryn S. McKinley, Daniel Frampton

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 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, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.

Teck Bok Tok, Samuel Z. Guyer, Calvin Lin

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Error checking with client-driven pointer analysis.

Samuel Z. Guyer, Calvin Lin

Sci. Comput. Program., 2005

Broadway: A Compiler for Exploiting the Domain-Specific Semantics of Software Libraries.

Samuel Z. Guyer, Calvin Lin

Proc. IEEE, 2005

2004

Finding your cronies: static analysis for dynamic object colocation.

Samuel Z. Guyer, Kathryn S. McKinley

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003

Client-Driven Pointer Analysis.

Samuel Z. Guyer, Calvin Lin

Proceedings of the Static Analysis, 10th International Symposium, 2003

2001

Customizing Software Libraries for Performance Portability.

Emery D. Berger, Samuel Z. Guyer, Calvin Lin

Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing, 2001

2000

Optimizing the Use of High Performance Software Libraries.

Samuel Z. Guyer, Calvin Lin

Proceedings of the Languages and Compilers for Parallel Computing, 2000

Broadway: A Software Architecture for Scientific Computing.

Samuel Z. Guyer, Calvin Lin

Proceedings of the Architecture of Scientific Software, 2000

1999

An annotation language for optimizing software libraries.

Samuel Z. Guyer, Calvin Lin

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999