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, JonProceedings 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 languageFelleisen, 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, SamCommunications of the ACM, vol. 61, (no. 3), pp. 71, 02-21-2018.
| Journal Article
A Programmable Programming LanguageFelleisen, Matthias⋅Finaler, Robert⋅Flatt, Matthew⋅Krishnamurthi, Shriram⋅McCarthy, Jay⋅Tobin Hochstadt, Sam and Barzilay, EliAssociation for Computing Machinery. Communications of the ACM, vol. 61, (no. 3), pp. 62, 20180301.
| Journal Article
A Programmable Programming LanguageFelleisen, Matthias⋅Finaler, Robert⋅Flatt, Matthew⋅Krishnamurthi, Shriram⋅McCarthy, Jay⋅Tobin Hochstadt, Sam and Barzilay, EliAssociation 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 ClojureBonnaire-Sergeant, Ambrose⋅Davies, Rowan and Tobin Hochstadt, Sam2018-12-09.
| Journal Article
Size-Change Termination as a ContractNguyen, Phuc C⋅Gilray, Thomas⋅Tobin Hochstadt, Sam and Van Horn, David2018-08-06.
| Journal Article
2017
Higher order symbolic execution for contract verification and refutationNGUYÊN, PHÚC C⋅Tobin Hochstadt, Sam and VAN HORN, DAVIDJournal of Functional Programming, vol. 27, 2017-00-00.
| Journal Article
Soft contract verification for higher-order stateful programsNguyễn, Phúc C⋅Gilray, Thomas⋅Tobin Hochstadt, Sam and Van Horn, DavidProceedings 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 theoriesKent, Andrew M⋅Kempe, David and Tobin Hochstadt, SamACM 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 refutationNguyen, Phuc C⋅Tobin Hochstadt, Sam and Van Horn, David2015-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 verificationNguyen, Phúc C⋅Tobin Hochstadt, Sam and Van Horn, DavidACM SIGPLAN Notices, vol. 49, (no. 9), pp. 152, 2014-08-19.
| Journal Article
Soft contract verificationNguyen, Phúc⋅Tobin Hochstadt, Sam and Van Horn, DavidProceedings 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 YearTobin Hochstadt, Sam and Van Horn, DavidElectronic Proceedings in Theoretical Computer Science, vol. 136, (no. Proc. TFPIE 2013), pp. 15, 2013-12-08.
| Journal Article
2012
Chaperones and impersonatorsStrickland, T. Stephen⋅Strickland, T. Stephen⋅Tobin Hochstadt, Sam⋅Tobin-Hochstadt, Sam⋅Findler, Robert Bruce⋅Findler, Robert Bruce⋅Flatt, Matthew and Flatt, MatthewACM SIGPLAN Notices, vol. 47, (no. 10), pp. 943, 2012-11-15.
| Journal Article
Gradual typing for first-class classesTakikawa, Asumu⋅Strickland, T. Stephen⋅Dimoulas, Christos⋅Tobin Hochstadt, Sam and Felleisen, MatthiasACM SIGPLAN Notices, vol. 47, (no. 10), pp. 793, 2012-11-15.
| Journal Article
Higher-order symbolic execution via contractsTobin Hochstadt, Sam and Van Horn, DavidACM SIGPLAN Notices, vol. 47, (no. 10), pp. 537, 2012-11-15.
| Journal Article
Languages as librariesTobin-Hochstadt, Sam⋅Tobin Hochstadt, Sam⋅St-Amour, Vincent⋅St-Amour, Vincent⋅Culpepper, Ryan⋅Culpepper, Ryan⋅Flatt, Matthew⋅Flatt, Matthew⋅Felleisen, Matthias and Felleisen, MatthiasACM SIGPLAN Notices, vol. 47, (no. 6), pp. 132, 2012-08-06.
| Journal Article