Jacques Carette

According to our database, Jacques Carette authored at least 82 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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., January, 2024

2023

With a Few Square Roots, Quantum Computing is as Easy as Π.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

The Quantum Effect: A Recipe for QuantumPi.

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

CoRR, 2023

Symbolic Execution of Hadamard-Toffoli Quantum Circuits.

Jacques Carette, Gerardo Ortiz, Amr Sabry

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

Eelco Visser as a Founding Member of the IFIP WG 2.11.

Christian Lengauer, Jacques Carette

Proceedings of the Eelco Visser Commemorative Symposium, 2023

Generating Software for Well-Understood Domains.

Jacques Carette, W. Spencer Smith, Jason Balaci

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion.

Geneva Smith, Jacques Carette

IEEE Trans. Affect. Comput., 2022

Retrodictive Quantum Computing.

Jacques Carette, Gerardo Ortiz, Amr Sabry

CoRR, 2022

Chapter Two - Embracing the laws of physics: Three reversible models of computation.

Jacques Carette, Roshan P. James, Amr Sabry

Adv. Comput., 2022

2021

Long-Term Productivity Based on Science, not Preference.

Spencer Smith, Jacques Carette

CoRR, 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

A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory.

William J. DeMeo, Jacques Carette

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Formalizing category theory in Agda.

Jason Z. S. Hu, Jacques Carette

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

Types for Players.

Jacques Carette, Sasha Soraine

Proceedings of the Joint Proceedings of the AIIDE 2021 Workshops co-located with 17th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2021)(AAAI 2021), 2021

2020

Long-term Productivity for Long-term Impact.

Spencer Smith, Jacques Carette

CoRR, 2020

Proof-relevant Category Theory in Agda.

Jason Z. S. Hu, Jacques Carette

CoRR, 2020

The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems.

Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda

CoRR, 2020

Fractional Types - Expressive and Safe Space Management for Ancilla Bits.

Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 12th International Conference, 2020

GOOL: a generic object-oriented language.

Jacques Carette, Brooks MacLachlan, Spencer Smith

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2020

Leveraging the Information Contained in Theory Presentations.

Jacques Carette, William M. Farmer, Yasmine Sharoda

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Can Deep Learning Predict Problematic Gaming?

Qirui Wu, Jacques Carette

Proceedings of the IEEE Conference on Games, 2020

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

GOOL: A Generic Object-Oriented Language (extended version).

Jacques Carette, Brooks MacLachlan, W. Spencer Smith

CoRR, 2019

Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal.

Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe

CoRR, 2019

Towards Specifying Symbolic Computation.

Jacques Carette, William M. Farmer

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

A language feature to unbundle data at will (short paper).

Musa Al-hassy, Jacques Carette, Wolfram Kahl

Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2018

From Reversible Programs to Univalent Universes and Back.

Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 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

Embracing the Laws of Physics: Three Reversible Models of Computation.

Jacques Carette, Roshan P. James, Amr Sabry

CoRR, 2018

Efficient compilation of array probabilistic programs.

Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt

CoRR, 2018

Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities.

Spencer Smith, Yue Sun, Jacques Carette

CoRR, 2018

State of the Practice for GIS Software.

W. Spencer Smith, D. Adam Lazzarato, Jacques Carette

CoRR, 2018

A Library of Reversible Circuit Transformations (Work in Progress).

Christian Hutslar, Jacques Carette, Amr Sabry

Proceedings of the Reversible Computation - 10th International Conference, 2018

Biform Theories: Project Description.

Jacques Carette, William M. Farmer, Yasmine Sharoda

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

HOL Light QE.

Jacques Carette, William M. Farmer, Patrick Laskowski

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study.

Jacques Carette, William M. Farmer

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

2016

State of the practice for mesh generation and mesh processing software.

W. Spencer Smith, D. Adam Lazzarato, Jacques Carette

Adv. Eng. Softw., 2016

Simplifying Probabilistic Programs Using Computer Algebra.

Jacques Carette, Chung-chieh Shan

Proceedings of the Practical Aspects of Declarative Languages, 2016

A knowledge-based approach to scientific software development: position paper.

Dan Szymczak, W. Spencer Smith, Jacques Carette

Proceedings of the International Workshop on Software Engineering for Science, 2016

Probabilistic Inference by Program Transformation in Hakaru (System Description).

Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Computing with Semirings and Weak Rig Groupoids.

Jacques Carette, Amr Sabry

Proceedings of the Programming Languages and Systems, 2016

2015

Effects of Bezel Size in Large Tiled Display Gaming.

Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette

