Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
Sam Tobin-Hochstadt

Registered user since Thu 18 Dec 2014

Name: Sam Tobin-Hochstadt

Bio: I am an Assistant Professor in the Department of Computer Science at Indiana University.

Research Interests: my research focuses on the design and analysis of software and programming languages. I am particularly interested in how programs grow from prototype scripts to robust software, and how programming language design can support this process. My research concerns type systems, software contracts, modularity, and extensibility. I’m currently working with the DARPA CRASH program on Racket and with Mozilla Labs on JavaScript.

Country: United States

Affiliation: Indiana University

Personal website: http://samth.github.io

Research interests: Programming Languages

Contributions

DLS 2012Committee Member in Program Committee within the DLS 2012-track
SPLASH 2012Author of Higher-order symbolic execution via contracts within the OOPSLA Research Papers-track
Author of Chaperones and impersonators: run-time support for reasonable interposition within the OOPSLA Research Papers-track
Author of Optimization coaching: optimizers learn to communicate with programmers within the OOPSLA Research Papers-track
Author of Gradual typing for first-class classes within the OOPSLA Research Papers-track
Show activities from other conferences

SPLASH 2012-profile
View general profile