Kleene Algebra with Tests: Completeness and Decidability. - Dexter Kozen; Frederick Smith (CSL, 1996)

Comparing Mostly-Copying and Mark-Sweep Conservative Collection. - Frederick Smith; J. Gregory Morrisett (ISMM, 1998)

Hancock: a language for processing very large-scale data. - Dan Bonachea; Kathleen Fisher; Anne Rogers; Frederick Smith (DSL, 1999)

Alias Types. - Frederick Smith; David Walker 001; J. Gregory Morrisett (ESOP, 2000)

Certified Run-Time Code Generation. - Frederick Smith (2002)

Compiling for template-based run-time code generation. - Frederick Smith; Dan Grossman; J. Gregory Morrisett; Luke Hornof; Trevor Jim (J. Funct. Program., 2003)

Hancock: A language for analyzing transactional data streams. - Corinna Cortes; Kathleen Fisher; Daryl Pregibon; Anne Rogers; Frederick Smith (ACM Trans. Program. Lang. Syst., 2004)

Hancock: A Language for Analyzing Transactional Data Streams. - Corinna Cortes; Kathleen Fisher; Daryl Pregibon; Anne Rogers; Frederick Smith (Data Stream Management, 2016)