Jacques Carette

Cited by

	All	Since 2016
Citations	1080	550
h-index	17	11
i10-index	27	11

160

120

200520062007200820092010201120122013201420152016201720182019202020217 27 34 29 41 70 73 57 65 50 48 79 100 150 95 102 22

Co-authors

William M. FarmerProfessor of Computer Science and Software Engineering, McMaster UniversityVerified email at mcmaster.ca
Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityVerified email at mcmaster.ca
Chung-chieh ShanIndiana UniversityVerified email at indiana.edu
Robert J. TeatherAssistant Professor, School of Information Technology, Carleton UniversityVerified email at carleton.ca
Amr SabryProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Christopher Kumar AnandAssociate Professor of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Praveen NarayananIndiana UniversityVerified email at indiana.edu
Michael KohlhaseInformatik, FAU Erlangen-NürnbergVerified email at fau.de
Rob ZinkovUniversity of OxfordVerified email at robots.ox.ac.uk
Stephen M. WattUniversity of WaterlooVerified email at uwaterloo.ca
Volker SorgeReader in Scientific Document Analysis, University of BirminghamVerified email at cs.bham.ac.uk
Florian RabeUniversity Erlangen-NurembergVerified email at fau.de
Wolfram KahlAssociate Professor, Dept. of Computing and Software, McMaster UniversityVerified email at cas.mcmaster.ca
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCSVerified email at bath.ac.uk
Mohamed Rabie, PhDTCAD and thermomechanical modeling Engineer, Global FoundriesVerified email at globalfoundries.com
Yaser M. HaddaraMcMaster UniversityVerified email at mcmaster.ca
Claudio Sacerdoti CoenUniversity of BolognaVerified email at unibo.it
Yasmine SharodaPhD Candidate, McMaster UniversityVerified email at mcmaster.ca
I Scott MacKenzieYork UniversityVerified email at cse.yorku.ca
Ryszard JanickiProfessor, Department of Computing and Software, McMaster UniversityVerified email at mcmaster.ca

Jacques Carette

Associate Professor of Computer Science and Software Engineering, McMaster University

Verified email at mcmaster.ca - Homepage

Metaprogramming Mechanized Mathematics Game Design


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages J Carette, O Kiselyov, C Shan Journal of Functional Programming 19 (5), 509-543, 2009	284*	2009
Probabilistic Inference by Program Transformation in Hakaru (System Description) P Narayanan, J Carette, W Romano, CS Shan, R Zinkov Functional and Logic Programming 9613, 62-79, 2016	72	2016
Finally tagless, partially evaluated J Carette, O Kiselyov, CC Shan Asian Symposium on Programming Languages and Systems, 222-238, 2007	57	2007
Understanding expression simplification J Carette Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	51	2004
A kinetic model for the oxidation of silicon germanium alloys MA Rabie, YM Haddara, J Carette Journal of applied physics 98 (7), 074904, 2005	49	2005
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code J Carette, O Kiselyov International Conference on Generative Programming and Component Engineering …, 2005	33	2005
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code J Carette, O Kiselyov Science of Computer Programming 76 (5), 349-375, 2011	31	2011
Gaussian elimination: A case study in efficient genericity with MetaOCaml J Carette Science of Computer Programming 62 (1), 3-24, 2006	30	2006
Telescoping in the context of symbolic summation in Maple SA Abramov, JJ Carette, KO Geddes, HQ Le Journal of Symbolic Computation 38 (4), 1303-1326, 2004	28	2004
Intelligent Computer Mathematics J Carette, L Dixon, CS Coen, SM Watt Lecture Notes in Computer Science 5625, 2009	27*	2009
A review of mathematical knowledge management J Carette, WM Farmer International Conference on Intelligent Computer Mathematics, 233-246, 2009	25	2009
Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games M Peacocke, RJ Teather, J Carette, IS MacKenzie 2015 IEEE Games Entertainment Media Conference (GEM), 1-8, 2015	23	2015
Control-flow semantics for assembly-level data-flow graphs W Kahl, CK Anand, J Carette Relational Methods in Computer Science, 147-160, 2005	23	2005
Simplifying probabilistic programs using computer algebra J Carette, C Shan International Symposium on Practical Aspects of Declarative Languages, 135-152, 2016	20	2016
Computing with semirings and weak rig groupoids J Carette, A Sabry European Symposium on Programming, 123-148, 2016	18	2016
Theory presentation combinators J Carette, R O’Connor International Conference on Intelligent Computer Mathematics, 202-215, 2012	18	2012
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference … J Jeuring, J Campbell, J Carette, G Dos Reis, P Sojka, M Wenzel, V Sorge Springer, 2012	18*	2012
High-level theories J Carette, WM Farmer International Conference on Intelligent Computer Mathematics, 232-245, 2008	18	2008
Computing properties of numerical imperative programs by symbolic computation J Carette, R Janicki Fundamenta Informaticae 80 (1-3), 125-146, 2007	17	2007
Position paper: A knowledge-based approach to scientific software development D Szymczak, S Smith, J Carette 2016 IEEE/ACM International Workshop on Software Engineering for Science …, 2016	15*	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors