Contact

All Stories

  1. Quest Complete: The Holy Grail of Gradual Security

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  2. Extrinsically typed operational semantics for functional languages

    Article • November 2020, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  3. Optimizing and evaluating transient gradual typing

    Article • October 2019, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  4. Toward efficient gradual typing for structural types via coercions

    Article • June 2019, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  5. Gradual typing: a new perspective

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  6. Gradually typed symbolic expressions

    Article • January 2018, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  7. Challenges and progress toward efficient gradual typing (invited talk)

    Article • ACM SIGPLAN Notices, December 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  8. Sound gradual typing: only mostly dead

    Article • Proceedings of the ACM on Programming Languages, October 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  9. Theorems for free for free: parametricity, with and without types

    Article • Proceedings of the ACM on Programming Languages, August 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

  10. Automatically generating the dynamic semantics of gradually typed languages

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  11. Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

    Article • ACM SIGPLAN Notices, May 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  12. Automatically generating the dynamic semantics of gradually typed languages

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  13. Big types in little runtime: open-world soundness and collaborative blame for gradual type systems

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  14. Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language

    Article • January 2016, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  15. The gradualizer: a methodology and algorithm for generating gradual type systems

    Article • January 2016, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  16. The Recursive Union of Some Gradual Types

    Article • January 2016, Springer Science + Business Media

    Professor Jeremy Graham Siek

  17. Pycket: a tracing JIT for a functional language

    Article • ACM SIGPLAN Notices, December 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  18. Pycket: a tracing JIT for a functional language

    Article • August 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  19. Blame and coercion: together again for the first time

    Article • ACM SIGPLAN Notices, August 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

  20. Blame and coercion: together again for the first time

    Article • June 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek, Professor Philip Wadler

  21. Reliable Generation of High-Performance Matrix Algebra

    Article • ACM Transactions on Mathematical Software, June 2015, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  22. Monotonic References for Efficient Gradual Typing

    Article • January 2015, Springer Science + Business Media

    Professor Jeremy Graham Siek

  23. Design and evaluation of gradual typing for python

    Article • January 2014, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  24. Compile-time reflection and metaprogramming for Java

    Article • January 2014, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  25. Region-based memory management for GPU programming languages

    Article • January 2014, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  26. Modular type-safety proofs in Agda

    Article • January 2013, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  27. Well-Typed Islands Parse Faster

    Article • January 2013, Springer Science + Business Media

    Professor Jeremy Graham Siek

  28. 19th international workshop on foundations of object-oriented languages (FOOL'12)

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  29. Interpretations of the gradually-typed lambda calculus

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  30. Pattern-based traits

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  31. The C++0x “Concepts” Effort

    Article • January 2012, Springer Science + Business Media

    Professor Jeremy Graham Siek

  32. Visualizing transactional memory

    Article • January 2012, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  33. A language for generic programming in the large

    Article • Science of Computer Programming, May 2011, Elsevier

    Professor Jeremy Graham Siek

  34. Special issue on library-centric software design (LCSD 2006)

    Article • Science of Computer Programming, April 2011, Elsevier

    Professor Jeremy Graham Siek

  35. Blame for all

    Article • ACM SIGPLAN Notices, January 2011, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  36. Incremental type-checking for type-reflective metaprograms

    Article • ACM SIGPLAN Notices, January 2011, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  37. 2011 international workshop on foundations of object-oriented languages (fool'11)

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  38. Blame for all

    Article • January 2011, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  39. Understanding memory effects in the automated generation of optimized matrix algebra kernels

    Article • Procedia Computer Science, May 2010, Elsevier

    Professor Jeremy Graham Siek

  40. 2010 international workshop on foundations of object-oriented languages (FOOL'10)

    Article • January 2010, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  41. An efficient software transactional memory using commit-time invalidation

    Article • January 2010, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  42. Incremental type-checking for type-reflective metaprograms

    Article • January 2010, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  43. Threesomes, with and without blame

    Article • January 2010, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  44. An efficient lock-aware transactional memory implementation

    Article • January 2009, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  45. Automating the generation of composed linear algebra kernels

    Article • January 2009, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  46. Exploring the Design Space of Higher-Order Casts

    Article • January 2009, Springer Science + Business Media

    Professor Jeremy Graham Siek

  47. Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes

    Article • January 2009, Springer Science + Business Media

    Professor Jeremy Graham Siek

  48. In Pursuit of Real Answers

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jeremy Graham Siek

  49. Threesomes, with and without blame

    Article • January 2009, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  50. Build to order linear algebra kernels

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jeremy Graham Siek

  51. Gradual typing with unification-based inference

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  52. Improving the lazy Krivine machine

    Article • Higher-Order and Symbolic Computation, October 2007, Springer Science + Business Media

    Professor Jeremy Graham Siek

  53. An extended comparative study of language support for generic programming

    Article • Journal of Functional Programming, March 2007, Cambridge University Press

    Professor Jeremy Graham Siek

  54. Concoqtion

    Article • January 2007, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  55. Concepts

    Article • ACM SIGPLAN Notices, October 2006, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  56. Algorithm specialization in generic programming

    Article • ACM SIGPLAN Notices, June 2006, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  57. Concepts

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  58. LCSD

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  59. Essential language support for generic programming

    Article • ACM SIGPLAN Notices, June 2005, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  60. Language Requirements for Large-Scale Generic Libraries

    Article • January 2005, Springer Science + Business Media

    Professor Jeremy Graham Siek

  61. Modular generics

    Article • January 2004, ACM (Association for Computing Machinery)

    Professor Jeremy Graham Siek

  62. Concept-based component libraries and optimizing compilers

    Article • January 2002, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Jeremy Graham Siek