Frederick Smith

Frederick M. Smith

Ph.D. student in the Computer Science Department. Member of the TAL group
Advisors:  Greg Morrisett, Dexter Kozen, and Richard A. Shore
Home
Research Statement
Projects & Software Released
Papers & Tech Reports
Curriculum Vitae
image Gallery
Contact Information

Send Me Mail

The goal of my research is to simplify and speed the development of complex software systems. Read my research statement to find out how.

A rough draft of my thesis in gzipped postscript is available here.

Certifying Run-Time Code Generation

Hancock:  a language for processing large-scale data streams

MCC: a mostly-copying garbage collector

Kleene Algebra with Tests Completeness and Decidability.

ICFP 2000 Programming Contest

Mostly-Copying Collection: A Viable Alternative to Conservative Mark-Sweep.
Technical Report TR97-1644

The Complexity of Kleene Algebra with Tests.
Technical Report TR96-1598

Compiling for Run-time Code Generation
Submitted for publication to JFP SAIG 2001.

Hancock: A Language for Extracting Signatures from Data Streams
SIGKDD '00 (Best Paper Award)

Alias Types
ESOP '00
Companion Technical Report TR99-1773 contains complete proofs.


Hancock: A Language for Describing Signatures
USENIX

TALx86: A Realistic Typed Assembly Language
WCSSS '99

Comparing Mostly-Copying and Mark-Sweep Conservative Collection.
ISMM '98

Kleene Algebra with Tests: Completeness and Decidability.
CSL'96

CS Home | TAL Group | Curriculum Vitae | E-mail Me