Software  Talks  Books/Proceedings edited  Theses.

Research Papers

  1. S. Smith, P. Michalski, J. Carette, Z. Keshavarz-Motamed State of the Practice for Lattice Boltzmann Method Software, Archives of Computations Methods in Engineering (DOI).
  2. J. Carette, W. S. Smith, J. Balaci Generating Software for Well-Understood Domains, in Proceedings of EVCS 2023. There is also a version on arXiv.
  3. C. Lengauer and J. Carette Eelco Visser as a Founding Member of the IFIP WG 2.11, in Proceedings of EVCS 2023.
  4. J Carette, G Ortiz, A Sabry Symbolic Execution of Hadamard-Toffoli Quantum Circuits. Proc. of PEPM 2023. There is also a github repository with all the code. And slides
  5. G.M.Smith and J. Carette What Lies Beneath - A Survey of Affective Theory Use in Computational Models of Emotion published in IEEE Transactions on Affective Computing, Vol 13 issue 4. official version.
  6. W. de Meo, J. Carette. A Machine-checked Proof of Birkhoff's Variety Theorem in Martin-Loef Type Theory. 27th International Conference on Types for Proofs and Programs (TYPES 2021) LIPIcs volume 239. p. 4:1-4:21. Published 2022. DOI: 10.4230/LIPIcs.TYPES.2021.4. publisher version.
  7. J Carette, WM Farmer, Y Sharoda Leveraging the Information Contained in Theory Presentations (also: local version and official link), Proceedings of CICM 2020. LNCS 12236, p.55-70.
  8. Jacques Carette, William M. Farmer, Michael Kohlhase, Florian Rabe Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal, Mathematical Intelligencer, Vol 42, pages 78-87.
  9. J. Carette, S. Soraine Types for Players, in PLIE 2021 (Programming Languages in Entertainment), part of AIIDE-21. Volume 3217 of CEUR-WS.
  10. J Carette, RP James, A Sabry Embracing the Laws of Physics: Three Reversible Models of Computation, also available from arxiv; published in Advances in Computers; beware, the publisher's version is super ugly as it was done in Word. I recommend using our preprint.
  11. Jason Z.S. Hu, Jacques Carette Formalizing Category Theory in Agda in Proc. of CPP 2021. This is the proper version of what was previously called Proof-Relevant Category Theory in Agda (on arxiv).
  12. J Carette, B. MacLachlan, S Smith GOOL: Generic Object-Oriented Language Short version, as it will appear in Proc. of PEPM 2020. There is a Long version on arxiv; a local version is also available.
  13. M. Al-hassy, J Carette, W Kahl A Language Feature to Unbundle Data at Will (short paper) Proc. of GPCE 2019.
  14. R Walia, P Narayanen, J Carette, C Shan, S Tobin-Hochstadt From High-Level Inference Algorithms to Efficient Code, Proc. of ACM Program. Lang., Vol 3, No. ICFP, August 2019. DOI:10.1145/3341702
  15. S. Soraine, J. Carette Towards Accessibility of Games: Mechanical Experience, Competence Profiles and Jutsus. Journal of Games, Self & Society 2 (1), p.150-209. 2020. There's also a full version with extra material (11 mores pages) in an appendix.
  16. G. Smith, J. Carette Design Foundations for Emotional Characters, author's copy, Eludamos, Journal for Computer Game Culture 10 (1), p.109-140. Publisher's version.
  17. J Carette, WM Farmer arxiv: Towards Specifying Symbolic Computation, (local copy), in Proceedings of CICM 2019. LNCS 11617, p.109-124. official Springer link.
  18. C Hutslar, J Carette, A Sabry A Library of Reversible Circuit Transformations (Work in Progress), published in the proceedings of the International Conference on Reversible Computation, RC 2018. p. 339--345, LNCS 11106.
  19. M Peacocke, RJ Teather, J Carette, IS MacKenzie, V McArthur An empirical comparison of first-person shooter information displays: HUDS, diegetic displays, and spatial representations (preprint), official version (behind paywall), but also a local copy (as per funding mandates), in Entertainment Computing vol 26, p. 41-58. (2018)
  20. J Carette, WM Farmer, Y Sharoda Biform Theories: Project Description, (official link), in Proceedings of CICM 2018 (LNCS 11006), p. 76-86.
  21. J Carette, WM Farmer, P Laskowski HOL Light QE, in Proceedings of Interactive Theorem Proving 2018, part of FLOC 2018.
  22. WS Smith, Z Zeng, J Carette Seismology software: state of the practice, in Journal of Seismology, Vol 22 no 3, p. 755-788.
  23. J Carette, CH Chen, V Choudhury, A Sabry From Reversible Programs to Univalent Universes and Back (arxiv link), official version, in Proceedings of Mathematical Foundations of Programming Semantics (MFPS XXXIII), ENTCS Vol. 336, (April 2018), p. 5 -25.
  24. J Carette, WM Farmer Formalizing mathematical knowledge as a biform theory graph: A case study, in Proceedings of CICM 2017, p. 9-24.
  25. WS Smith, DA Lazzarato, J Carette State of the practice for mesh generation and mesh processing software, in Advances in Engineering Software vol 100, p. 53-71.
  26. D Szymczak, S Smith, J Carette Position paper: A knowledge-based approach to scientific software development, in Proceedings of 2016 IEEE/ACM International Workshop on Software Engineering for Science (SE4Science), p. 23-26.
  27. J Carette, A Sabry Computing with semirings and weak rig groupoids, in Proceedings of ESOP 2016, p. 123-148.
  28. P. Narayanan, J. Carette, W. Romano, CS Shan, R. Zinkov Probabilistic Inference by Program Transformation in Hakaru (System Description), in Proceedings of Functional and Logic Programming, LNCS 9613.
  29. J. Carette, C.-c. Shan Simplifying probabilistic programs using Computer Algebra, in Proceedings of PADL 2016. LNCS 9585, p.135-152.
  30. M Peacocke, RJ Teather, J Carette, IS MacKenzie Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games in Proceedings of IEEE GEM 2015 conference.
  31. RJ Teather, J Carette, M Thevathasan Uniform vs non-uniform scaling of shooter games on large displays in Proceedings of IEEE GEM 2015 conference.
  32. Geneva Smith, Robert J Teather, Jordan Lass, Jacques Carette Effects of interior bezel size and configuration on gaming performance with large tiled displays in Proceedings of IEEE GEM 2015 conference, p. 1-8.
  33. Geneva Smith, Robert J Teather, Jordan Lass, Jacques Carette Effects of Bezel Size in Large Tiled Display Gaming in in Proceedings of the 3rd ACM Symposium on Spatial User Interaction (2015), p. 129-129
  34. G Browning, RJ Teather, J Carette Differences in Perspective and Software Scaling in Proceedings of the 3rd ACM Symposium on Spatial User Interaction (2015), p. 128-128
  35. J. Carette, W.M. Farmer and M. Kohlhase, Realms: A structure for consolidating knowledge about mathematical theories, in Proceedings of CICM 2014, LNCS 8543, p. 252-266.
  36. M. Peacocke, R.J. Teather, J. Carette, Diagetic vs. non-diagetic game displays, IEEE GEM 2014 Proceedings, p. 1-2. (Extended Abstract)
  37. R.J. Teather, M. Thevathasan, J. Carette, Scale Effects in "Bullet Hell" Games in IEEE GEM 2014 Proceedings, p. 303-304. (Extended Abstract)
  38. J. Carette, R. O'Connor Theory Presentation Combinators, in Proceedings of CICM 2012, LNCS 7362. See also long version (with proofs).
  39. J. Carette, A. Stump, Towards Typing for Small-Step Direct Reflection, in Proceedings of PEPM 2012, p. 93-96, ACM 2012.
  40. Feng, Xin and Marr, Simon and O'Callaghan, Tony and Zhou, Zhi Quan and Carette, Jacques, Function substitution: Towards constraint solving in software testing in Proceedings of 2012 IEEE International Conference on Quality Software (QSIC), p. 31-40.
  41. J. Carette, W.M. Farmer, R. O'Connor MathScheme: Project Description in Proceedings of CICM 2011, LNCS 6824, p. 287--288.
  42. J. Carette, W.M. Farmer, F. Jeremic, V. Maccio, R. O'Connor, Q.M. Tran The MathScheme Library: Some Preliminary Experiments, in Work-in-Progress Proceedings for CICM 2011, Tech. Report UVLCS-2011-04, University of Bologna, Italy. p. 10-22.
  43. L. Beyak, J. Carette SAGA: A DSL for Story Management, in Proceedings of DSL 2011, EPTCS vol. 66, p. 48-67.
  44. J. Carette, M. Elsheik, S. Smith. Generative Geometric Kernel, in Proceedings of PEPM 2011. ACM, p.53-62.
  45. J. Carette, Alan P. Sexton, Volker Sorge, and Stephen M. Watt. Symbolic Domain Decomposition, in Proceedings of Calculemus 2010, part of CICM 2010.
  46. J. Carette, O. Kiselyov and C-c. Shan Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages Journal of Functional Programming 19(5):509-543, 2009.
  47. James H. Davenport, J. Carette, Sparsity Challenges, in Proceedings of SYNASC 2009 (official link)
  48. J. Carette and W. M. Farmer A Review of Mathematical Knowledge Management, in Proceedings of MKM 2009, part of Conference on Intelligent Computer Mathematics.
  49. J. Carette and W. M. Farmer High Level Theories, in Proceedings of Calculemus 2008 (official link).
  50. J. Carette, W. S. Smith, J. McCutchan, C. K. Anand, and A. Korobkine Case Studies in Model Manipulation for Scientific Computing, in Proceedings of AISC 2008.
  51. W. S. Smith, J. Carette, and J. McCutchan Commonality Analysis of Families of Physical Models for use in Scientific Computing, in Proceedings of SECSE08 conference
  52. J. Carette and M. Kucera Partial Evaluation for Maple, (submitted, long version of PEPM paper below)
  53. J. Carette, O. Kiselyov and C-c. Shan Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages, Proceedings of the 5th ASIAN Symposium on Programming Languages and Systems, 2007. (Superceded by journal version above).
  54. Jacques Carette and Oleg Kiselyov Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code(as accepted but unrevised) Science of Computer Programming
  55. J. Carette, A canonical form for piecewise defined functions in Proceedings of ISSAC 2007.
  56. J. Carette, W. M. Farmer and V. Sorge A rational reconstruction of a System for Experimental Mathematics, Calculemus 2007.
  57. J. Carette and M. Kucera Partial Evaluation for Maple, Partial Evaluation and Program Manipulation (PEPM 2007)
  58. J. Carette and R. Janicki, Computing Properties of Numerical Imperative Programs by Symbolic Computation (accepted) Fundamenta Informaticae (80)
  59. Wenqin Zhou, J. Carette, D.J. Jeffrey and M.B. Monagan Hierarchical representations with signatures for large expression management, Proceedings of Artificial Intelligence and Symbolic Computation (2006).
  60. J. Carette, Wenqin Zhou, D.J. Jeffrey and M.B. Monagan Linear Algebra using Maple's LargeExpressions Package, Maple Conference 2006, proceedings published by Maplesoft
  61. M. Kucera and J. Carette Partial Evaluation and Residual Theorems in Computer Algebra, Calculemus 2006.
  62. J. Carette and S. Forrest, Mining Maple Code for Contracts, Calculemus 2006.
  63. W. Kahl, J. Carette and X. Ji, Bimonadic Semantics for Basic Pattern Matching Calculi, in Tarmo Uustalu (ed.): Mathematics of Program Construction, MPC 2006, Kuressaare, Estonia, pp. 253--273, LNCS 4014, Springer-Verlag, 2006.
  64. J. Carette Gaussian Elimination: a case study in efficient genericity with MetaOCaml, Science of Computer Programming, Vol. 62, Num. 1 (September 2006), pages 3-24.
  65. J. Carette, R. Janicki and Y. Zhai Program Verification by Calculating Relations, Proc. 15th IASTEAD Conf. on Applied Simulation and Modelling, 2006, published by Acta Press.
  66. W. Kahl, C. Anand, J, Carette Control-Flow Semantics for Assembly-Level-Data-Flow Graphs, RelMiCS 8 proceedings. (2005)
  67. J. Carette, and P. Chowdhury Symbolic Interpretation of Legacy Assembly Language, WCRE 2005.
  68. Jacques Carette and Oleg Kiselyov Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code, GPCE 2005
  69. Mohamed A. Rabie, Yaser M. Haddara and Jacques Carette A Kinetic Model for the Oxidation of Silicon Germanium Alloys, Journal of Applied Physics, Vol. 98, 2005
  70. Mohamed A. Rabie, Yaser M. Haddara and Jacques Carette A Comprehensive Kinetic Model for the Wet Oxidation of Silicon Germanium Alloys, Technical Proceedings of the 2005 Nanotechnology Conference, Anaheim, CA, 2005
  71. S.A. Abramov, J.J. Carette, K.O. Geddes, H.Q. Le: Telescoping in the Context of Symbolic Summation in Maple, Journal of Symbolic Computation, Volume 38, issue 4, pages 1303-1326, October 2004.
  72. J. Carette Understanding Expression Simplification, in Proceedings of ISSAC 2004, Santander, Spain. slides (pdf)
  73. J. Carette, W. Farmer, J. Wajs  Trustable Communication between Mathematics Systems in Calculemus 2003 Proceedings, Aracne.


Various pieces of software that I have co-authored: You can also find some work-in-progress, experimental code such as I have also contributed some code to

Selected talks

Preprints and Technical Reports

Books and Journal issues edited