Sam Tobin-Hochstadt

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 30

Top Topics

Symbolic Execution

Distinctive Features

Programming Language

Modulo Theories

Top Venues

Proc. ACM Program. Lang.

Publications

Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
Garbage Collection for Mostly Serialized Heaps. ISMM (2024)
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward build systems, formally. CPP (2022)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Forward Build Systems, Formally. CoRR (2022)
Yuquan Fu, Sam Tobin-Hochstadt
Type Checking Extracted Methods. Art Sci. Eng. Program. 6 (2) (2022)
Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Sham: A DSL for Fast DSLs. Art Sci. Eng. Program. 6 (1) (2022)
Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Corpse reviver: sound and efficient gradual typing via contract verification. Proc. ACM Program. Lang. 5 (POPL) (2021)
Yuquan Fu, Sam Tobin-Hochstadt
Type checking extracted methods. CoRR (2020)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build Scripts with Perfect Dependencies. CoRR (2020)
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Build scripts with perfect dependencies. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Sham: A DSL for Fast DSLs. CoRR (2020)
Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification. CoRR (2020)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. PLDI (2019)
Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri
Rebuilding racket on chez scheme (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan
From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
Efficient compilation of array probabilistic programs. CoRR (2018)
Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
An extended account of contract monitoring strategies as patterns of communication. J. Funct. Program. 28 (2018)
Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
Practical Optional Types for Clojure. CoRR (2018)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
A programmable programming language. Commun. ACM 61 (3) (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Size-Change Termination as a Contract. CoRR (2018)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft contract verification for higher-order stateful programs. Proc. ACM Program. Lang. 2 (POPL) (2018)
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa
Migratory Typing: Ten Years Later. SNAPL (2017)
Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn
Soft Contract Verification for Higher-Order Stateful Programs. CoRR (2017)
Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt
Sound gradual typing: only mostly dead. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton
Compiling Tree Transforms to Operate on Packed Representations. ECOOP (2017)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Higher order symbolic execution for contract verification and refutation. J. Funct. Program. 27 (2017)
Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt
Parallel type-checking with haskell using saturating LVars and stream generators. PPOPP (2016)
Jeremy G. Siek, Sam Tobin-Hochstadt
The Recursive Union of Some Gradual Types. A List of Successes That Can Change the World (2016)
Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt
Practical Optional Types for Clojure. ESOP (2016)
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
Occurrence typing modulo theories. PLDI (2016)
Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt
Expressing contract monitors as patterns of communication. ICFP (2015)
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen
Towards Practical Gradual Typing. ECOOP (2015)
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt
The Racket Manifesto. SNAPL (2015)
Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
Monotonic References for Efficient Gradual Typing. ESOP (2015)
Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt
Pycket: a tracing JIT for a functional language. ICFP (2015)
Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt
Occurrence Typing Modulo Theories. CoRR (2015)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Higher-order symbolic execution for contract verification and refutation. CoRR (2015)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Soft contract verification. ICFP (2014)
Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton
Taming the parallel effect zoo: extensible deterministic parallelism with LVish. PLDI (2014)
Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen
The Network as a Language Construct. ESOP (2014)
Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
Static Contract Checking for Scripting Languages. CoRR (2013)
Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt
Constraining Delimited Control with Contracts. ESOP (2013)
Sam Tobin-Hochstadt, David Van Horn
From Principles to Practice with Class in the First Year. TFPIE (2013)
Sam Tobin-Hochstadt
Tutorial: Typed Racket. ELS (2013)
T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt
Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA (2012)
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Gradual typing for first-class classes. OOPSLA (2012)
Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Complete Monitors for Behavioral Contracts. ESOP (2012)
Sam Tobin-Hochstadt, David Van Horn
Higher-order symbolic execution via contracts. OOPSLA (2012)
Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen
Optimization coaching: optimizers learn to communicate with programmers. OOPSLA (2012)
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen
Typing the Numeric Tower. PADL (2012)
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Run your research: on the effectiveness of lightweight mechanization. POPL (2012)
Sam Tobin-Hochstadt
Extensible Pattern Matching in an Extensible Language CoRR (2011)
Sam Tobin-Hochstadt, David Van Horn
Modular Analysis via Specifications as Values CoRR (2011)
Sam Tobin-Hochstadt, David Van Horn
Semantic Solutions to Program Analysis Problems CoRR (2011)
Sam Tobin-Hochstadt, Matthias Felleisen
The Design and Implementation of Typed Scheme: From Scripts to Programs CoRR (2011)
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen
Languages as libraries. PLDI (2011)
Sam Tobin-Hochstadt, Matthias Felleisen
Logical types for untyped languages. ICFP (2010)
T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen
Practical Variable-Arity Polymorphism. ESOP (2009)
Sam Tobin-Hochstadt, Robert Bruce Findler
Cycles without pollution: a gradual typing poem. STOP@ECOOP (2009)
Sam Tobin-Hochstadt, Matthias Felleisen
The design and implementation of typed scheme. POPL (2008)
Sam Tobin-Hochstadt, Matthias Felleisen
Interlanguage migration: from scripts to programs. OOPSLA Companion (2006)