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

POPL 2019Committee Member in Program Committee within the Research Papers-track
VMIL 2018Committee Member in Program Committee within the VMIL 2018-track
DSLDI 2018Committee Member in Organizing Committee within the DSLDI 2018-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
Chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Artifact Evaluation Chair in Organizing Committee
‹Programming› 2018Committee Member in Program Committee within the Research Papers-track
Scheme 2017Author of Keynote within the Scheme 2017-track
Scala 2017Committee Member in Program Committee within the Scala 2017-track
MoreVMs 2017Committee Member in Program Committee within the MoreVMs 2017-track
Onward! 2017Session Chair of Usability and Performance (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
ICFP 2017Session Chair of Low-level and Systems Programming (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2018Author of Soft Contract Verification for Higher-order Stateful Programs within the Artifact Evaluation-track
Author of Soft Contract Verification for Higher-order Stateful Programs within the Research Papers-track
ICOOOLPSCommittee Member in Program Committee within the ICOOOLPS-track
POPL 2017ERC member in External Review Committee within the POPL-track
DLS 2016Committee Member in Program Committee within the DLS-track
SPLASH 2017Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the OOPSLA Artifacts-track
Artifact Evaluation Co-Chair in Organizing Committee
ECOOP 2017Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track
PEPM 2016invited speaker of Invited Talk: Tracing JITs for Functional Languages within the Invited Talks-track
PLDI 2016Author of Occurrence Typing Modulo Theories within the Research Papers-track
PPoPP 2016Author of Parallel Type-checking with Haskell using Saturating LVars and Stream Generators within the Main conference-track
STOP 2015Author of Adding Practical Dependent Types to Typed Racket within the STOP-track
ESOP 2015Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
PLDI 2015Committee Member in Program Committee within the Research Papers-track
ECOOP 2015Author of Towards Practical Gradual Typing within the Research Track-track
DLSCommittee Member in Program Committee within the DLS-track
SPLASH 2013Committee Member in Program Committee within the OOPSLA-track
Committee Member in Committee within the Doctoral Symposium-track
DLS 2012
SPLASH 2012