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

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

SPLASH 2012-profile
View general profile