Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
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.

Affiliation: Indiana University

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

Research interests: Programming Languages

Contributions

POPL 2021Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the Research Papers-track
Show activities from other conferences

Using general profile