Understanding expression simplification. - Jacques Carette (ISSAC, 2004)

Telescoping in the context of symbolic summation in Maple. - Sergei A. Abramov; Jacques Carette; Keith O. Geddes; Ha Q. Le (J. Symb. Comput., 2004)

Control-Flow Semantics for Assembly-Level Data-Flow Graphs. - Wolfram Kahl; Christopher Kumar Anand; Jacques Carette (RelMiCS, 2005)

Symbolic Interpretation of Legacy Assembly Language. - Jacques Carette; Pulak Kumar Chowdhury (WCRE, 2005)

Preface. - Jacques Carette; William M. Farmer (Calculemus, 2005)

Hierarchical Representations with Signatures for Large Expression Management. - Wenqin Zhou; Jacques Carette; David J. Jeffrey; Michael B. Monagan (AISC, 2006)

Bimonadic Semantics for Basic Pattern Matching Calculi. - Wolfram Kahl; Jacques Carette; Xiaoheng Ji (MPC, 2006)

Gaussian Elimination: A case study in efficient genericity with MetaOCaml. - Jacques Carette (Sci. Comput. Program., 2006)

Finally Tagless, Partially Evaluated. - Jacques Carette; Oleg Kiselyov; Chung-chieh Shan (APLAS, 2007)

A canonical form for piecewise defined functions. - Jacques Carette (ISSAC, 2007)

A Rational Reconstruction of a System for Experimental Mathematics. - Jacques Carette; William M. Farmer; Volker Sorge (Calculemus/MKM, 2007)

A canonical form for some piecewise defined functions - Jacques Carette (CoRR, 2007)

Computing Properties of Numerical Imperative Programs by Symbolic Computation. - Jacques Carette; Ryszard Janicki (Fundam. Informaticae, 2007)

High-Level Theories. - Jacques Carette; William M. Farmer (AISC/MKM/Calculemus, 2008)

Case Studies in Model Manipulation for Scientific Computing. - Jacques Carette; W. Spencer Smith; John McCutchan; Christopher Kumar Anand; Alexandre Korobkine (AISC/MKM/Calculemus, 2008)

A Review of Mathematical Knowledge Management. - Jacques Carette; William M. Farmer (Calculemus/MKM, 2009)

The Sparsity Challenges. - James Harold Davenport; Jacques Carette (SYNASC, 2009)

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. - Jacques Carette; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2009)

Mechanized Mathematics. - Jacques Carette (AISC/MKM/Calculemus, 2010)

Symbolic Domain Decomposition. - Jacques Carette; Alan P. Sexton; Volker Sorge; Stephen M. Watt (AISC/MKM/Calculemus, 2010)

The Power of Vocabulary: The Case of Cyclotomic Polynomials - Jacques Carette; James H. Davenport (CoRR, 2010)

Preface. - Jacques Carette; Makarius Wenzel; Freek Wiedijk (J. Autom. Reason., 2010)

MathScheme: Project Description. - Jacques Carette; William M. Farmer; Russell O'Connor (Calculemus/MKM, 2011)

A generative geometric kernel. - Jacques Carette; Mustafa Elsheikh; W. Spencer Smith (PEPM, 2011)

The MathScheme Library: Some Preliminary Experiments - Jacques Carette; William M. Farmer; Filip Jeremic; Vincent Maccio; Russell O'Connor; Quang M. Tran (CoRR, 2011)

SAGA: A DSL for Story Management - Lucas Beyak; Jacques Carette (DSL, 2011)

Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. - Jacques Carette (J. Funct. Program., 2011)

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. - Jacques Carette; Oleg Kiselyov (Sci. Comput. Program., 2011)

Partial evaluation of Maple. - Jacques Carette; Michael Kucera (Sci. Comput. Program., 2011)

Theory Presentation Combinators. - Jacques Carette; Russell O'Connor (AISC/MKM/Calculemus, 2012)

