BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Czech Republic
1 × Estonia
1 × France
1 × Italy
1 × Sweden
3 × United Kingdom
7 × USA
Collaborated with:
M.Felleisen D.V.Horn T.S.Strickland M.Flatt P.C.Nguyen V.St-Amour A.Takikawa C.Dimoulas J.G.Siek Thomas Gilray R.B.Findler S.Bauman C.Swords A.Sabry T.Garnock-Jones A.Bonnaire-Sergeant R.Davies Andrew M. Kent David Kempe 0002 L.Kuper A.Todd R.R.Newton Carl Friedrich Bolz-Tereick M.M.Vitousek M.Cimini R.Garcia R.Culpepper D.Feltey E.Dean C.F.Bolz R.Hirschfeld V.Kirilichev T.Pape Michael Vollmer 0003 Sarah Spall Buddhika Chamith Laith Sakka Chaitanya Koparkar M.K.0001 R.Newton C.Klein J.Clements C.Eastlund J.A.McCarthy J.Rafkind
Talks about:
type (9) contract (7) practic (4) languag (4) gradual (4) higher (3) order (3) class (3) parallel (2) communic (2)

Person: Sam Tobin-Hochstadt

DBLP DBLP: Tobin-Hochstadt:Sam

Facilitated 1 volumes:

IFL 2014Ed

Contributed to:

ECOOP 20152015
ESOP 20152015
ICFP 20152015
ESOP 20142014
ICFP 20142014
PLDI 20142014
ESOP 20132013
TFPIE 20132013
ESOP 20122012
OOPSLA 20122012
PADL 20122012
POPL 20122012
PLDI 20112011
ICFP 20102010
ESOP 20092009
POPL 20082008
ESOP 20162016
ECOOP 20172017
OOPSLA 20172017
PLDI 20162016
POPL 20182018
PLDI 20192019

Wrote 26 papers:

ECOOP-2015-TakikawaFDFFTF #towards #type system
Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.
ESOP-2015-SiekVCTG #performance #type system
Monotonic References for Efficient Gradual Typing (JGS, MMV, MC, STH, RG), pp. 432–456.
ICFP-2015-BaumanBHKPST #functional #jit #named
Pycket: a tracing JIT for a functional language (SB, CFB, RH, VK, TP, JGS, STH), pp. 22–34.
ICFP-2015-SwordsST #communication #contract #monitoring
Expressing contract monitors as patterns of communication (CS, AS, STH), pp. 387–399.
ESOP-2014-Garnock-JonesTF #network
The Network as a Language Construct (TGJ, STH, MF), pp. 473–492.
ICFP-2014-NguyenTH #contract #verification
Soft contract verification (PCN, STH, DVH), pp. 139–152.
PLDI-2014-KuperTTN #parallel
Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.
ESOP-2013-TakikawaST #contract
Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
From Principles to Practice with Class in the First Year (STH, DVH), pp. 1–15.
ESOP-2012-DimoulasTF #behaviour #contract #monitoring
Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
OOPSLA-2012-St-AmourTF #communication #optimisation
Optimization coaching: optimizers learn to communicate with programmers (VSA, STH, MF), pp. 163–178.
OOPSLA-2012-StricklandTFF #runtime
Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
OOPSLA-2012-TakikawaSDTF #type system
Gradual typing for first-class classes (AT, TSS, CD, STH, MF), pp. 793–810.
OOPSLA-2012-Tobin-HochstadtH #contract #execution #higher-order #symbolic computation
Higher-order symbolic execution via contracts (STH, DVH), pp. 537–554.
PADL-2012-St-AmourTFF #type system
Typing the Numeric Tower (VSA, STH, MF, MF), pp. 289–303.
POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
PLDI-2011-Tobin-HochstadtSCFF #library
Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.
ICFP-2010-Tobin-HochstadtF #logic
Logical types for untyped languages (STH, MF), pp. 117–128.
ESOP-2009-StricklandTF #morphism #polymorphism
Practical Variable-Arity Polymorphism (TSS, STH, MF), pp. 32–46.
POPL-2008-Tobin-HochstadtF #design #implementation
The design and implementation of typed scheme (STH, MF), pp. 395–406.
ESOP-2016-Bonnaire-Sergeant #clojure
Practical Optional Types for Clojure (ABS, RD, STH), pp. 68–94.
ECOOP-2017-VollmerSCSK0TN #compilation
Compiling Tree Transforms to Operate on Packed Representations (MV0, SS, BC, LS, CK, MK0, STH, RN), p. 29.
OOPSLA-2017-BaumanBST #type system
Sound gradual typing: only mostly dead (SB, CFBT, JGS, STH), p. 24.
PLDI-2016-KentKT #modulo theories #type system
Occurrence typing modulo theories (AMK, DK0, STH), pp. 296–309.
POPL-2018-NguyenGTH #contract #higher-order #source code #verification
Soft contract verification for higher-order stateful programs (PCN, TG, STH, DVH), p. 30.
PLDI-2019-NguyenGTH #contract #higher-order #source code #termination
Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs (PCN, TG, STH, DVH), pp. 845–859.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.