Sam Tobin-Hochstadt

PhD Candidate in Programming Languages at Northeastern University.

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.

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

Teaching

I am currently teaching CSU 211, Introduction to Programming and Computing.

Software

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

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.

Papers

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.
Scheme Workshop, 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].

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.