Sam Tobin-Hochstadt

Orcid: 0000-0003-1302-6499

Affiliations:
  • Indiana University, School of Informatics & Computing, Bloomington, IN, USA


According to our database1, Sam Tobin-Hochstadt authored at least 52 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Garbage Collection for Mostly Serialized Heaps.
Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management, 2024

2023
Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang., October, 2023

2022
Sham: A DSL for Fast DSLs.
Art Sci. Eng. Program., 2022

Type Checking Extracted Methods.
Art Sci. Eng. Program., 2022

Forward build systems, formally.
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.
Proc. ACM Program. Lang., 2021

2020
Build scripts with perfect dependencies.
Proc. ACM Program. Lang., 2020

2019
From high-level inference algorithms to efficient code.
Proc. ACM Program. Lang., 2019

Rebuilding racket on chez scheme (experience report).
Proc. ACM Program. Lang., 2019

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Soft contract verification for higher-order stateful programs.
Proc. ACM Program. Lang., 2018

An extended account of contract monitoring strategies as patterns of communication.
J. Funct. Program., 2018

Size-Change Termination as a Contract.
CoRR, 2018

Efficient compilation of array probabilistic programs.
CoRR, 2018

A programmable programming language.
Commun. ACM, 2018

2017
Sound gradual typing: only mostly dead.
Proc. ACM Program. Lang., 2017

Higher order symbolic execution for contract verification and refutation.
J. Funct. Program., 2017

Migratory Typing: Ten Years Later.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Compiling Tree Transforms to Operate on Packed Representations.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
Parallel type-checking with haskell using saturating LVars and stream generators.
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Occurrence typing modulo theories.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Practical Optional Types for Clojure.
Proceedings of the Programming Languages and Systems, 2016

The Recursive Union of Some Gradual Types.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
The Racket Manifesto.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Expressing contract monitors as patterns of communication.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Pycket: a tracing JIT for a functional language.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Monotonic References for Efficient Gradual Typing.
Proceedings of the Programming Languages and Systems, 2015

Towards Practical Gradual Typing.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Taming the parallel effect zoo: extensible deterministic parallelism with LVish.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Soft contract verification.
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

The Network as a Language Construct.
Proceedings of the Programming Languages and Systems, 2014

2013
From Principles to Practice with Class in the First Year.
Proceedings of the Proceedings Second Workshop on Trends in Functional Programming In Education, 2013

Static Contract Checking for Scripting Languages.
CoRR, 2013

Constraining Delimited Control with Contracts.
Proceedings of the Programming Languages and Systems, 2013

Tutorial: Typed Racket.
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.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Typing the Numeric Tower.
Proceedings of the Practical Aspects of Declarative Languages, 2012

Higher-order symbolic execution via contracts.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Gradual typing for first-class classes.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Chaperones and impersonators: run-time support for reasonable interposition.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Optimization coaching: optimizers learn to communicate with programmers.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Complete Monitors for Behavioral Contracts.
Proceedings of the Programming Languages and Systems, 2012

2011
Extensible Pattern Matching in an Extensible Language
CoRR, 2011

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

Semantic Solutions to Program Analysis Problems
CoRR, 2011

Modular Analysis via Specifications as Values
CoRR, 2011

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

2010
Logical types for untyped languages.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009
Practical Variable-Arity Polymorphism.
Proceedings of the Programming Languages and Systems, 2009

Cycles without pollution: a gradual typing poem.
Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2008
The design and implementation of typed scheme.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2006
Interlanguage migration: from scripts to programs.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006


  Loading...