Research Papers

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

Selected talks

Technical Reports and preprints

Books and Journal issues edited

Theses

Software

(stay posted, more is coming)
Home