Jeremy G. Siek

According to our database1, Jeremy G. Siek authored at least 78 papers between 1998 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Programming language foundations in Agda.
Sci. Comput. Program., 2020

Toward a Mechanized Compendium of Gradual Typing.
CoRR, 2020

2019
Gradual typing: a new perspective.
Proc. ACM Program. Lang., 2019

Transitivity of Subtyping for Intersection Types.
CoRR, 2019

Toward efficient gradual typing for structural types via coercions.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Optimizing and evaluating transient gradual typing.
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages, 2019

2018
Efficient Gradual Typing.
CoRR, 2018

Gradually typed symbolic expressions.
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017
Sound gradual typing: only mostly dead.
Proc. ACM Program. Lang., 2017

Theorems for free for free: parametricity, with and without types.
Proc. ACM Program. Lang., 2017

Declarative semantics for functional languages: compositional, extensional, and elementary.
CoRR, 2017

Declarative Semantics for Functional Languages.
Arch. Formal Proofs, 2017

Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Automatically generating the dynamic semantics of gradually typed languages.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Challenges and progress toward efficient gradual typing (invited talk).
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23, 2017

2016
Gradual Typing in an Open World.
CoRR, 2016

Well-Typed Languages are Sound.
CoRR, 2016

The gradualizer: a methodology and algorithm for generating gradual type systems.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Fractional Permissions for Race-Free Mutable References in a Dataflow Intermediate Language.
Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

The Recursive Union of Some Gradual Types.
Proceedings of the A List of Successes That Can Change the World, 2016

2015
Reliable Generation of High-Performance Matrix Algebra.
ACM Trans. Math. Softw., 2015

Refined Criteria for Gradual Typing.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Blame and coercion: together again for the first time.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Pycket: a tracing JIT for a functional language.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Monotonic References for Efficient Gradual Typing.
Proceedings of the Programming Languages and Systems, 2015

2014
Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7).
NII Shonan Meet. Rep., 2014

Compile-time reflection and metaprogramming for Java.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Design and evaluation of gradual typing for python.
Proceedings of the DLS'14, 2014

2013
Monotonic References for Gradual Typing.
CoRR, 2013

Modular type-safety proofs in Agda.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2012
Modular Type-Safety Proofs using Dependant Types
CoRR, 2012

Effects for Funargs
CoRR, 2012

Well-Typed Islands Parse Faster.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Pattern-based traits.
Proceedings of the ACM Symposium on Applied Computing, 2012

19th international workshop on foundations of object-oriented languages (FOOL'12).
Proceedings of the Conference on Systems, 2012

Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Interpretations of the gradually-typed lambda calculus.
Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, 2012

Visualizing transactional memory.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011
Parallel memory prediction for fused linear algebra kernels.
SIGMETRICS Perform. Evaluation Rev., 2011

A language for generic programming in the large.
Sci. Comput. Program., 2011

Special issue on library-centric software design (LCSD 2006).
Sci. Comput. Program., 2011

Blame for all.
Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.
Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010
Understanding memory effects in the automated generation of optimized matrix algebra kernels.
Proceedings of the International Conference on Computational Science, 2010

The C++0x "Concepts" Effort.
Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Threesomes, with and without blame.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

General purpose languages should be metalanguages.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Incremental type-checking for type-reflective metaprograms.
Proceedings of the Generative Programming And Component Engineering, 2010

An efficient software transactional memory using commit-time invalidation.
Proceedings of the CGO 2010, 2010

2009
Automating the generation of composed linear algebra kernels.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2009

In Pursuit of Real Answers.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Generating Empirically Optimized Composed Matrix Kernels from MATLAB Prototypes.
Proceedings of the Computational Science, 2009

Exploring the Design Space of Higher-Order Casts.
Proceedings of the Programming Languages and Systems, 2009

An efficient lock-aware transactional memory implementation.
Proceedings of the 4th workshop on the Implementation, 2009

2008
Build to order linear algebra kernels.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Gradual typing with unification-based inference.
Proceedings of the 2008 Symposium on Dynamic Languages, 2008

2007
Improving the lazy Krivine machine.
High. Order Symb. Comput., 2007

An extended comparative study of language support for generic programming.
J. Funct. Program., 2007

Concoqtion: indexed types now!
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

Gradual Typing for Objects.
Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006
Algorithm specialization in generic programming: challenges of constrained generics in C++.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Concepts: linguistic support for generic programming in C++.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

LCSD: library-centric software design.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

A Semantic Analysis of C++ Templates.
Proceedings of the ECOOP 2006, 2006

2005
Essential language support for generic programming.
Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, 2005

Language Requirements for Large-Scale Generic Libraries.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
Modular generics.
Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2003
A comparative study of language support for generic programming.
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002
Concept-Based Component Libraries and Optimizing Compilers.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

The Boost Graph Library - User Guide and Reference Manual.
C++ in-depth series, Pearson / Prentice Hall, ISBN: 978-0-201-72914-6, 2002

1999
The Matrix Template Library: generic components for high-performance scientific computing.
Comput. Sci. Eng., 1999

The Generic Graph Component Library.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Generic Graph Algorithms for Sparse Matrix Ordering.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1999

1998
The Matrix Template Library: A Generic Programming Approach to High Performance Numerical Linear Algebra.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

A Rational Approach to Portable High Performance: The Basic Linear Algebra Instruction Set (BLAIS) and the Fixed Algorithm Size Template (FAST) Library.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The Matrix Template Library: A Unifying Framework for Numerical Linear Algebra.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998


  Loading...