Research Interests
You can read a longer description but roughly
my interests are in:
Active member of the
MathScheme project
at McMaster University. Associate member
of the Ontario Research Center for Computer Algebra.
Collaborator of the
ALGO group at INRIA.
I also really enjoy working (or simply exchaning fascinating emails) with
Volker Sorge,
Freek Wiedijk,
Oleg Kiselyov, and
Chung-chieh Shan.
Co-chair of
AISC 2012
Calculemus 2009,
Programming Languages and Mechanized Mathematics Systems Workshop 2008,
Programming Languages and Mechanized Mathematics Systems Workshop 2007, and
Calculemus 2005
Program committee member of
WGP 2012,
PEPM 2011,
Automatheo 2010,
AISC 2010,
MICA 2008 (in honour of Keith Geddes' 60th birthday),
GPCE 2008,
MSFP 2008,
Calculemus 2008,
AISC 2008,
GPCE 2007,
Calculemus 2007, and
Calculemus 2006.
Current Students
- Gordon Uszkay - CS PhD (May 2006-present) [Unifying property-based testing frameworks]
- Lijun Zhu - CS PhD (Sept. 2011-present) [Formal Software Repositories]
- Bianca Curutan - M.Eng. (Sept. 2011-present) [Cross-paradigm code generator]
- Dan Szymczak - M.A.Sc. (Sept. 2011-present) [Code generator for Bayesian learning algorithm families]
- Pooya Samizadeh-yazd - M.Eng. (Sept. 2011-present) [scientific code generation]
- Nathan Collman - M.A.Sc. (Sept. 2012-present) [GScalE]
- Manivanna Thevathasan - M.A.Sc. (Sept. 2012-present) [GScalE]
- Ishwaree Argade - M.Eng. (Sept. 2012-present) [MathScheme: implementing logics, etc]
- Christian Robertson - Ph.D. (Sept. 2012-present) [TBD]
- Brock Dubbels - post-doc (Nov. 2012-present) [GScalE]
Former Students
- Tom Andersen - exchange from U. of Copenhagen (Dec. 2011-Jul. 2012) [generating generating extensions from MathScheme]
- Jake Penton - M.Eng. (Sept. 2010-May 2011) [Generic algorithms and generic containers]
- Vitalii Fedorenko - CS Master's (Sept. 2010-July 2012) Validation DSL for client-server applications
- Jason Costabile - M.Eng. (May 2011-April 2012) Report: GOOL: Generic OO Language
- Lucas Beyak - M.Eng. (May 2010-April 2011) Report: SAGA, and DSL 2011 paper
SAGA: A DSL for Story Management
- Mustafa Elsheik (Sept 2008-Aug 2010; joint with Spencer Smith) Thesis: A Generative Approach to Meshing Geometry,
and PEPM paper A Generative Geometric Kernel
- Ni Hong - Computer Science MSc (Sept 2007-Aug 2009) Thesis: Chiron: Mechanizing Mathematics in OCaml
- Mike Zhang- Computer Science MSc (Sept 2007-Aug 2009) Thesis: A language and library of algebraic theory-types
- Pulak K. Chowdhury - Software Engineering MASc (Sep. 2003 - June 2005) [reverse engineering from assembler code]
- Mike Kucera - Computer Science MSc (Sept. 2004 - May 2006)
Partial evaluation of Maple,
and its applications to computer algebra, in particular to something
we named
Residual Theorems.
- Olivier Dragon - Software Engineering MASc (Sept. 2004 - July 2006; joint with
Alan Wassyng) [reverse engineering of scientific computation code]
- David Miller - Computer Science undergraduate (summer 2003 and summer 2004)
[working on maple-to-maple code transformations as well as pattern-mining
in maple code]
- David Miller - Computer Science MSc (Sept 2006-May 2010) [a Maple compiler]
- Yun Zhai - Computer Science MSc (Jan 2005 - May 2006; joint with
Ryszard Janicki) [Automating derivation of semantics
for imperative programming languages]
- Gordon Uzskay - Computer Science MSc candidate (sometime in 2004 - May 2006; joint with Christopher Anand) [Design of shape-based type system for the high-level declarative language Coconut
- Stephen Forrest - Computer Science MSc (Sept 2005-Sept 2007)
Contracts and
Property inference
for Maple.
- Kevin Browne - Computer Science undergraduate (summer 2004) [analyzing properties of
closed-form expression via structural recursion]
- Dai Le - Computer Science undergraduate (summer 2004) [reverse engineering] (fall 2004) [optimal polynomial approximants]
Teaching
Current:
Winter 2013: SFWR ENG 3GB3
F/W 2012/2013: SFWR ENG 4GP6
Past:
Fall 2012: CAS 761
Fall 2012: CAS 781
F/W 2011/2012: SFWR ENG 4GP6
Winter 2012: SFWR ENG 3GB3
Fall 2011: CAS 706
Winter 2011: SFWR ENG 3GB3
Winter 2011: COMP SCI 4TB3
Fall 2010: COMP SCI 2CS3
Fall 2010: SFWR ENG 3I03
Fall 2009: SFWR ENG 3GB3
Fall 2009: COMP SCI 2CS3
Fall 2009: SFWR ENG 3I03
Fall 2008: SFWR ENG 3GB3
Even older
Contact
Jacques Carette Associate Professor
Room ITB-168
Department of Computing and Software
Faculty of Engineering
McMaster University
1280 Main Street West
Hamilton, Ontario L8S 4K1, Canada
Tel.: +1-905-525-9140 ext. 26869
Fax (dept.): +1-905-524-0340
E-mail: carette at mcmaster.ca
