|
24
|
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
– Frederick Smith, Greg Morrisett
- 1998
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
|
Signature: A Type-Passing Implementation of Value Types and Genericity
– Tim Owen, Tim Owen
|
|
25
|
Typed Common Intermediate Format
– Zhong Shao
- 1997
|
|
58
|
Implementing Typed Intermediate Languages
– Zhong Shao, Christopher League, Stefan Monnier
- 1998
|
|
|
Type- and Flow-Directed Compilation for Specialized Data Representations
– Allyn Dimock
- 2002
|
|
9
|
On the Usefulness of Liveness for Garbage Collection and Leak Detection
– Martin Hirzel, Amer Diwan, Antony Hosking
- 2001
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
31
|
PROPERTIES OF AGE-BASED AUTOMATIC MEMORY RECLAMATION ALGORITHMS
– Darko Stefanovic
- 1999
|
|
16
|
On the Usefulness of Type and Liveness Accuracy for Garbage Collection
– Martin Hirzel, Amer Diwan, Johannes Henkel
- 2002
|
|
63
|
Marmot: An Optimizing Compiler for Java
– Robert Fitzgerald , Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi
- 1998
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
|
The TIL/ML Compiler: Performance and Safety . . .
– G. Morrisett, D. Tarditi, P. Cheng, C. Stone, R. Harper, P. Lee
- 1996
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
86
|
An Overview of the FLINT/ML Compiler
– Zhong Shao
- 1997
|
|
103
|
Space Efficient Conservative Garbage Collection
– Hans-juergen Boehm
- 1993
|
|
26
|
Controlling garbage collection and heap growth to reduce execution time of Java applications
– Eshrat Arjom, Chang Li
- 2001
|
|
3
|
Type-directed continuation allocation
– Zhong Shao, Valery Trifonov
- 1998
|
