| 2004 |
|---|
| 6 | EE | Corinna Cortes,
Kathleen Fisher,
Daryl Pregibon,
Anne Rogers,
Frederick Smith:
Hancock: A language for analyzing transactional data streams.
ACM Trans. Program. Lang. Syst. 26(2): 301-338 (2004) |
| 2003 |
|---|
| 5 | EE | Frederick Smith,
Dan Grossman,
J. Gregory Morrisett,
Luke Hornof,
Trevor Jim:
Compiling for template-based run-time code generation.
J. Funct. Program. 13(3): 677-708 (2003) |
| 2000 |
|---|
| 4 | EE | Frederick Smith,
David Walker,
J. Gregory Morrisett:
Alias Types.
ESOP 2000: 366-381 |
| 1999 |
|---|
| 3 | EE | Dan Bonachea,
Kathleen Fisher,
Anne Rogers,
Frederick Smith:
Hancock: a language for processing very large-scale data.
DSL 1999: 163-176 |
| 1998 |
|---|
| 2 | EE | Frederick Smith,
J. Gregory Morrisett:
Comparing Mostly-Copying and Mark-Sweep Conservative Collection.
ISMM 1998: 68-78 |
| 1996 |
|---|
| 1 | | Dexter Kozen,
Frederick Smith:
Kleene Algebra with Tests: Completeness and Decidability.
CSL 1996: 244-259 |
