34 Publications (Page 1 of 2)
2019
From high-level inference algorithms to efficient codeWalia, Rajan⋅Walia, Rajan⋅Narayanan, Praveen⋅Narayanan, Praveen⋅Carette, Jacques⋅Carette, Jacques⋅Tobin-Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅Shan, Chung-chieh and Shan, Chung ChiehProceedings of the ACM on Programming Languages, vol. 3, (no. ICFP), pp. 30, 07-26-2019.
| Journal Article
Rebuilding racket on chez scheme (experience report)
Flatt, Matthew⋅Derici, Caner⋅Dybvig, R. Kent⋅Keep, Andrew W⋅Massaccesi, Gustavo E⋅Spall, Sarah⋅Tobin-Hochstadt, Sam and Zeppieri, Jon
Proceedings of the ACM on Programming Languages, vol. 3, (no. ICFP), pp. 15, 07-26-2019. | Journal Article
2018
An extended account of contract monitoring strategies as patterns of communicationSWORDS, CAMERON⋅SWORDS, CAMERON⋅Sabry, Amr⋅SABRY, AMR⋅TOBIN-HOCHSTADT, SAM and TOBIN-HOCHSTADT, SAMJournal of Functional Programming, vol. 28, 2018-00-00.
| Journal Article
A programmable programming language
Felleisen, Matthias⋅Felleisen, Matthias⋅Findler, Robert⋅Findler, Robert⋅Flatt, Matthew⋅Flatt, Matthew⋅Krishnamurthi, Shriram⋅Krishnamurthi, Shriram⋅Barzilay, Eli⋅Barzilay, Eli⋅McCarthy, Jay⋅McCarthy, Jay⋅Tobin-Hochstadt, Sam and Tobin-Hochstadt, Sam
Communications of the ACM, vol. 61, (no. 3), pp. 71, 02-21-2018. | Journal Article
A Programmable Programming Language
Felleisen, Matthias⋅Finaler, Robert⋅Flatt, Matthew⋅Krishnamurthi, Shriram⋅McCarthy, Jay⋅Tobin-Hochstadt, Sam and Barzilay, Eli
Association for Computing Machinery. Communications of the ACM, vol. 61, (no. 3), pp. 62, 20180301. | Journal Article
A Programmable Programming Language
Felleisen, Matthias⋅Finaler, Robert⋅Flatt, Matthew⋅Krishnamurthi, Shriram⋅McCarthy, Jay⋅Tobin-Hochstadt, Sam and Barzilay, Eli
Association for Computing Machinery. Communications of the ACM, vol. 61, (no. 3), pp. 62, 20180301. | Journal Article
From high-level inference algorithms to efficient codeWalia, Rajan⋅Walia, Rajan⋅Narayanan, Praveen⋅Narayanan, Praveen⋅Carette, Jacques⋅Carette, Jacques⋅Tobin-Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅Shan, Chung-chieh and Shan, Chung Chieh2018-05-16.
| Journal Article
Practical Optional Types for Clojure
Bonnaire-Sergeant, Ambrose⋅Davies, Rowan and Tobin-Hochstadt, Sam
2018-12-09. | Journal Article
Size-Change Termination as a Contract
Nguyen, Phuc C⋅Gilray, Thomas⋅Tobin-Hochstadt, Sam and Van Horn, David
2018-08-06. | Journal Article
2017
Higher order symbolic execution for contract verification and refutation
NGUYÊN, PHÚC C⋅TOBIN-HOCHSTADT, SAM and VAN HORN, DAVID
Journal of Functional Programming, vol. 27, 2017-00-00. | Journal Article
Soft contract verification for higher-order stateful programs
Nguyễn, Phúc C⋅Gilray, Thomas⋅Tobin-Hochstadt, Sam and Van Horn, David
Proceedings of the ACM on Programming Languages, vol. 2, (no. POPL), pp. 30, 12-27-2017. | Journal Article
Sound gradual typing: only mostly deadBauman, Spenser⋅Bauman, Spenser⋅Bolz-Tereick, Carl Friedrich⋅Bolz-Tereick, Carl Friedrich⋅Siek, Jeremy⋅Siek, Jeremy⋅Tobin-Hochstadt, Sam and Tobin-Hochstadt, SamProceedings of the ACM on Programming Languages, vol. 1, (no. OOPSLA), pp. 24, 10-12-2017.
| Journal Article
2016
Occurrence typing modulo theories
Kent, Andrew M⋅Kempe, David and Tobin-Hochstadt, Sam
ACM SIGPLAN Notices, vol. 51, (no. 6), pp. 309, 2016-06-02. | Journal Article
Parallel type-checking with haskell using saturating LVars and stream generatorsNewton, Ryan⋅Newton, Ryan⋅Ağacan, Ömer⋅Ağacan, Ömer⋅Fogg, Peter⋅Fogg, Peter⋅Tobin-Hochstadt, Sam and Tobin-Hochstadt, SamACM SIGPLAN Notices, vol. 51, (no. 8), pp. 12, 11-09-2016.
| Journal Article
2015
Expressing contract monitors as patterns of communicationSwords, Cameron⋅Swords, Cameron⋅Sabry, Amr⋅Sabry, Amr⋅Tobin-Hochstadt, Sam and Tobin-Hochstadt, SamACM SIGPLAN Notices, vol. 50, (no. 9), pp. 399, 2015-08-29.
| Journal Article
Higher-order symbolic execution for contract verification and refutation
Nguyen, Phuc C⋅Tobin-Hochstadt, Sam and Van Horn, David
2015-07-16. | Journal Article
Pycket: a tracing JIT for a functional languageBauman, Spenser⋅Bauman, Spenser⋅Bolz, Carl Friedrich⋅Bolz, Carl Friedrich⋅Hirschfeld, Robert⋅Hirschfeld, Robert⋅Kirilichev, Vasily⋅Kirilichev, Vasily⋅Pape, Tobias⋅Pape, Tobias⋅Siek, Jeremy G⋅Siek, Jeremy G⋅Tobin-Hochstadt, Sam and Tobin-Hochstadt, SamACM SIGPLAN Notices, vol. 50, (no. 9), pp. 34, 2015-08-29.
| Journal Article
2014
Soft contract verification
Nguyen, Phúc C⋅Tobin-Hochstadt, Sam and Van Horn, David
ACM SIGPLAN Notices, vol. 49, (no. 9), pp. 152, 2014-08-19. | Journal Article
Soft contract verification
Nguyen, Phúc⋅Tobin-Hochstadt, Sam and Van Horn, David
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, pp. 152, 08-19-2014. | Journal Article
Taming the parallel effect zooKuper, Lindsey⋅Kuper, Lindsey⋅Todd, Aaron⋅Todd, Aaron⋅Tobin-Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅Newton, Ryan R and Newton, Ryan RACM SIGPLAN Notices, vol. 49, (no. 6), pp. 14, 2014-06-05.
| Journal Article
2013
From Principles to Practice with Class in the First Year
Tobin-Hochstadt, Sam and Van Horn, David
Electronic Proceedings in Theoretical Computer Science, vol. 136, (no. Proc. TFPIE 2013), pp. 15, 2013-12-08. | Journal Article
2012
Chaperones and impersonators
Strickland, T. Stephen⋅Strickland, T. Stephen⋅Tobin-Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅Findler, Robert Bruce⋅Findler, Robert Bruce⋅Flatt, Matthew and Flatt, Matthew
ACM SIGPLAN Notices, vol. 47, (no. 10), pp. 943, 2012-11-15. | Journal Article
Gradual typing for first-class classes
Takikawa, Asumu⋅Strickland, T. Stephen⋅Dimoulas, Christos⋅Tobin-Hochstadt, Sam and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 47, (no. 10), pp. 793, 2012-11-15. | Journal Article
Higher-order symbolic execution via contracts
Tobin-Hochstadt, Sam and Van Horn, David
ACM SIGPLAN Notices, vol. 47, (no. 10), pp. 537, 2012-11-15. | Journal Article
Languages as libraries
Tobin-Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅St-Amour, Vincent⋅St-Amour, Vincent⋅Culpepper, Ryan⋅Culpepper, Ryan⋅Flatt, Matthew⋅Flatt, Matthew⋅Felleisen, Matthias and Felleisen, Matthias
ACM SIGPLAN Notices, vol. 47, (no. 6), pp. 132, 2012-08-06. | Journal Article
