Sam Tobin-Hochstadt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
27
Venues
9
Active years
2006–2022
Best venue rank
A*
Where they publish
Papers
27 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | Forward build systems, formally. | Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt |
| 2019 | PLDI | 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 |
| 2017 | ECOOP | 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 |
| 2016 | ESOP | Practical Optional Types for Clojure. | Ambrose Bonnaire-Sergeant, Rowan Davies, Sam Tobin-Hochstadt |
| 2016 | PLDI | Occurrence typing modulo theories. | Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt |
| 2016 | PPoPP | Parallel type-checking with haskell using saturating LVars and stream generators. | Ryan R. Newton, mer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt |
| 2015 | ECOOP | Towards Practical Gradual Typing. | Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2015 | ESOP | Monotonic References for Efficient Gradual Typing. | Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia |
| 2015 | ICFP | 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 |
| 2015 | ICFP | Expressing contract monitors as patterns of communication. | Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt |
| 2014 | ESOP | The Network as a Language Construct. | Tony Garnock-Jones, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2014 | ICFP | Soft contract verification. | Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |
| 2014 | PLDI | Taming the parallel effect zoo: extensible deterministic parallelism with LVish. | Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton |
| 2013 | ESOP | Constraining Delimited Control with Contracts. | Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt |
| 2012 | ESOP | Complete Monitors for Behavioral Contracts. | Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Optimization coaching: optimizers learn to communicate with programmers. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Chaperones and impersonators: run-time support for reasonable interposition. | T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt |
| 2012 | OOPSLA | Gradual typing for first-class classes. | Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2012 | OOPSLA | Higher-order symbolic execution via contracts. | Sam Tobin-Hochstadt, David Van Horn |
| 2012 | PADL | Typing the Numeric Tower. | Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen |
| 2012 | POPL | 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 |
| 2011 | PLDI | Languages as libraries. | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
| 2010 | ICFP | Logical types for untyped languages. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2009 | ECOOP | Cycles without pollution: a gradual typing poem. | Sam Tobin-Hochstadt, Robert Bruce Findler |
| 2009 | ESOP | Practical Variable-Arity Polymorphism. | T. Stephen Strickland, Sam Tobin-Hochstadt, Matthias Felleisen |
| 2008 | POPL | The design and implementation of typed scheme. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2006 | OOPSLA | Interlanguage migration: from scripts to programs. | Sam Tobin-Hochstadt, Matthias Felleisen |