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

ICFP 2023 Committee Member in Program Committee within the ICFP Research Papers-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
Scheme 2022 Author of Automating the Design Recipe within the Scheme-track
‹Programming› 2022 Author of Type Checking Extracted Methods within the Research Papers-track
Author of Sham: A DSL for Fast DSLs within the Research Papers-track
CPP 2022 Author of Forward build systems, formally within the CPP 2022-track
ICFP 2021 Publicity Chair in Organizing Committee
Scheme 2021 Author of Graphite: A Library for Data Visualization (Lightning Talk) within the Scheme 2021-track
ECOOP 2021 Session Chair of Types (time band 1) (part of ECOOP Technical Papers)
PC Member in Program Committee within the ECOOP Technical Papers-track
POPL 2021 Author of Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification within the POPL-track
APLAS 2020 Committee Member in Program Committee
SPLASH 2020 Author of Build Scripts with Perfect Dependencies within the OOPSLA-track
ICFP 2020 Author in Steering Committee
Publicity Chair in Organizing Committee
WGT 2020 Committee Member in Program Committee within the WGT-track
DLS 2019 Committee Member in Program Committee within the DLS 2019-track
GPCE 2019 Committee Member in Program Committee within the GPCE 2019-track
ICFP 2019 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
Scheme 2019 PC Member in Organizing Committee within the Scheme 2019-track
PLDI 2019 Author of Size-Change Termination as a Contract within the PLDI Research Papers-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
DSLDI 2018 Co-chair in Program Committee within the DSLDI 2018-track
Committee Member in Organizing Committee within the DSLDI 2018-track
SPLASH 2018 Committee Member in Review Committee within the OOPSLA-track
Mentor in Mentors within the Breakfasts-track
Chair in Artifact Evaluation Committee within the Artifacts-track
Artifact Evaluation Chair in Organizing Committee
VMIL 2018 Committee Member in Program Committee within the VMIL 2018-track
‹Programming› 2018 Committee Member in Program Committee within the Research Papers-track
POPL 2018 Author 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
Onward! 2017 Session Chair of Usability and Performance (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2017 Author 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
Scala 2017 Committee Member in Program Committee within the Scala 2017-track
ICFP 2017 Session Chair of Low-level and Systems Programming (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Scheme 2017 Author of Keynote within the Scheme 2017-track
ECOOP 2017 Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track
MoreVMs 2017 Committee Member in Program Committee within the MoreVMs 2017-track
POPL 2017 ERC member in External Review Committee within the POPL-track
DLS 2016 Committee Member in Program Committee within the DLS-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
ICOOOLPS 2016 Committee Member in Program Committee within the ICOOOLPS-track
PLDI 2016 Author of Occurrence Typing Modulo Theories within the Research Papers-track
PPoPP 2016 Author of Parallel Type-checking with Haskell using Saturating LVars and Stream Generators within the Main conference-track
PEPM 2016 Invited Speaker of Invited Talk: Tracing JITs for Functional Languages within the Invited Talks-track
ECOOP 2015 Author of Towards Practical Gradual Typing within the Research Track-track
STOP 2015 Author of Adding Practical Dependent Types to Typed Racket within the STOP-track
PLDI 2015 Committee Member in Program Committee within the Research Papers-track
ESOP 2015 Author of Monotonic References for Efficient Gradual Typing within the ESOP-track
DLS Committee Member in Program Committee within the DLS-track
SPLASH 2013 Committee Member in Program Committee within the OOPSLA-track
Committee Member in Committee within the Doctoral Symposium-track
SPLASH 2012 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
DLS 2012 Committee Member in Program Committee within the DLS 2012-track
Scheme 2011 Committee Member in Program Committee within the Scheme 2011-track