Guyer, Samuel Z. - Department of Computer Science, Tufts University

Advanced Search

Guyer, Samuel Z. - Department of Computer Science, Tufts University

What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time
Client-Driven Pointer Analysis Samuel Z. Guyer and Calvin Lin
Free-Me: A Static Analysis for Automatic Individual Object Reclamation
GC Assertions: Using the Garbage Collector to Check Heap Properties
Asynchronous Assertions Edward E. Aftandilian
Samuel Zev Guyer The Dissertation Committee for Samuel Zev Guyer
Optimizing the Use of High Performance Software Samuel Z. Guyer and Calvin Lin
Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers
Samuel Zev Guyer The Dissertation Committee for Samuel Zev Guyer
ClientDriven Pointer Analysis ? Samuel Z. Guyer and Calvin Lin
Heapviz: Interactive Heap Visualization for Program Understanding and Debugging
An Annotation Language for Optimizing Software Libraries Samuel Z. Guyer
Optimizing the Use of High Performance Software Samuel Z. Guyer and Calvin Lin
PROCEEDINGS OF THE IEEE 1 Broadway: A Compiler for Exploiting the
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
GC Assertions: Using the Garbage Collector to Check Heap Edward E. Aftandilian Samuel Z. Guyer
Wake Up and Smell the Coffee: Evaluation Methodology
Tracking Bad Apples: Reporting the Origin of Null and Undefined Value Errors
The DaCapo Benchmarks: Java Benchmarking Development and Analysis
Finding Your Cronies: Static Analysis for Dynamic Object Colocation
PROCEEDINGS OF THE IEEE 1 Broadway: A Compiler for Exploiting the
BROADWAY: A SOFTWARE ARCHITECTURE FOR SCIENTIFIC COMPUTING
Heapviz: Interactive Heap Visualization for Program Understanding and Debugging
Error Checking with Client-Driven Pointer Analysis Samuel Z. Guyer, Calvin Lin
Error Checking with ClientDriven Pointer Analysis Samuel Z. Guyer, Calvin Lin
Asynchronous Assertions Edward E. Aftandilian