| |
|
|
| |
| | Jacques Carette is an associate professor of computer science and software engineering in the Department of Computing and Software at McMaster University, in Hamilton, Canada.¿He received his BMath from the University of Waterloo, MS from the Université de Montréal, and PhD (in pure mathematics) from the Université de Paris-Sud.¿Before joining academia, he worked for Maplesoft Inc. for 11 years, with roles ranging from math developer to product development director. His current research is centered on mechanized mathematics, joining computer algebra and theorem-proving facilities into a single system.¿He has emphasized the use of techniques from modern programming languages as well as meta-programming in his efforts to build a next-generation system. He also enjoys applying these techniques to the certified software area, and to improving software engineering strategies for game design. |
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 33
reviews
|
|
|
 |
|
|
|
|
 Conditioning in probabilistic programming
Olmedo F., Gretz F., Jansen N., Kaminski B., Katoen J., Mciver A. ACM Transactions on Programming Languages and Systems 40(1): 1-50, 2018. Type: Article
Machine learning, possibly contrary to popular belief, is not just about endless variations of neural networks. There is also a thriving subculture of probabilistic programming based on Bayesian principles. A large advantage of the lat...
|
Jun 13 2018 |
|
|
|
|
|
|
A semantic framework for proof evidence
Chihani Z., Miller D., Renaud F. Journal of Automated Reasoning 59(3): 287-330, 2017. Type: Article
The use of theorem provers as fundamental aids in computer science and software engineering is slowly expanding their reach. The multitude of tools and methods does have a downside: lack of interoperability. It would be nice if, for ex...
|
Feb 6 2018 |
|
|
|
|
|
|
A semantic framework for proof evidence
Chihani Z., Miller D., Renaud F. Journal of Automated Reasoning 59(3): 287-330, 2017. Type: Article
The use of theorem provers as fundamental aids in computer science and software engineering is slowly expanding their reach. The multitude of tools and methods does have a downside: lack of interoperability. It would be nice if, for ex...
|
Feb 6 2018 |
|
|
|
|
|
|
The handbook of formal methods in human-computer interaction
Weyers B., Bowen J., Dix A., Palanque P., Springer International Publishing, New York, NY, 2017. 575 pp. Type: Book (978-3-319518-37-4)
Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings of CHI [1,2], the leading conference in the domain, will make this clear: almost all papers report on carefully crafte...
|
Jan 22 2018 |
|
|
|
|
|
|
Verified functional programming in Agda
Stump A., Association for Computing Machinery and Morgan & Claypool, New York, NY, 2016. 284 pp. Type: Book (978-1-970001-24-2)
Verification used to be a daunting task, to be performed only in extreme circumstances, at great cost. Our knowledge of how to perform verification, at least for certain kinds of code, has progressed so much that there are now textbook...
|
Oct 28 2016 |
|
|
|
|
|
|
Semantics, logics, and calculi: essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
Probst C., Hankin C. (ed), Hansen R. (ed), Springer Publishing Company, Incorporated, New York, NY, 2016. 356 pp. Type: Book (978-3-319278-09-4)
A Festschrift volume is always a bit different than standard collections of papers: while they usually still possess a definite set of themes, as the current one does, there is also a certain freedom to explore ideas in a different way...
|
Apr 4 2016 |
|
|
|
|
|
|
An introduction to machine learning
Kubat M., Springer Publishing Company, Incorporated, New York, NY, 2015. 291 pp. Type: Book (978-3-319200-09-5)
Given the booming popularity of machine learning, a good introductory textbook would indeed be quite valuable. A number of rather advanced textbooks exist, but most of them require a solid background in mathematics, with a heavy focus ...
|
Jan 28 2016 |
|
|
|
|
|
|
A matrix multiplier case study for an evaluation of a configurable dataflow-machine
Verdoscia L., Vaccaro R., Giorgi R. CF 2015 (Proceedings of the 12th ACM International Conference on Computing Frontiers, Ischia, Italy, May 18-21, 2015) 1-6, 2015. Type: Proceedings
Research in computing frontiers is fascinating for the preview it gives us of some potential futures of computing. Rethinking some of our fundamental assumptions, like the shift from complex instruction set computers (CISC) to reduced ...
|
Aug 18 2015 |
|
|
|
|
|
|
Introduction to programming languages
Bansal A., Chapman & Hall/CRC, Boca Raton, FL, 2013. 624 pp. Type: Book (978-1-466565-14-2)
The programming language landscape continues to evolve rather quickly. It is not just that new languages are created, but also that new ideas get incorporated as fundamental concepts in these languages. So even though there is a pletho...
|
Nov 7 2014 |
|
|
|
|
|
|
Prototyping symbolic execution engines for interpreted languages
Bucur S., Kinder J., Candea G. ASPLOS 2014 (Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems, Salt Lake City, UT, Mar 1-5, 2014) 239-254, 2014. Type: Proceedings
While extensive testing is undoubtedly useful, it is also tedious. Automating this task as much as is feasible is an active research area; it has been more successfully applied (until now) to statically typed compiled languages. This w...
|
Apr 9 2014 |
|
|
|
|
|
| |
|
|
| |
|
|
