*J. Carette, C.-c. Shan***Simplifying probabilistic programs using Computer Algebra**, in Proceedings of PADL 2016. LNCS 9585, p.135-152.-
*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 conference, p. 1-8. *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.*M. Peacocke, R.J. Teather, J. Carette*,**Diagetic vs. non-diagetic game displays**, IEEE GEM 2014 Proceedings, p. 1-2. (Extended Abstract)*R.J. Teather, M. Thevathasan, J. Carette*,**Scale Effects in “Bullet Hell” Games**in IEEE GEM 2014 Proceedings, p. 303-304. (Extended Abstract)*J. Carette, R. O'Connor***Theory Presentation Combinators**, in Proceedings of CICM 2012, LNCS 7362. See also long version (with proofs).*J. Carette, A. Stump*,**Towards Typing for Small-Step Direct Reflection**, in Proceedings of PEPM 2012, p. 93-96, ACM 2012.*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.*J. Carette, W.M. Farmer, R. O'Connor***MathScheme: Project Description**in Proceedings of CICM 2011, LNCS 6824, p. 287--288.*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.*L. Beyak, J. Carete***SAGA: A DSL for Story Management**, in Proceedings of DSL 2011, EPTCS vol. 66, p. 48-67.*J. Carette, M. Elsheik, S. Smith*.**Generative Geometric Kernel**, in Proceedings of PEPM 2011. ACM, p.53-62.*J. Carette, Alan P. Sexton, Volker Sorge, and Stephen M. Watt*.**Symbolic Domain Decomposition**, in Proceedings of Calculemus 2010, part of CICM 2010.*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.*James H. Davenport, J. Carette*,**Sparsity Challenges**, in Proceedings of SYNASC 2009 (official link)*J. Carette and W. M. Farmer***A Review of Mathematical Knowledge Management**, in Proceedings of MKM 2009, part of Conference on Intelligent Computer Mathematics.*J. Carette and W. M. Farmer***High Level Theories**, in Proceedings of Calculemus 2008 (official link).*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.*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*J. Carette and M. Kucera***Partial Evaluation for Maple**, (submitted, long version of PEPM paper below)*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).*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*J. Carette*,**A canonical form for piecewise defined functions**in Proceedings of ISSAC 2007.*J. Carette, W. M. Farmer and V. Sorge***A rational reconstruction of a System for Experimental Mathematics**, Calculemus 2007.*J. Carette and M. Kucera***Partial Evaluation for Maple**, Partial Evaluation and Program Manipulation (PEPM 2007)*J. Carette and R. Janicki*,**Computing Properties of Numerical Imperative Programs by Symbolic Computation**(accepted) Fundamenta Informaticae (80)*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).*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*M. Kucera and J. Carette***Partial Evaluation and Residual Theorems in Computer Algebra**, Calculemus 2006.*J. Carette and S. Forrest*,**Mining Maple Code for Contracts**, Calculemus 2006.*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.*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.*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.*W. Kahl, C. Anand, J, Carette***Control-Flow Semantics for Assembly-Level-Data-Flow Graphs**, RelMiCS 8 proceedings. (2005)*J. Carette, and P. Chowdhury***Symbolic Interpretation of Legacy Assembly Language**, WCRE 2005.*Jacques Carette and Oleg Kiselyov***Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code**, GPCE 2005*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*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*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.*J. Carette***Understanding Expression Simplification**, in Proceedings of ISSAC 2004, Santander, Spain. slides (pdf)*J. Carette, W. Farmer, J. Wajs***Trustable Communication between Mathematics Systems**in Calculemus 2003 Proceedings, Aracne.

- Joint Lab meeting:
*From structured theories to efficient code in 6 easy steps*, March 9, 2012; slides (pdf) available, but they are hard to understand without the commentary -- ask me, I love this give this talk! - Joint PLMMS/Calculemus invited talk:
*Mechanized Mathematics*given July 8th in Paris, France. The slides are inspired by the Takahashi method and only tell part of the story. - Invited talk:
*Modern Mechanized Mathematics*given May 20th 2008 at Microsoft Research, Seattle, USA; April 17th 2009 at the IFIP WG 2.11 meeting on program generation, in Mountain View, California; and May 29th 2009 at the SCG/SCL Joint Lab Meeting held in Waterloo, Canada. (latest version of the slides). - Invited talk:
*Testing a Computer Algebra System*given October 4th 2004 at SQRL, Limerick, Ireland. slides (pdf) and accompanying examples (Maple worksheet). - Invited talk:
*Computer Algebra vs Computer Analysis*, July 2004, Nijmegen, Netherlands. Introductory slides (pdf) and Live examples of isues (Maple worksheet). - Talk:
*A new normal form for Piecewise-defined functions*given at MOCAA 2004. slides (pdf).

*B. Yorgey, J. Carette, S. Weirich***Labelled structures and combinatorial species**, submitted to MFSP 2014*R.P. James, Z. Sparks, J. Carette and A. Sabry*,**Fractional Types**.*J. Carette, James H. Davenport***The Power of Vocabulary: The Case of Cyclotomic Polynomials**(arXiv:1002.0012).*J. Carette, Alexandre Korobkine, Mark Lawford***Automatic and Verifiable Synthesis of Implementations from Mathematical Models***J. Carette and S. Forrest*,**Property inference for Maple: an application of Abstract Interpretation**, Calculemus 2006.*C. Anand, J, Carette, W. Kahl, C. Gibbard, R. Lortie***Declarative Assembler**, SQRL report #20.

*Carette, J.; Dixon, L.; Sacerdoti Coen, C.; Watt, S. (Eds.)***Intelligent Computer Mathematics**, LNAI 5625, Proceedings of CICM 2009*J. Carette, W.M. Farmer*(Eds.) ENTCS Volume 151, Number 1, March 2006 (special issue on Calculemus 2005).*J. Carette, M. Wenzel, F. Wiedijk*(Eds.), special issue of Journal of Automated Reasoning on PLMMS 2007 and 2008)

*J. Carette:***Liens entre la geometrie et la dynamique de ensembles de Julia**, Universite de Paris-Sud (Orsay), 1997. Resume/abstract*J. Carette:***Iteration des fractions rationelles**, Universite de Montreal, 1991.

Home