102 Publications (Page 2 of 5)
2016
The recursive union of some gradual types
Siek, J.G. and Tobin-Hochstadt, S.
2016
 
Well-Typed Languages are Sound
Cimini, Matteo⋅Miller, Dale and Siek, Jeremy G
2016-11-15. | Journal Article
 
Well-Typed Languages are Sound
Cimini, Matteo⋅Miller, Dale and Siek, Jeremy G
2016-11-15. | Journal Article
 
Well-Typed Languages are Sound
Cimini, Matteo⋅Miller, Dale and Siek, Jeremy G
2016-11-15. | Journal Article
2015
Blame and coercion: together again for the first time
Siek, Jeremy⋅Thiemann, Peter and Wadler, Philip
ACM SIGPLAN Notices, vol. 50, (no. 6), pp. 435, 2015-06-03. | Journal Article
 
Blame and coercion: Together again for the first time
Siek, J.⋅Thiemann, P. and Wadler, P.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), vol. 2015-June, pp. 425-435. | Conference Proceeding
 
Design and evaluation of gradual typing for python
Vitousek, M.M.⋅Kent, A.M.⋅Siek, J.G. and Baker, J.
ACM SIGPLAN Notices, vol. 50, pp. 45-56. | Journal Article
 
Monotonic references for efficient gradual typing
Siek, J.G.⋅Vitousek, M.M.⋅Cimini, M.⋅Tobin-Hochstadt, S. and Garcia, R.
2015
 
Pycket: a tracing JIT for a functional language
Bauman, 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, Sam
ACM SIGPLAN Notices, vol. 50, (no. 9), pp. 34, 2015-08-29. | Journal Article
 
Pycket: A tracing JIT for a functional language
Bauman, S.⋅Bolz, C.F.⋅Hirschfeld, R.⋅Kirilichev, V.⋅Pape, T.⋅Siek, J.G. and Tobin-Hochstadt, S.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, vol. 2015-August, pp. 22-34. | Conference Proceeding
 
Refined criteria for gradual typing
Siek, J.G.⋅Vitousek, M.M.⋅Cimini, M. and Boyland, J.T.
Leibniz International Proceedings in Informatics, LIPIcs, vol. 32, pp. 274-293. | Conference Proceeding
 
Reliable generation of high-performance matrix algebra
Nelson, T.⋅Nelson, Thomas⋅Nelson, Thomas⋅Belter, G.⋅Belter, Geoffrey⋅Belter, Geoffrey⋅Siek, Jeremy⋅Siek, Jeremy⋅Siek, J.G.⋅Jessup, Elizabeth⋅Jessup, Elizabeth⋅Jessup, E.⋅Norris, B.⋅Norris, Boyana and Norris, Boyana
ACM Transactions on Mathematical Software, vol. 41. | Journal Article
2014
Compile-time reflection and metaprogramming for Java
Miao, W. and Siek, J.
PEPM 2014 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2014, pp. 27-37. | Conference Proceeding
 
Region-based memory management for GPU programming languages
Holk, Eric⋅Holk, Eric⋅Holk, Eric⋅Newton, Ryan⋅Newton, Ryan⋅Newton, Ryan⋅Siek, Jeremy⋅Siek, Jeremy⋅Siek, Jeremy⋅Lumsdaine, Andrew⋅Lumsdaine, Andrew and Lumsdaine, Andrew
ACM SIGPLAN Notices, vol. 49, (no. 10), pp. 155, 2014-10-15. | Journal Article
 
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
Holk, E.⋅Newton, R.⋅Siek, J. and Lumsdaine, A.
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, pp. 141-155. | Conference Proceeding
2013
Modular type-safety proofs in agda
Schwaab, C. and Siek, J.G.
PLPV 2013 - Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2013, pp. 3-12. | Conference Proceeding
 
Monotonic References for Gradual Typing
Siek, Jeremy G and Vitousek, Michael M
2013-12-02. | Journal Article
 
Well-typed islands parse faster
Silkensen, E. and Siek, J.
2013
2012
19th international workshop on foundations of object-oriented languages (FOOL’12) workshop summary
Aldrich, J.⋅Aldrich, J.⋅Siek, J.⋅Siek, J.⋅Boyland, J. and Boyland, J.
SPLASH’12 - Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity, pp. 233-234. | Conference Proceeding
 
Interpretations of the gradually-typed lambda calculus
Siek, J.G. and Garcia, R.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, pp. 68-80. | Conference Proceeding
 
Measuring enforcement windows with symbolic trace interpretation: What well-behaved programs say
Coughlin, D.⋅Chang, B.-Y.E.⋅Diwan, A. and Siek, J.G.
2012 International Symposium on Software Testing and Analysis, ISSTA 2012 - Proceedings, pp. 276-286. | Conference Proceeding
 
Pattern-based traits
Miao, W. and Siek, J.
Proceedings of the ACM Symposium on Applied Computing, pp. 1729-1736. | Conference Proceeding
 
The C++0x "concepts" effort
Siek, J.G.
2012
 
Visualizing transactional memory
Gottschlich, J.E.⋅Herlihy, M.P.⋅Pokam, G.A. and Siek, J.G.
Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp. 159-170. | Conference Proceeding
2011
2011 international workshop on foundations of object-oriented languages (FOOL’11)-SPLASH/OOPSLA’11 workshop summary
Aldrich, J.⋅Aldrich, J.⋅Siek, J.⋅Siek, J.⋅Zucca, E. and Zucca, E.
SPLASH’11 Compilation - Proceedings of OOPSLA’11, Onward! 2011, GPCE’11, DLS’11, and SPLASH’11 Companion, pp. 319-320. | Conference Proceeding