Frederick Smith

According to our database, Frederick Smith authored at least 8 papers between 1996 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Hancock: A Language for Analyzing Transactional Data Streams.

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith

Proceedings of the Data Stream Management - Processing High-Speed Data Streams, 2016

2004

Hancock: A language for analyzing transactional data streams.

Corinna Cortes, Kathleen Fisher, Daryl Pregibon, Anne Rogers, Frederick Smith

ACM Trans. Program. Lang. Syst., 2004

2003

Compiling for template-based run-time code generation.

Frederick Smith, Dan Grossman, J. Gregory Morrisett, Luke Hornof, Trevor Jim

J. Funct. Program., 2003

2002

Certified Run-Time Code Generation.

Frederick Smith

PhD thesis, 2002

2000

Alias Types.

Frederick Smith, David Walker, J. Gregory Morrisett

Proceedings of the Programming Languages and Systems, 2000

1999

Hancock: a language for processing very large-scale data.

Dan Bonachea, Kathleen Fisher, Anne Rogers, Frederick Smith

Proceedings of the Second Conference on Domain-Specific Languages (DSL '99), 1999

1998

Comparing Mostly-Copying and Mark-Sweep Conservative Collection.

Frederick Smith, J. Gregory Morrisett

Proceedings of the International Symposium on Memory Management, 1998

1996

Kleene Algebra with Tests: Completeness and Decidability.

Dexter Kozen, Frederick Smith

Proceedings of the Computer Science Logic, 10th International Workshop, 1996