conf.researchr.org / 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
2025
2023
ICFP
2022
‹Programming›
2021
Scheme
ECOOP
2020
2019
ICFP
- Author of Rebuilding Racket on Chez Scheme (Experience Report) within the Research Papers-track
- Committee Member in External Review Committee within the Research Papers-track
- Publicity Chair in Steering Committee
- Author of From high-level inference algorithms to efficient code within the Research Papers-track
- Publicity Chair in Organizing Committee
2018
DSLDI
SPLASH
2017
Onward!
SPLASH
ICFP
2016
Principles and Practice of Parallel Programming
2015
2013
2012
SPLASH
- Author 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