| 2026 | ITP | Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages. | Reed Mullanix, Jacques Carette |
| 2025 | FDG | The Many Views of Game-Related Experiences with the Experiential Tetrad. | Sasha Soraine, Jacques Carette |
| 2024 | RC | Compositional Reversible Computation. | Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry |
| 2023 | PEPM | Symbolic Execution of Hadamard-Toffoli Quantum Circuits. | Jacques Carette, Gerardo Ortiz, Amr Sabry |
| 2021 | CPP | Formalizing category theory in Agda. | Jason Z. S. Hu, Jacques Carette |
| 2020 | PEPM | GOOL: a generic object-oriented language. | Jacques Carette, Brooks MacLachlan, Spencer Smith |
| 2020 | RC | Fractional Types - Expressive and Safe Space Management for Ancilla Bits. | Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry |
| 2019 | GPCE | A language feature to unbundle data at will (short paper). | Musa Al-hassy, Jacques Carette, Wolfram Kahl |
| 2018 | ITP | HOL Light QE. | Jacques Carette, William M. Farmer, Patrick Laskowski |
| 2018 | RC | A Library of Reversible Circuit Transformations (Work in Progress). | Christian Hutslar, Jacques Carette, Amr Sabry |
| 2016 | ESOP | Computing with Semirings and Weak Rig Groupoids. | Jacques Carette, Amr Sabry |
| 2016 | FLOPS | Probabilistic Inference by Program Transformation in Hakaru (System Description). | Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov |
| 2016 | ICSE | A knowledge-based approach to scientific software development: position paper. | Dan Szymczak, W. Spencer Smith, Jacques Carette |
| 2016 | PADL | Simplifying Probabilistic Programs Using Computer Algebra. | Jacques Carette, Chung-chieh Shan |
| 2012 | AISC | Theory Presentation Combinators. | Jacques Carette, Russell O'Connor |
| 2012 | PEPM | Towards typing for small-step direct reflection. | Jacques Carette, Aaron Stump |
| 2011 | PEPM | A generative geometric kernel. | Jacques Carette, Mustafa Elsheikh, W. Spencer Smith |
| 2010 | AISC | Mechanized Mathematics. | Jacques Carette |
| 2010 | AISC | Symbolic Domain Decomposition. | Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt |
| 2009 | SYNASC | The Sparsity Challenges. | James Harold Davenport, Jacques Carette |
| 2008 | AISC | High-Level Theories. | Jacques Carette, William M. Farmer |
| 2008 | AISC | Case Studies in Model Manipulation for Scientific Computing. | Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine |
| 2007 | APLAS | Finally Tagless, Partially Evaluated. | Jacques Carette, Oleg Kiselyov, Chung-chieh Shan |
| 2007 | ISSAC | A canonical form for piecewise defined functions. | Jacques Carette |
| 2007 | PEPM | Partial evaluation of Maple. | Jacques Carette, Michael Kucera |
| 2006 | AISC | Hierarchical Representations with Signatures for Large Expression Management. | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
| 2006 | MPC | Bimonadic Semantics for Basic Pattern Matching Calculi. | Wolfram Kahl, Jacques Carette, Xiaoheng Ji |
| 2005 | GPCE | Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. | Jacques Carette, Oleg Kiselyov |
| 2004 | ISSAC | Understanding expression simplification. | Jacques Carette |