Towards typing for small-step direct reflection. - Jacques Carette; Aaron Stump (PEPM, 2012)

Function Substitution: Towards Constraint Solving in Software Testing. - Xin Feng; Simon Marr; Tony O'Callaghan; Zhi Quan Zhou 001; Jacques Carette (QSIC, 2012)

Diagetic vs. non-diagetic game displays. - Margaree Peacocke; Robert J. Teather; Jacques Carette (GEM, 2014)

Scale effects in "bullet hell" games. - Robert J. Teather; Manivanna Thevathasan; Jacques Carette (GEM, 2014)

Realms: A Structure for Consolidating Knowledge about Mathematical Theories. - Jacques Carette; William M. Farmer; Michael Kohlhase (CICM, 2014)

Workshop proposal: Game UI design, evaluation, and user research. - Pejman Mirza-Babaei; Naeem Moosajee; Robert J. Teather; Jacques Carette; Victoria McArthur (GEM, 2015)

Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games. - Margaree Peacocke; Robert J. Teather; Jacques Carette; I. Scott MacKenzie (GEM, 2015)

Effects of interior bezel size and configuration on gaming performance with large tiled displays. - Geneva Smith; Robert J. Teather; Jordan Lass; Jacques Carette (GEM, 2015)

Uniform vs. non-uniform scaling of shooter games on large displays. - Robert J. Teather; Jacques Carette; Manivanna Thevathasan (GEM, 2015)

Differences in Perspective and Software Scaling. - Graeme Browning; Robert J. Teather; Jacques Carette (SUI, 2015)

Effects of Bezel Size in Large Tiled Display Gaming. - Geneva Smith; Robert J. Teather; Jordan Lass; Jacques Carette (SUI, 2015)

Computing with Semirings and Weak Rig Groupoids. - Jacques Carette; Amr Sabry (ESOP, 2016)

Probabilistic Inference by Program Transformation in Hakaru (System Description). - Praveen Narayanan; Jacques Carette; Wren Romano; Chung-chieh Shan; Robert Zinkov (FLOPS, 2016)

A knowledge-based approach to scientific software development: position paper. - Dan Szymczak; W. Spencer Smith; Jacques Carette (SE4Science@ICSE, 2016)

Simplifying Probabilistic Programs Using Computer Algebra. - Jacques Carette; Chung-chieh Shan (PADL, 2016)

State of the practice for mesh generation and mesh processing software. - W. Spencer Smith; D. Adam Lazzarato; Jacques Carette (Adv. Eng. Softw., 2016)

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. - Jacques Carette; William M. Farmer (CICM, 2017)

HOL Light QE. - Jacques Carette; William M. Farmer; Patrick Laskowski (ITP, 2018)

Biform Theories: Project Description. - Jacques Carette; William M. Farmer; Yasmine Sharoda (CICM, 2018)

A Library of Reversible Circuit Transformations (Work in Progress). - Christian Hutslar; Jacques Carette; Amr Sabry (RC, 2018)

State of the Practice for GIS Software. - W. Spencer Smith; D. Adam Lazzarato; Jacques Carette (CoRR, 2018)

Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. - Spencer Smith 001; Yue Sun; Jacques Carette (CoRR, 2018)

Efficient compilation of array probabilistic programs. - Rajan Walia; Jacques Carette; Praveen Narayanan; Chung-chieh Shan; Sam Tobin-Hochstadt (CoRR, 2018)

Embracing the Laws of Physics: Three Reversible Models of Computation. - Jacques Carette; Roshan P. James; Amr Sabry (CoRR, 2018)

An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations. - Margaree Peacocke; Robert J. Teather; Jacques Carette; I. Scott MacKenzie; Victoria McArthur (Entertain. Comput., 2018)

From Reversible Programs to Univalent Universes and Back. - Jacques Carette; Chao-Hong Chen; Vikraman Choudhury; Amr Sabry (MFPS, 2018)

