- VOC: A Methodology for the Translation Validation of OptimizingCompilers
- Polymorphic Type Reconstruction for Garbage Collection without Tags
- RealTime Deques, Multihead !Ibring Machines, and Purely Ftmctional Programming
- Buckwheat: Graph Reduction on a Shared Memory Multiprocessor
- Electronic Notes in Theoretical Computer Science 70 No. 4 (2002) URL: http://www.elsevier.nl/locate/entcs/volume70.html 22 pages
- COCV'04 Preliminary Version Into the Loops
- A Syntactic Approach to Fixed Point Computation on Finite Domains
- Muller, K.G. On the feasibility of concurrent garbage collection. Ph.D. thesis, Tech. Hogeschool Delft, The Netherlands, March 1976.
- Generational Reference Counting: A Reduced-Communication Distributed Storage Reclamation Scheme
- Functional Programming Languages. PLDI'94 Tutorial State in Functional Languages
- Functional Programming Languages BENJAMIN GOLDBERG
- Tag-Free Garbage Collection for Strongly Typed Programming Languages
- Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations
- Escape Analysis on Lists Young Gil Park
- COCV'02 Preliminary Version VOC: A Translation Validator for Optimizing
- Translation Validation of Loop Optimizations and Software Pipelining in the TVOC
- Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines
- Partial-Evaluation Techniques for Concurrent Programs Mihnea Marinescu Benjamin Goldberg
- Reference Escape Analysis: Optimizing Reference Counting based on the Lifetime of References*
- Translation and Run-Time Validation of Loop Tranformations ? Lenore Zuck 1 , Amir Pnueli 1;2 , Benjamin Goldberg 1 , Clark Barrett 1 , Yi Fang 1 , and Ying Hu 1
