Jacques Carette

110 papers A 1B 9C 15Misc 3Journal 46Unranked 28

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	The Agda standard library: version 2.0. J. Open Source Softw. Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2025	C	`conf`	The Many Views of Game-Related Experiences with the Experiential Tetrad. FDG Sasha Soraine, Jacques Carette
2024	C	`conf`	Compositional Reversible Computation. RC Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	Compositional Reversible Computation. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	How to Bake a Quantum Π. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	State of the Practice for Medical Imaging Software. CoRR W. Spencer Smith, Ao Dong, Jacques Carette, Michael D. Noseworthy
2024	J	`jnl`	With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	—	`conf`	Eelco Visser as a Founding Member of the IFIP WG 2.11. Eelco Visser Commemorative Symposium Christian Lengauer, Jacques Carette
2023	—	`conf`	Generating Software for Well-Understood Domains. Eelco Visser Commemorative Symposium Jacques Carette, W. Spencer Smith, Jason Balaci
2023	J	`jnl`	Generating Software for Well-Understood Domains. CoRR Jacques Carette, W. Spencer Smith, Jason Balaci
2023	—	`conf`	Symbolic Execution of Hadamard-Toffoli Quantum Circuits. PEPM@POPL Jacques Carette, Gerardo Ortiz, Amr Sabry
2023	J	`jnl`	The Quantum Effect: A Recipe for QuantumPi. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	J	`jnl`	With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2022	J	`jnl`	Chapter Two - Embracing the laws of physics: Three reversible models of computation. Adv. Comput. Jacques Carette, Roshan P. James, Amr Sabry
2022	J	`jnl`	Retrodictive Quantum Computing. CoRR Jacques Carette, Gerardo Ortiz, Amr Sabry
2022	J	`jnl`	What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion. IEEE Trans. Affect. Comput. Geneva M. Smith, Jacques Carette
2021	—	`conf`	A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. TYPES William J. DeMeo, Jacques Carette
2021	B	`conf`	Formalizing category theory in Agda. CPP Jason Z. S. Hu, Jacques Carette
2021	J	`jnl`	Long-Term Productivity Based on Science, not Preference. CoRR Spencer Smith, Jacques Carette
2021	J	`jnl`	Methodology for Assessing the State of the Practice for Domain X. CoRR W. Spencer Smith, Jacques Carette, Peter Michalski, Ao Dong, Olu Owojaiye
2021	—	`conf`	Types for Players. AIIDE Workshops Jacques Carette, Sasha Soraine
2020	C	`conf`	Can Deep Learning Predict Problematic Gaming? CoG Qirui Wu, Jacques Carette
2020	C	`conf`	Fractional Types - Expressive and Safe Space Management for Ancilla Bits. RC Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020	J	`jnl`	Fractional Types: Expressive and Safe Space Management for Ancilla Bits. CoRR Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
2020	—	`conf`	GOOL: a generic object-oriented language. PEPM@POPL Jacques Carette, Brooks MacLachlan, Spencer Smith
2020	C	`conf`	Leveraging the Information Contained in Theory Presentations. CICM Jacques Carette, William M. Farmer, Yasmine Sharoda
2020	J	`jnl`	Leveraging the Information Contained in Theory Presentations. CoRR Jacques Carette, William M. Farmer, Yasmine Sharoda
2020	J	`jnl`	Long-term Productivity for Long-term Impact. CoRR Spencer Smith, Jacques Carette
2020	—	`ed.`	Mathematical Software - ICMS 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings ICMS Anna Maria Bigatti, Jacques Carette, James H. Davenport, Michael Joswig, Timo de Wolff
2020	J	`jnl`	Proof-relevant Category Theory in Agda. CoRR Jason Z. S. Hu, Jacques Carette
2020	J	`jnl`	The Space of Mathematical Software Systems - A Survey of Paradigmatic Systems. CoRR Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
2019	B	`conf`	A language feature to unbundle data at will (short paper). GPCE Musa Al-hassy, Jacques Carette, Wolfram Kahl
2019	J	`jnl`	Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal. CoRR Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe
2019	J	`jnl`	From high-level inference algorithms to efficient code. Proc. ACM Program. Lang. Rajan Walia, Praveen Narayanan, Jacques Carette, Sam Tobin-Hochstadt, Chung-chieh Shan
2019	J	`jnl`	GOOL: A Generic Object-Oriented Language (extended version). CoRR Jacques Carette, Brooks MacLachlan, W. Spencer Smith
2019	C	`conf`	Towards Specifying Symbolic Computation. CICM Jacques Carette, William M. Farmer
2019	J	`jnl`	Towards Specifying Symbolic Computation. CoRR Jacques Carette, William M. Farmer
2018	C	`conf`	A Library of Reversible Circuit Transformations (Work in Progress). RC Christian Hutslar, Jacques Carette, Amr Sabry
2018	J	`jnl`	An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations. Entertain. Comput. Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie, Victoria McArthur
2018	C	`conf`	Biform Theories: Project Description. CICM Jacques Carette, William M. Farmer, Yasmine Sharoda
2018	J	`jnl`	Biform Theories: Project Description. CoRR Jacques Carette, William M. Farmer, Yasmine Sharoda
2018	J	`jnl`	Efficient compilation of array probabilistic programs. CoRR Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
2018	J	`jnl`	Embracing the Laws of Physics: Three Reversible Models of Computation. CoRR Jacques Carette, Roshan P. James, Amr Sabry
2018	B	`conf`	From Reversible Programs to Univalent Universes and Back. MFPS Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2018	B	`conf`	HOL Light QE. ITP Jacques Carette, William M. Farmer, Patrick Laskowski
2018	J	`jnl`	HOL Light QE. CoRR Jacques Carette, William M. Farmer, Patrick Laskowski
2018	J	`jnl`	State of the Practice for GIS Software. CoRR W. Spencer Smith, D. Adam Lazzarato, Jacques Carette
2018	J	`jnl`	Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR Spencer Smith, Yue Sun, Jacques Carette
2018	J	`jnl`	Theory Presentation Combinators. CoRR Jacques Carette, Russell O'Connor
2017	C	`conf`	Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CICM Jacques Carette, William M. Farmer
2017	J	`jnl`	Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. CoRR Jacques Carette, William M. Farmer
2017	J	`jnl`	From Reversible Programs to Univalent Universes and Back. CoRR Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
2016	—	`conf`	A knowledge-based approach to scientific software development: position paper. SE4Science@ICSE Dan Szymczak, W. Spencer Smith, Jacques Carette
2016	A	`conf`	Computing with Semirings and Weak Rig Groupoids. ESOP Jacques Carette, Amr Sabry
2016	Misc	`conf`	Probabilistic Inference by Program Transformation in Hakaru (System Description). FLOPS Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov
2016	C	`conf`	Simplifying Probabilistic Programs Using Computer Algebra. PADL Jacques Carette, Chung-chieh Shan
2016	J	`jnl`	State of the practice for mesh generation and mesh processing software. Adv. Eng. Softw. W. Spencer Smith, D. Adam Lazzarato, Jacques Carette
2015	—	`ed.`	CICM 2015 - Informal Work in Progress Proceedings, Washington, DC, USA, July 13-17, 2015 CICM (Work in Progress) Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	—	`conf`	Differences in Perspective and Software Scaling. SUI Graeme Browning, Robert J. Teather, Jacques Carette
2015	—	`conf`	Effects of Bezel Size in Large Tiled Display Gaming. SUI Geneva M. Smith, Robert J. Teather, Jordan Lass, Jacques Carette
2015	—	`conf`	Effects of interior bezel size and configuration on gaming performance with large tiled displays. GEM Geneva M. Smith, Robert J. Teather, Jordan Lass, Jacques Carette
2015	—	`conf`	Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games. GEM Margaree Peacocke, Robert J. Teather, Jacques Carette, I. Scott MacKenzie
2015	C	`ed.`	Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings CICM Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge
2015	—	`conf`	Uniform vs. non-uniform scaling of shooter games on large displays. GEM Robert J. Teather, Jacques Carette, Manivanna Thevathasan
2015	—	`conf`	Workshop proposal: Game UI design, evaluation, and user research. GEM Pejman Mirza-Babaei, Naeem Moosajee, Robert J. Teather, Jacques Carette, Victoria McArthur
2014	—	`conf`	Diagetic vs. non-diagetic game displays. GEM Margaree Peacocke, Robert J. Teather, Jacques Carette
2014	C	`conf`	Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CICM Jacques Carette, William M. Farmer, Michael Kohlhase
2014	J	`jnl`	Realms: A Structure for Consolidating Knowledge about Mathematical Theories. CoRR Jacques Carette, William M. Farmer, Michael Kohlhase
2014	—	`conf`	Scale effects in "bullet hell" games. GEM Robert J. Teather, Manivanna Thevathasan, Jacques Carette
2013	—	`ed.`	Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings MKM/Calculemus/DML Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
2013	—	`ed.`	Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK CICM Workshops Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2013	—	`ed.`	Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013 WGP@ICFP Jacques Carette, Jeremiah Willcock
2012	—	`conf`	Function Substitution: Towards Constraint Solving in Software Testing. QSIC Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette
2012	—	`ed.`	Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings AISC/MKM/Calculemus Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
2012	J	`jnl`	Theory Presentation Combinators CoRR Jacques Carette, Russell O'Connor
2012	—	`conf`	Theory Presentation Combinators. AISC/MKM/Calculemus Jacques Carette, Russell O'Connor
2012	C	`conf`	Towards typing for small-step direct reflection. PEPM Jacques Carette, Aaron Stump
2011	C	`conf`	A generative geometric kernel. PEPM Jacques Carette, Mustafa Elsheikh, W. Spencer Smith
2011	—	`conf`	MathScheme: Project Description. Calculemus/MKM Jacques Carette, William M. Farmer, Russell O'Connor
2011	J	`jnl`	Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Sci. Comput. Program. Jacques Carette, Oleg Kiselyov
2011	J	`jnl`	Partial evaluation of Maple. Sci. Comput. Program. Jacques Carette, Michael Kucera
2011	—	`conf`	SAGA: A DSL for Story Management DSL Lucas Beyak, Jacques Carette
2011	J	`jnl`	The MathScheme Library: Some Preliminary Experiments CoRR Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran
2010	—	`conf`	Mechanized Mathematics. AISC/MKM/Calculemus Jacques Carette
2010	J	`jnl`	Preface. J. Autom. Reason. Jacques Carette, Makarius Wenzel, Freek Wiedijk
2010	—	`conf`	Symbolic Domain Decomposition. AISC/MKM/Calculemus Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	Symbolic Domain Decomposition. CoRR Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
2010	J	`jnl`	The Power of Vocabulary: The Case of Cyclotomic Polynomials CoRR Jacques Carette, James H. Davenport
2009	—	`conf`	A Review of Mathematical Knowledge Management. Calculemus/MKM Jacques Carette, William M. Farmer
2009	J	`jnl`	Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. J. Funct. Program. Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
2009	—	`ed.`	Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings Calculemus/MKM Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt
2009	Misc	`conf`	The Sparsity Challenges. SYNASC James Harold Davenport, Jacques Carette
2008	—	`conf`	Case Studies in Model Manipulation for Scientific Computing. AISC/MKM/Calculemus Jacques Carette, W. Spencer Smith, John McCutchan, Christopher Kumar Anand, Alexandre Korobkine
2008	—	`conf`	High-Level Theories. AISC/MKM/Calculemus Jacques Carette, William M. Farmer
2007	—	`conf`	A Rational Reconstruction of a System for Experimental Mathematics. Calculemus/MKM Jacques Carette, William M. Farmer, Volker Sorge
2007	B	`conf`	A canonical form for piecewise defined functions. ISSAC Jacques Carette
2007	J	`jnl`	A canonical form for some piecewise defined functions CoRR Jacques Carette
2007	J	`jnl`	Computing Properties of Numerical Imperative Programs by Symbolic Computation. Fundam. Informaticae Jacques Carette, Ryszard Janicki
2007	B	`conf`	Finally Tagless, Partially Evaluated. APLAS Jacques Carette, Oleg Kiselyov, Chung-chieh Shan
2007	C	`conf`	Partial evaluation of Maple. PEPM Jacques Carette, Michael Kucera
2006	B	`conf`	Bimonadic Semantics for Basic Pattern Matching Calculi. MPC Wolfram Kahl, Jacques Carette, Xiaoheng Ji
2006	J	`jnl`	Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Sci. Comput. Program. Jacques Carette
2006	Misc	`conf`	Hierarchical Representations with Signatures for Large Expression Management. AISC Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
2006	—	`ed.`	Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005 Calculemus Jacques Carette, William M. Farmer
2005	—	`conf`	Control-Flow Semantics for Assembly-Level Data-Flow Graphs. RelMiCS Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
2005	B	`conf`	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. GPCE Jacques Carette, Oleg Kiselyov
2005	—	`conf`	Preface. Calculemus Jacques Carette, William M. Farmer
2005	—	`conf`	Symbolic Interpretation of Legacy Assembly Language. WCRE Jacques Carette, Pulak Kumar Chowdhury
2004	J	`jnl`	Telescoping in the context of symbolic summation in Maple. J. Symb. Comput. Sergei A. Abramov, Jacques Carette, Keith O. Geddes, Ha Q. Le
2004	B	`conf`	Understanding expression simplification. ISSAC Jacques Carette