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 × Estonia
1 × Germany
1 × Italy
1 × The Netherlands
2 × France
2 × Spain
2 × United Kingdom
3 × Canada
9 × USA
Collaborated with:
A.Lumsdaine W.Taha W.Miao M.Cimini P.Wadler R.Garcia S.Tobin-Hochstadt J.Järvi M.M.Vitousek D.Broman J.Willcock S.Bauman D.Gregor P.Thiemann J.E.Gottschlich M.Vachharajani L.Lee C.Swords Andre Kuhlenschmidt Deyaaeldeen Almahallawi E.Holk R.Newton D.Coughlin B.E.Chang A.Diwan A.Ahmed R.B.Findler S.Fogarty E.Pasalic Carl Friedrich Bolz-Tereick G.Castagna Victor Lanvin Tommaso Petrucciani B.Stroustrup G.D.Reis C.F.Bolz R.Hirschfeld V.Kirilichev T.Pape
Talks about:
type (14) gradual (10) languag (8) generic (8) program (7) blame (4) support (3) effici (3) time (3) metaprogram (2)

Person: Jeremy G. Siek

DBLP DBLP: Siek:Jeremy_G=

Facilitated 3 volumes:

PEPM 2011Ed
GPCE 2009Ed
GPCE 2008Ed

Contributed to:

ESOP 20152015
ICFP 20152015
PLDI 20152015
OOPSLA 20142014
PEPM 20142014
ISSTA 20122012
SAC 20122012
POPL 20112011
CGO 20102010
GPCE 20102010
PEPM 20102010
POPL 20102010
ESOP 20092009
ECOOP 20072007
PEPM 20072007
ECOOP 20062006
OOPSLA 20062006
PLDI 20062006
GPCE 20052005
GPCE 20052011
PLDI 20052005
OOPSLA 20032003
OOPSLA 19991999
OOPSLA 20172017
POPL 20162016
POPL 20172017
PEPM 20182018
PLDI 20192019
POPL 20192019

Wrote 30 papers:

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.
Blame and coercion: together again for the first time (JGS, PT, PW), pp. 425–435.
OOPSLA-2014-HolkNSL #data type #gpu #memory management #programming language
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host (EH, RN, JGS, AL), pp. 141–155.
PEPM-2014-MiaoS #java #metaprogramming
Compile-time reflection and metaprogramming for Java (WM, JGS), pp. 27–38.
ISSTA-2012-CoughlinCDS #source code #what
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say (DC, BYEC, AD, JGS), pp. 276–286.
Pattern-based traits (WM, JGS), pp. 1729–1736.
Blame for all (AA, RBF, JGS, PW), pp. 201–214.
CGO-2010-GottschlichVS #memory management #performance #transaction #using
An efficient software transactional memory using commit-time invalidation (JEG, MV, JGS), pp. 101–110.
GPCE-2010-MiaoS #incremental #metaprogramming
Incremental type-checking for type-reflective metaprograms (WM, JGS), pp. 167–176.
PEPM-2010-Siek #metalanguage
General purpose languages should be metalanguages (JGS), pp. 3–4.
Threesomes, with and without blame (JGS, PW), pp. 365–376.
ESOP-2009-SiekGT #design #higher-order
Exploring the Design Space of Higher-Order Casts (JGS, RG, WT), pp. 17–31.
ECOOP-2007-SiekT #type system
Gradual Typing for Objects (JGS, WT), pp. 2–27.
PEPM-2007-FogartyPST #exclamation #named
Concoqtion: indexed types now! (SF, EP, JGS, WT), pp. 112–121.
ECOOP-2006-SiekT #analysis #c++ #semantics
A Semantic Analysis of C++ Templates (JGS, WT), pp. 304–327.
OOPSLA-2006-GregorJSSRL #c++ #concept #named #programming
Concepts: linguistic support for generic programming in C++ (DG, JJ, JGS, BS, GDR, AL), pp. 291–310.
PLDI-2006-JarviGWLS #algorithm #c++ #challenge #programming
Algorithm specialization in generic programming: challenges of constrained generics in C++ (JJ, DG, JW, AL, JGS), pp. 272–282.
GPCE-2005-SiekL #library #requirements #scalability
Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.
GPCE-J-2005-SiekL11 #in the large #programming
A language for generic programming in the large (JGS, AL), pp. 423–465.
PLDI-2005-SiekL #programming
Essential language support for generic programming (JGS, AL), pp. 73–84.
OOPSLA-2003-GarciaJLSW #case study #comparative #programming
A comparative study of language support for generic programming (RG, JJ, AL, JGS, JW), pp. 115–134.
OOPSLA-1999-LeeSL #component #graph #library
The Generic Graph Component Library (LQL, JGS, AL), pp. 399–414.
OOPSLA-2017-BaumanBST #type system
Sound gradual typing: only mostly dead (SB, CFBT, JGS, STH), p. 24.
POPL-2016-CiminiS #algorithm #generative #type system
The gradualizer: a methodology and algorithm for generating gradual type systems (MC, JGS), pp. 443–455.
POPL-2017-CiminiS #automation #generative #semantics
Automatically generating the dynamic semantics of gradually typed languages (MC, JGS), pp. 789–803.
POPL-2017-VitousekSS #collaboration #runtime #type system
Big types in little runtime: open-world soundness and collaborative blame for gradual type systems (MMV, CS, JGS), pp. 762–774.
Gradually typed symbolic expressions (DB, JGS), pp. 15–29.
PLDI-2019-KuhlenschmidtAS #performance #towards #type system
Toward efficient gradual typing for structural types via coercions (AK, DA, JGS), pp. 517–532.
POPL-2019-CastagnaLPS #perspective #type system
Gradual typing: a new perspective (GC, VL, TP, JGS), p. 32.

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.