Sam Tobin-Hochstadt

Association for Computing Machinery — United States

Computer Science · Physical Sciences

23h-index2.1kcitations88works1.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(59), Software Engineering Research(41), Parallel Computing and Optimization Techniques(24), Formal Methods in Verification(18), Software Testing and Debugging Techniques(18)

Publications88 total

Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management
2024· 2 citedOpen Access
Garbage Collection for Mostly Serialized Heaps
2024· 1 citedOpen Access
Artifact for "Rhombus: A New Spin on Macros without All the Parentheses"
Artifact Digital Object Group·2023· 1 citedOpen Access
Rhombus: A New Spin on Macros without All the Parentheses
Proceedings of the ACM on Programming Languages·2023· 4 citedOpen Access
Forward build systems, formally
2022· 2 citedOpen Access
Type Checking Extracted Methods
The Art Science and Engineering of Programming·2021Open Access
Corpse reviver: sound and efficient gradual typing via contract verification
Proceedings of the ACM on Programming Languages·2021· 2 citedOpen Access
Build scripts with perfect dependencies
Proceedings of the ACM on Programming Languages·2020Open Access
Corpse Reviver: Sound and Efficient Gradual Typing via Contract\n Verification
arXiv (Cornell University)·2020Open Access
From high-level inference algorithms to efficient code
Proceedings of the ACM on Programming Languages·2019· 9 citedOpen Access
Rebuilding racket on chez scheme (experience report)
Proceedings of the ACM on Programming Languages·2019· 8 citedOpen Access
Replication Package for Article
Artifact Digital Object Group·2019
Artifact
Artifact Digital Object Group·2019
Checkers used in
Artifact Digital Object Group·2019· 1 cited
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs
2019· 13 citedOpen Access
Practical Optional Types for Clojure
arXiv (Cornell University)·2018Open Access
Size-Change Termination as a Contract
arXiv (Cornell University)·2018· 1 citedOpen Access
From high-level inference algorithms to efficient code
arXiv (Cornell University)·2018· 1 citedOpen Access
Efficient compilation of array probabilistic programs.
arXiv (Cornell University)·2018Open Access
A programmable programming language
Communications of the ACM·2018· 71 cited
page 1 of 5Next →

Frequent Co-authors

Matthias Felleisen(21), Matthew Flatt(14), Robert Bruce Findler(9), T. Stephen Strickland(7), David Van Horn(7), Vincent St-Amour(6), Christos Dimoulas(5), Jay McCarthy(5), Asumu Takikawa(5), Jeremy G. Siek(5), Phúc C. Nguyễn(4), Ryan Culpepper(3), Spenser Bauman(3), Ryan Newton(3), Andrew M. Kent(3), Shriram Krishnamurthi(2), Eli Barzilay(2), Casey Klein(2), John Clements(2), Carl Eastlund(2)