A language feature to unbundle data at will (short paper). - Musa Al-hassy; Jacques Carette; Wolfram Kahl (GPCE, 2019)

Towards Specifying Symbolic Computation. - Jacques Carette; William M. Farmer (CICM, 2019)

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. - Jacques Carette; William M. Farmer; Michael Kohlhase; Florian Rabe 001 (CoRR, 2019)

GOOL: A Generic Object-Oriented Language (extended version). - Jacques Carette; Brooks MacLachlan; W. Spencer Smith (CoRR, 2019)

From high-level inference algorithms to efficient code. - Rajan Walia; Praveen Narayanan; Jacques Carette; Sam Tobin-Hochstadt; Chung-chieh Shan (Proc. ACM Program. Lang., 2019)

Can Deep Learning Predict Problematic Gaming? - Qirui Wu; Jacques Carette (CoG, 2020)

Leveraging the Information Contained in Theory Presentations. - Jacques Carette; William M. Farmer; Yasmine Sharoda (CICM, 2020)

GOOL: a generic object-oriented language. - Jacques Carette; Brooks MacLachlan; Spencer Smith 001 (PEPM@POPL, 2020)

Fractional Types - Expressive and Safe Space Management for Ancilla Bits. - Chao-Hong Chen; Vikraman Choudhury; Jacques Carette; Amr Sabry (RC, 2020)

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. - Katja Bercic; Jacques Carette; William M. Farmer; Michael Kohlhase; Dennis Müller 001; Florian Rabe 001; Yasmine Sharoda (CoRR, 2020)

Proof-relevant Category Theory in Agda. - Jason Z. S. Hu; Jacques Carette (CoRR, 2020)

Long-term Productivity for Long-term Impact. - Spencer Smith 001; Jacques Carette (CoRR, 2020)

Types for Players. - Jacques Carette; Sasha Soraine (AIIDE Workshops, 2021)

Formalizing category theory in Agda. - Jason Z. S. Hu; Jacques Carette (CPP, 2021)

A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. - William J. DeMeo; Jacques Carette (TYPES, 2021)

Methodology for Assessing the State of the Practice for Domain X. - W. Spencer Smith; Jacques Carette; Peter Michalski; Ao Dong; Olu Owojaiye (CoRR, 2021)

Long-Term Productivity Based on Science, not Preference. - Spencer Smith 001; Jacques Carette (CoRR, 2021)

Chapter Two - Embracing the laws of physics: Three reversible models of computation. - Jacques Carette; Roshan P. James; Amr Sabry (Adv. Comput., 2022)

Retrodictive Quantum Computing. - Jacques Carette; Gerardo Ortiz; Amr Sabry (CoRR, 2022)

What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion. - Geneva Smith; Jacques Carette (IEEE Trans. Affect. Comput., 2022)

Generating Software for Well-Understood Domains. - Jacques Carette; W. Spencer Smith; Jason Balaci (Eelco Visser Commemorative Symposium, 2023)

Eelco Visser as a Founding Member of the IFIP WG 2.11. - Christian Lengauer; Jacques Carette (Eelco Visser Commemorative Symposium, 2023)

Symbolic Execution of Hadamard-Toffoli Quantum Circuits. - Jacques Carette; Gerardo Ortiz; Amr Sabry (PEPM@POPL, 2023)

The Quantum Effect: A Recipe for QuantumPi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

With a Few Square Roots, Quantum Computing is as Easy as Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

Compositional Reversible Computation. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (RC, 2024)

State of the Practice for Medical Imaging Software. - W. Spencer Smith; Ao Dong; Jacques Carette; Michael D. Noseworthy (CoRR, 2024)

How to Bake a Quantum Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

With a Few Square Roots, Quantum Computing Is as Easy as Pi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

The Many Views of Game-Related Experiences with the Experiential Tetrad. - Sasha Soraine; Jacques Carette (FDG, 2025)