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

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


POPL 2021 Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Show activities from other conferences

POPL 2021-profile
View general profile