Sam Tobin-Hochstadt

According to our database, Sam Tobin-Hochstadt authored at least 51 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Rhombus: A New Spin on Macros without All the Parentheses.

Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay A. McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

2022

Sham: A DSL for Fast DSLs.

Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt

Art Sci. Eng. Program., 2022

Type Checking Extracted Methods.

Yuquan Fu, Sam Tobin-Hochstadt

Art Sci. Eng. Program., 2022

Forward build systems, formally.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Corpse reviver: sound and efficient gradual typing via contract verification.

Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

Proc. ACM Program. Lang., 2021

2020

Build scripts with perfect dependencies.

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2020

2019

From high-level inference algorithms to efficient code.

Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan

Proc. ACM Program. Lang., 2019

Rebuilding racket on chez scheme (experience report).

Matthew Flatt, Caner Derici, R. Kent Dybvig, Andrew W. Keep, Gustavo E. Massaccesi, Sarah Spall, Sam Tobin-Hochstadt, Jon Zeppieri

Proc. ACM Program. Lang., 2019

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Soft contract verification for higher-order stateful programs.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

Proc. ACM Program. Lang., 2018

An extended account of contract monitoring strategies as patterns of communication.

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

J. Funct. Program., 2018

Size-Change Termination as a Contract.

Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn

CoRR, 2018

Efficient compilation of array probabilistic programs.

Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt

CoRR, 2018

A programmable programming language.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Commun. ACM, 2018

2017

Sound gradual typing: only mostly dead.

Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy G. Siek, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., 2017

Higher order symbolic execution for contract verification and refutation.

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

J. Funct. Program., 2017

Migratory Typing: Ten Years Later.

Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, Asumu Takikawa

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Compiling Tree Transforms to Operate on Packed Representations.

Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Parallel type-checking with haskell using saturating LVars and stream generators.

Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Occurrence typing modulo theories.

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Practical Optional Types for Clojure.

Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt

Proceedings of the Programming Languages and Systems, 2016

The Recursive Union of Some Gradual Types.

Jeremy G. Siek, Sam Tobin-Hochstadt

Proceedings of the A List of Successes That Can Change the World, 2016

2015

The Racket Manifesto.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay A. McCarthy, Sam Tobin-Hochstadt

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Expressing contract monitors as patterns of communication.

Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Pycket: a tracing JIT for a functional language.

Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Monotonic References for Efficient Gradual Typing.

Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia

Proceedings of the Programming Languages and Systems, 2015

Towards Practical Gradual Typing.

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Taming the parallel effect zoo: extensible deterministic parallelism with LVish.

Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Soft contract verification.

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

The Network as a Language Construct.

Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2014

2013

From Principles to Practice with Class in the First Year.

Sam Tobin-Hochstadt, David Van Horn

Proceedings of the Proceedings Second Workshop on Trends in Functional Programming In Education, 2013

Static Contract Checking for Scripting Languages.

Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn

CoRR, 2013

Constraining Delimited Control with Contracts.

Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt

Proceedings of the Programming Languages and Systems, 2013

Tutorial: Typed Racket.

Sam Tobin-Hochstadt

Proceedings of ELS 2013 - 6th European Lisp Symposium, Madrid, Spain, June 3-4, 2013., 2013

2012

Run your research: on the effectiveness of lightweight mechanization.

Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Typing the Numeric Tower.

Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen

Proceedings of the Practical Aspects of Declarative Languages, 2012

Higher-order symbolic execution via contracts.

Sam Tobin-Hochstadt, David Van Horn

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Gradual typing for first-class classes.

Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Chaperones and impersonators: run-time support for reasonable interposition.

T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Optimization coaching: optimizers learn to communicate with programmers.

Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Complete Monitors for Behavioral Contracts.

Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2012

2011

Extensible Pattern Matching in an Extensible Language

Sam Tobin-Hochstadt

CoRR, 2011

The Design and Implementation of Typed Scheme: From Scripts to Programs

Sam Tobin-Hochstadt, Matthias Felleisen

CoRR, 2011

Semantic Solutions to Program Analysis Problems

Sam Tobin-Hochstadt, David Van Horn

CoRR, 2011

Modular Analysis via Specifications as Values

Sam Tobin-Hochstadt, David Van Horn

CoRR, 2011

Languages as libraries.

Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Logical types for untyped languages.

Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Practical Variable-Arity Polymorphism.

T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Programming Languages and Systems, 2009

Cycles without pollution: a gradual typing poem.

Sam Tobin-Hochstadt, Robert Bruce Findler

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008

The design and implementation of typed scheme.

Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2006

Interlanguage migration: from scripts to programs.

Sam Tobin-Hochstadt, Matthias Felleisen

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006