Jacques Carette

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 53

Top Topics

Software Development

Probabilistic Inference

Computational Models

Symbolic Execution

Top Venues

Publications

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. RC (2024)
W. Spencer Smith, Ao Dong, Jacques Carette, Michael D. Noseworthy
State of the Practice for Medical Imaging Software. CoRR (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. CoRR (2024)
Jacques Carette, W. Spencer Smith, Jason Balaci
Generating Software for Well-Understood Domains. Eelco Visser Commemorative Symposium (2023)
Jacques Carette, W. Spencer Smith, Jason Balaci
Generating Software for Well-Understood Domains. CoRR (2023)
Jacques Carette, Gerardo Ortiz, Amr Sabry
Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
The Quantum Effect: A Recipe for QuantumPi. CoRR (2023)
Christian Lengauer, Jacques Carette
Eelco Visser as a Founding Member of the IFIP WG 2.11. Eelco Visser Commemorative Symposium (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR (2023)
Geneva Smith, Jacques Carette
What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion. IEEE Trans. Affect. Comput. 13 (4) (2022)
Jacques Carette, Roshan P. James, Amr Sabry
Chapter Two - Embracing the laws of physics: Three reversible models of computation. Adv. Comput. 126 (2022)
Jacques Carette, Gerardo Ortiz, Amr Sabry
Retrodictive Quantum Computing. CoRR (2022)
Jacques Carette, Sasha Soraine
Types for Players. AIIDE Workshops (2021)
Spencer Smith, Jacques Carette
Long-Term Productivity Based on Science, not Preference. CoRR (2021)
Jason Z. S. Hu, Jacques Carette
Formalizing category theory in Agda. CPP (2021)
William J. DeMeo, Jacques Carette
A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. TYPES (2021)
W. Spencer Smith, Jacques Carette, Peter Michalski, Ao Dong, Olu Owojaiye
Methodology for Assessing the State of the Practice for Domain X. CoRR (2021)
Jacques Carette, Brooks MacLachlan, Spencer Smith
GOOL: a generic object-oriented language. PEPM@POPL (2020)
Qirui Wu, Jacques Carette
Can Deep Learning Predict Problematic Gaming? CoG (2020)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CoRR (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC (2020)
Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR (2020)
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR (2020)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Leveraging the Information Contained in Theory Presentations. CICM (2020)
Spencer Smith, Jacques Carette
Long-term Productivity for Long-term Impact. CoRR (2020)
Jason Z. S. Hu, Jacques Carette
Proof-relevant Category Theory in Agda. CoRR (2020)
Jacques Carette, William M. Farmer
Towards Specifying Symbolic Computation. CICM (2019)
Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan
From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR (2019)
Jacques Carette, William M. Farmer
Towards Specifying Symbolic Computation. CoRR (2019)
Jacques Carette, Brooks MacLachlan, W. Spencer Smith
GOOL: A Generic Object-Oriented Language (extended version). CoRR (2019)
Musa Al-hassy, Jacques Carette, Wolfram Kahl
A language feature to unbundle data at will (short paper). GPCE (2019)
Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
Efficient compilation of array probabilistic programs. CoRR (2018)
W. Spencer Smith, D. Adam Lazzarato, Jacques Carette
State of the Practice for GIS Software. CoRR (2018)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. MFPS (2018)
Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie, Victoria McArthur
An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations. Entertain. Comput. 26 (2018)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CICM (2018)
Jacques Carette, Roshan P. James, Amr Sabry
Embracing the Laws of Physics: Three Reversible Models of Computation. CoRR (2018)
Jacques Carette, William M. Farmer, Yasmine Sharoda
Biform Theories: Project Description. CoRR (2018)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators. CoRR (2018)
Jacques Carette, William M. Farmer, Patrick Laskowski
HOL Light QE. ITP (2018)
Jacques Carette, William M. Farmer, Patrick Laskowski
HOL Light QE. CoRR (2018)
Christian Hutslar, Jacques Carette, Amr Sabry
A Library of Reversible Circuit Transformations (Work in Progress). RC (2018)
Spencer Smith, Yue Sun, Jacques Carette
Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR (2018)
Jacques Carette, William M. Farmer
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CoRR (2017)
Jacques Carette, William M. Farmer
Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CICM (2017)
Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
From Reversible Programs to Univalent Universes and Back. CoRR (2017)
Jacques Carette, Chung-chieh Shan
Simplifying Probabilistic Programs Using Computer Algebra. PADL (2016)
Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov
Probabilistic Inference by Program Transformation in Hakaru (System Description). FLOPS (2016)
Dan Szymczak, W. Spencer Smith, Jacques Carette
A knowledge-based approach to scientific software development: position paper. SE4Science@ICSE (2016)
W. Spencer Smith, D. Adam Lazzarato, Jacques Carette
State of the practice for mesh generation and mesh processing software. Adv. Eng. Softw. 100 (2016)
Jacques Carette, Amr Sabry
Computing with Semirings and Weak Rig Groupoids. ESOP (2016)
Graeme Browning, Robert J. Teather, Jacques Carette
Differences in Perspective and Software Scaling. SUI (2015)
Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette
Effects of interior bezel size and configuration on gaming performance with large tiled displays. GEM (2015)
Pejman Mirza-Babaei, Naeem Moosajee, Robert J. Teather, Jacques Carette, Victoria McArthur
Workshop proposal: Game UI design, evaluation, and user research. GEM (2015)
Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie
Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games. GEM (2015)
Robert J. Teather, Jacques Carette, Manivanna Thevathasan
Uniform vs. non-uniform scaling of shooter games on large displays. GEM (2015)
Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette
Effects of Bezel Size in Large Tiled Display Gaming. SUI (2015)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM (2014)
Robert J. Teather, Manivanna Thevathasan, Jacques Carette
Scale effects in "bullet hell" games. GEM (2014)
Jacques Carette, William M. Farmer, Michael Kohlhase
Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR (2014)
Margaree Peacocke, Robert J. Teather, Jacques Carette
Diagetic vs. non-diagetic game displays. GEM (2014)
Jacques Carette, Aaron Stump
Towards typing for small-step direct reflection. PEPM (2012)
Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette
Function Substitution: Towards Constraint Solving in Software Testing. QSIC (2012)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators. AISC/MKM/Calculemus (2012)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators CoRR (2012)
Jacques Carette, Oleg Kiselyov
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. 76 (5) (2011)
Jacques Carette, Mustafa Elsheikh, W. Spencer Smith
A generative geometric kernel. PEPM (2011)
Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran
The MathScheme Library: Some Preliminary Experiments CoRR (2011)
Jacques Carette, William M. Farmer, Russell O'Connor
MathScheme: Project Description. Calculemus/MKM (2011)
Jacques Carette, Michael Kucera
Partial evaluation of Maple. Sci. Comput. Program. 76 (6) (2011)
Lucas Beyak, Jacques Carette
SAGA: A DSL for Story Management DSL (2011)
Jacques Carette
, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. J. Funct. Program. 21 (6) (2011)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. AISC/MKM/Calculemus (2010)
Jacques Carette, Makarius Wenzel, Freek Wiedijk
Preface. J. Autom. Reason. 44 (1-2) (2010)
Jacques Carette
Mechanized Mathematics. AISC/MKM/Calculemus (2010)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. CoRR (2010)
Jacques Carette, James H. Davenport
The Power of Vocabulary: The Case of Cyclotomic Polynomials CoRR (2010)
James Harold Davenport, Jacques Carette
The Sparsity Challenges. SYNASC (2009)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. 19 (5) (2009)
Jacques Carette, William M. Farmer
A Review of Mathematical Knowledge Management. Calculemus/MKM (2009)
Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine
Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus (2008)
Jacques Carette, William M. Farmer
High-Level Theories. AISC/MKM/Calculemus (2008)
Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
Finally Tagless, Partially Evaluated. APLAS (2007)
Jacques Carette, Ryszard Janicki
Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Informaticae 80 (1-3) (2007)
Jacques Carette, Michael Kucera
Partial evaluation of Maple. PEPM (2007)
Jacques Carette
A canonical form for piecewise defined functions. ISSAC (2007)
Jacques Carette
A canonical form for some piecewise defined functions CoRR (2007)
Jacques Carette, William M. Farmer, Volker Sorge
A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM (2007)
Jacques Carette
Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. 62 (1) (2006)
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
Hierarchical Representations with Signatures for Large Expression Management. AISC (2006)
Wolfram Kahl, Jacques Carette, Xiaoheng Ji
Bimonadic Semantics for Basic Pattern Matching Calculi. MPC (2006)
Jacques Carette, William M. Farmer
Preface. Calculemus (2005)
Jacques Carette, Pulak Kumar Chowdhury
Symbolic Interpretation of Legacy Assembly Language. WCRE (2005)
Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS (2005)
Jacques Carette, Oleg Kiselyov
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE (2005)
Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le
Telescoping in the context of symbolic summation in Maple. J. Symb. Comput. 38 (4) (2004)
Jacques Carette
Understanding expression simplification. ISSAC (2004)