Sam Tobin-Hochstadt

PhD Candidate in Programming Languages at Northeastern University.

TFP 2010

PLT, PRL, CCIS, NEU

Office: West Village H, Room 308
Email: samth@ccs.neu.edu

Research

My research focuses on the development of Typed Scheme, a statically-typed dialect of PLT Scheme, with an expressive type system that captures a wide variety of common Scheme idioms, as well as allowing types in only portions of the program.

You can help with Typed Scheme, by contributing wrapper modules. See here for more information.

In the past, I've worked on the Fortress language, at Sun Microsystems, a language designed for scientific computing.

Papers & Talks

Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt and Robert Bruce Findler
Workshop on Script to Program Evolution, 2009. Paper [pdf] Talk [pdf].

The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt and Matthias Felleisen.
Symposium in Honor of Mitchell Wand, 2009. Talk [pdf].

Practical Variable-Arity Polymorphism. T. Stephen Strickland, Sam Tobin-Hochstadt and Matthias Felleisen.
ESOP, 2009. Paper [pdf]

The Design and Implementation of Typed Scheme. Sam Tobin-Hochstadt and Matthias Felleisen.
POPL, 2008. Paper [pdf] Models [Isabelle/HOL Source] [PLT Redex Source]

Advanced Macrology and the Implementation of Typed Scheme. Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt.
Workshop on Scheme and Functional Programming, 2007. Paper [pdf].

Interlanguage Migration: From Scripts to Programs. Sam Tobin-Hochstadt and Matthias Felleisen.
Dynamic Languages Symposium (DLS) , 2006. Paper [pdf]. Talk [pdf].

The Fortress Language Specification. Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy Steele and Sam Tobin-Hochstadt.
Sun Microsystems Technical Report, Version 1.0, 2008. [pdf].

A Core Calculus of Metaclasses. Sam Tobin-Hochstadt and Eric Allen.
Foundations of Object-Oriented Languages (FOOL), 2005. Paper [pdf].

Teaching

In Spring 2009, I taught CS U211.

Software

• Typed Scheme, a typed dialect of PLT Scheme.
• PLT Scheme software on PLaneT.
• A pattern matching library for PLT Scheme.

I've also contributed to a variety of free software projects:

• AbiWord, a multi-platform word processor.
• GNOME, a desktop environment.
• Subversion, a widely used revision control system.

Life

In the rest of my life, I play Ultimate and I go outside.

My wife, Katherine Edmonds, is a graduate student in the Wagner lab at the Harvard Medical School.