Samuel Z. Guyer

40 papers A* 3A 7B 6C 3Journal 10Unranked 11

Year	Rank	Type	Title / 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

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.