Sam Tobin-Hochstadt

62 papers A* 6A 16B 2C 2Journal 28Unranked 7

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