Jeremy G. Siek

Affiliations: 
Electrical Engineering University of Colorado, Boulder, Boulder, CO, United States 
Area:
Computer Engineering, Computer Science
Google:
"Jeremy Siek"

Parents

Sign in to add mentor
Andrew Lumsdaine grad student 2005 Indiana University (Computer Science Tree)
 (A language for generic programming.)

Children

Sign in to add trainee
Justin E. Gottschlich grad student 2011 CU Boulder
Geoffrey D. Belter grad student 2012 CU Boulder
Weiyu Miao grad student 2013 CU Boulder
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Cimini M, Siek JG. (2016) The Gradualizer: A methodology and algorithm for generating gradual type systems Acm Sigplan Notices. 51: 443-455
Siek JG, Tobin-Hochstadt S. (2016) The recursive union of some gradual types Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9600: 388-410
Siek JG, Vitousek MM, Cimini M, et al. (2015) Refined criteria for gradual typing Leibniz International Proceedings in Informatics, Lipics. 32: 274-293
Bauman S, Bolz CF, Hirschfeld R, et al. (2015) Pycket: A tracing JIT for a functional language Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 2015: 22-34
Vitousek MM, Kent AM, Siek JG, et al. (2015) Design and evaluation of gradual typing for python Acm Sigplan Notices. 50: 45-56
Nelson T, Belter G, Siek JG, et al. (2015) Reliable generation of high-performance matrix algebra Acm Transactions On Mathematical Software. 41
Siek JG, Vitousek MM, Cimini M, et al. (2015) Monotonic references for efficient gradual typing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9032: 432-456
Schwaab C, Siek JG. (2013) Modular type-safety proofs in agda Plpv 2013 - Proceedings of the 2013 Acm Sigplan Workshop On Programming Languages Meets Program Verification, Co-Located With Popl 2013. 3-12
Siek JG, Garcia R. (2012) Interpretations of the gradually-typed lambda calculus Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 68-80
Gottschlich JE, Herlihy MP, Pokam GA, et al. (2012) Visualizing transactional memory Parallel Architectures and Compilation Techniques - Conference Proceedings, Pact. 159-170
See more...