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