Frederick M. Smith
Ph.D. student in the
Computer Science Department
. Member of the
Richard A. Shore
Send Me Mail
The goal of my research is to simplify and speed the development of complex software systems. Read my
to find out how.
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)
Technical Report TR99-1773
contains complete proofs.
Hancock: A Language for Describing Signatures
TALx86: A Realistic Typed Assembly Language
Comparing Mostly-Copying and Mark-Sweep Conservative Collection.
Kleene Algebra with Tests: Completeness and Decidability.