Proceedings of the 3rd ACM Symposium on Spatial User Interaction, 2015

Differences in Perspective and Software Scaling.

Graeme Browning, Robert J. Teather, Jacques Carette

Proceedings of the 3rd ACM Symposium on Spatial User Interaction, 2015

Uniform vs. non-uniform scaling of shooter games on large displays.

Robert J. Teather, Jacques Carette, Manivanna Thevathasan

Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015

Effects of interior bezel size and configuration on gaming performance with large tiled displays.

Geneva Smith, Robert J. Teather, Jordan Lass, Jacques Carette

Proceedings of the 2015 IEEE Games Entertainment Media Conference, 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

Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015

Workshop proposal: Game UI design, evaluation, and user research.

Pejman Mirza-Babaei, Naeem Moosajee, Robert J. Teather, Jacques Carette, Victoria McArthur

Proceedings of the 2015 IEEE Games Entertainment Media Conference, 2015

2014

Realms: A Structure for Consolidating Knowledge about Mathematical Theories.

Jacques Carette, William M. Farmer, Michael Kohlhase

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Scale effects in "bullet hell" games.

Robert J. Teather, Manivanna Thevathasan, Jacques Carette

Proceedings of the 2014 IEEE Games Media Entertainment, 2014

Diagetic vs. non-diagetic game displays.

Margaree Peacocke, Robert J. Teather, Jacques Carette

Proceedings of the 2014 IEEE Games Media Entertainment, 2014

2012

Function Substitution: Towards Constraint Solving in Software Testing.

Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Towards typing for small-step direct reflection.

Jacques Carette, Aaron Stump

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

Theory Presentation Combinators.

Jacques Carette, Russell O'Connor

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Partial evaluation of Maple.

Jacques Carette, Michael Kucera

Sci. Comput. Program., 2011

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.

Jacques Carette, Oleg Kiselyov

Sci. Comput. Program., 2011

<i>Handbook of Practical Logic and Automated Reasoning</i>, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574.

Jacques Carette

J. Funct. Program., 2011

SAGA: A DSL for Story Management

Lucas Beyak, Jacques Carette

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

The MathScheme Library: Some Preliminary Experiments

Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran

CoRR, 2011

A generative geometric kernel.

Jacques Carette, Mustafa Elsheikh, W. Spencer Smith

Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2011

MathScheme: Project Description.

Jacques Carette, William M. Farmer, Russell O'Connor

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Preface.

Jacques Carette, Makarius Wenzel, Freek Wiedijk

J. Autom. Reason., 2010

The Power of Vocabulary: The Case of Cyclotomic Polynomials

Jacques Carette, James H. Davenport

CoRR, 2010

Symbolic Domain Decomposition.

Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

Mechanized Mathematics.

Jacques Carette

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages.

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan

J. Funct. Program., 2009

The Sparsity Challenges.

James Harold Davenport, Jacques Carette

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

A Review of Mathematical Knowledge Management.

Jacques Carette, William M. Farmer

Proceedings of the Intelligent Computer Mathematics, 2009

2008

Case Studies in Model Manipulation for Scientific Computing.

Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

High-Level Theories.

Jacques Carette, William M. Farmer

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Computing Properties of Numerical Imperative Programs by Symbolic Computation.

Jacques Carette, Ryszard Janicki

Fundam. Informaticae, 2007

A canonical form for some piecewise defined functions

Jacques Carette

CoRR, 2007

A Rational Reconstruction of a System for Experimental Mathematics.

Jacques Carette, William M. Farmer, Volker Sorge

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

A canonical form for piecewise defined functions.

Jacques Carette

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007

Finally Tagless, Partially Evaluated.

Jacques Carette, Oleg Kiselyov, Chung-chieh Shan

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Gaussian Elimination: A case study in efficient genericity with MetaOCaml.

Jacques Carette

Sci. Comput. Program., 2006

Bimonadic Semantics for Basic Pattern Matching Calculi.

Wolfram Kahl, Jacques Carette, Xiaoheng Ji

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Hierarchical Representations with Signatures for Large Expression Management.

Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

Preface.

Jacques Carette, William M. Farmer

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

Symbolic Interpretation of Legacy Assembly Language.

Jacques Carette, Pulak Kumar Chowdhury

Proceedings of the 12th Working Conference on Reverse Engineering, 2005

Control-Flow Semantics for Assembly-Level Data-Flow Graphs.

Wolfram Kahl, Christopher Kumar Anand, Jacques Carette

Proceedings of the Relational Methods in Computer Science, 2005

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

Understanding expression simplification.

Jacques Carette

Proceedings of the Symbolic and Algebraic Computation, 2004