|
|
|
|
|
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.
|
|
|
Reviews by Jacques Carette |
|
|
|
|
|
Modular product programs Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019. Type: Article
Some properties of programs are not about a single run of the program; instead, they relate multiple runs. For example, a program is deterministic if, given the same input, two runs will always produce the same answer. Many other prope...
|
|
|
|
|
|
Photoplethysmogram-based cognitive load assessment using multi-feature fusion model Zhang X., Lyu Y., Qu T., Qiu P., Luo X., Zhang J., Fan S., Shi Y. ACM Transactions on Applied Perception 16(4): 1-17, 2019. Type: Article
Physiological measures of cognitive load have become more accessible with advancements in neuro-imaging devices and wearable technology, and provide quantifiable data that previous measurement tools (for example, surveys) could not. As...
|
|
|
|
|
|
A predicate transformer semantics for effects (functional pearl) Swierstra W., Baanen T. Proceedings of the ACM on Programming Languages 3(ICFP): 1-26, 2019. Type: Article
Proving properties of imperative programs with side effects is quite arduous. Purely functional code, on the other hand, has a relatively pleasant equational theory that enables reasonable proofs. Is it possible to use modern machinery...
|
|
|
|
|
|
Smart assisted living: toward an open smart-home infrastructure Chen F., García-Betances R., Chen L., Cabrera-Umpiérrez M., Nugent C., Springer International Publishing, New York, NY, 2019. 342 pp. Type: Book (978-3-030255-89-3)
With an aging population and an ever-growing connection of smart devices, there hasn’t been a more appropriate time for this type of book. Ubiquitous computing has revolutionized the way that health can be managed. Equipping ...
|
|
|
|
|
|
Bayesian synthesis of probabilistic programs for automatic data modeling Saad F., Cusumano-Towner M., Schaechtle U., Rinard M., Mansinghka V. Proceedings of the ACM on Programming Languages 3(POPL): 1-32, 2019. Type: Article
Somewhat overshadowed by neural networks (NN) is another thread in machine learning: the Bayesian-based approach. Less data hungry, it also has the promise of being closer to explainable artificial intelligence (XAI), although it hasn&...
|
|
|
|
|
|
more...
|
|
|
|