selected scholarly activity
-
academic article
- Big Math and the One-Brain Barrier: The Tetrapod Model of Mathematical Knowledge. Mathematical Intelligencer. 43:78-87. 2021
- Formalizing category theory in Agda. Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. 327-342. 2021
- Fractional Types. Lecture Notes in Computer Science. 12227 LNCS:169-186. 2020
- Leveraging the Information Contained in Theory Presentations. Lecture Notes in Computer Science. 12236 LNAI:55-70. 2020
- An empirical comparison of first-person shooter information displays: HUDs, diegetic displays, and spatial representations. Entertainment Computing. 26:41-58. 2018
- Seismology software: state of the practice. Journal of Seismology. 22:755-788. 2018
- From Reversible Programs to Univalent Universes and Back. Electronic Notes in Theoretical Computer Science. 336:5-25. 2018
- Biform Theories: Project Description. Lecture Notes in Computer Science. 11006:76-86. 2018
- From high-level inference algorithms to efficient code. CoRR. abs/1805.06562. 2018
- HOL Light QE. Lecture Notes in Computer Science. 10895:215-234. 2018
- State of the Practice for GIS Software. CoRR. abs/1802.03422. 2018
- Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR. abs/1802.07362. 2018
- Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study. Lecture Notes in Computer Science. 10383:9-24. 2017
- State of the practice for mesh generation and mesh processing software. Advances in Engineering Software. 100:53-71. 2016
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories. Lecture Notes in Computer Science. 8543:252-266. 2014
- Preface. Developmental Psychobiology. 54:223-223. 2012
- Theory Presentation Combinators. Lecture Notes in Computer Science. 7362 LNAI:202-215. 2012
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. Journal of Functional Programming. 21:663-664. 2011
- SAGA: A DSL for Story Management. Electronic Proceedings in Theoretical Computer Science, EPTCS. 66:48-67. 2011
- Partial evaluation of Maple. Science of Computer Programming. 76:469-491. 2011
- Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code. Science of Computer Programming. 76:349-375. 2011
- The MathScheme Library: Some Preliminary Experiments. CoRR. abs/1106.1862. 2011
- Preface. Journal of Automated Reasoning. 44:1-2. 2010
- Symbolic Domain Decomposition. Lecture Notes in Computer Science. 6167:172-188. 2010
- The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR. abs/1002.0012. 2010
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages. Journal of Functional Programming. 19:509-543. 2009
- Computing properties of numerical imperative programs by symbolic computation. Fundamenta Informaticae. 80:125-146. 2007
- A canonical form for piecewise defined functions. Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07. 77-84. 2007
- A canonical form for some piecewise defined functions. CoRR. abs/cs/0702010. 2007
- Telescoping in the context of symbolic summation in Maple. Journal of Symbolic Computation. 38:1303-1326. 2004
- Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
- Embracing the Laws of Physics: Three Reversible Models of Computation
- GOOL: A Generic Object-Oriented Language (extended version)
- Long-term Productivity for Long-term Impact
- The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
-
book
- Preface. Ed. 12097 LNCS. 2020
- Intelligent Computer Mathematics 2015
- Preface. Ed. 9150. 2015
- Intelligent Computer Mathematics 2013
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. Ed. 7362 LNAI. 2012
- Intelligent Computer Mathematics 2012
- Intelligent Computer Mathematics. Ed. 5625 LNAI. 2009
-
conference paper
- Can Deep Learning Predict Problematic Gaming?. IEEE Conference on Computatonal Intelligence and Games, CIG. 662-665. 2020
- GOOL: a generic object-oriented language. Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2020. 45-51. 2020
- A language feature to unbundle data at will (short paper). Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. 14-19. 2019
- Leveraging information contained in theory presentations. CEUR Workshop Proceedings. 2019
- Towards Specifying Symbolic Computation. Lecture Notes in Computer Science. 109-124. 2019
- A Library of Reversible Circuit Transformations (Work in Progress). Lecture Notes in Computer Science. 339-345. 2018
- A knowledge-based approach to scientific software development. Proceedings of the International Workshop on Software Engineering for Science. 23-26. 2016
- Computing with Semirings and Weak Rig Groupoids. Lecture Notes in Computer Science. 123-148. 2016
- Probabilistic Inference by Program Transformation in Hakaru (System Description). Lecture Notes in Computer Science. 62-79. 2016
- Probabilistic inference by program transformation in hakaru. Lecture Notes in Computer Science. 62-79. 2016
- Simplifying Probabilistic Programs Using Computer Algebra. Lecture Notes in Computer Science. 135-152. 2016
- Effects of interior bezel size and configuration on gaming performance with large tiled displays. 2015 IEEE Games Entertainment Media Conference (GEM). 2015
- Evaluating the effectiveness of HUDs and diegetic ammo displays in first-person shooter games. 2015 IEEE Games Entertainment Media Conference (GEM). 2015
- Uniform vs. non-uniform scaling of shooter games on large displays. 2015 IEEE Games Entertainment Media Conference (GEM). 2015
- Workshop proposal: Game UI design, evaluation, and user research. 2015 IEEE Games Entertainment Media Conference (GEM). 2015
- Differences in Perspective and Software Scaling. Proceedings of the 3rd ACM Symposium on Spatial User Interaction. 128. 2015
- Effects of Bezel Size in Large Tiled Display Gaming. Proceedings of the 3rd ACM Symposium on Spatial User Interaction. 129. 2015
- Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings. Lecture Notes in Computer Science. 2015
- Diagetic vs. non-diagetic game displays. 2014 IEEE Games Media Entertainment. 2014
- Scale effects in "bullet hell" games. 2014 IEEE Games Media Entertainment. 2014
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories.. CICM. 252-266. 2014
- Scale Effects in "Bullet Hell" Games. 2014 IEEE GAMES, MEDIA, ENTERTAINMENT (GEM). 2014
- Co-Chairs' welcome. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. 2013
- Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. MKM/Calculemus/DML. 2013
- Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK. CICM Workshops. 2013
- Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013. WGP@ICFP. 2013
- Work in progress preface. CEUR Workshop Proceedings. 2013
- Function Substitution: Towards Constraint Solving in Software Testing. Proceedings - International Conference on Quality Software. 31-40. 2012
- Building on the Diamonds between Theories: Theory Presentation Combinators. AISC/MKM/Calculemus. 202-215. 2012
- Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings. AISC/MKM/Calculemus. 2012
- Towards typing for small-step direct reflection. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 93-96. 2012
- A generative geometric kernel. Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11. 53-62. 2011
- MathScheme: Project Description. Lecture Notes in Computer Science. 287-288. 2011
- Mechanized Mathematics. Lecture Notes in Computer Science. 157-157. 2010
- The Sparsity Challenges. 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. 3-7. 2009
- A Review of Mathematical Knowledge Management. Lecture Notes in Computer Science. 233-246. 2009
- Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Calculemus/MKM. 2009
- Case Studies in Model Manipulation for Scientific Computing. Lecture Notes in Computer Science. 24-37. 2008
- High-Level Theories. Lecture Notes in Computer Science. 232-245. 2008
- A Rational Reconstruction of a System for Experimental Mathematics. Lecture Notes in Computer Science. 13-26. 2007
- Finally Tagless, Partially Evaluated.. APLAS. 222-238. 2007
- Finally tagless, partially evaluated - Tagless staged interpreters for simpler typed languages. Lecture Notes in Computer Science. 222-238. 2007
- Partial evaluation of Maple. Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '07. 41-50. 2007
- Gaussian Elimination: A case study in efficient genericity with MetaOCaml. Science of Computer Programming. 3-24. 2006
- Bimonadic Semantics for Basic Pattern Matching Calculi. Lecture Notes in Computer Science. 253-273. 2006
- Control-Flow Semantics for Assembly-Level Data-Flow Graphs. Lecture Notes in Computer Science. 147-160. 2006
- Hierarchical Representations with Signatures for Large Expression Management. Lecture Notes in Computer Science. 254-268. 2006
- Mining Maple code for contracts. Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006. 36-51. 2006
- Partial evaluation and residual theorems in computer algebra. Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006. 21-35. 2006
- Program verification by calculating relations. PROCEEDINGS OF THE 15TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING. 151-+. 2006
- Symbolic computation and deduction applied to reverse engineering. Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006. 132-134. 2006
- A comprehensive kinetic model for wet oxidation of silicon germanium alloys. 2005 NSTI Nanotechnology Conference and Trade Show - NSTI Nanotech 2005 Technical Proceedings. 21-24. 2005
- Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. Lecture Notes in Computer Science. 256-274. 2005
- Symbolic Interpretation of Legacy Assembly Language. Proceedings - Working Conference on Reverse Engineering, WCRE. 23-32. 2005
- Understanding expression simplification. Proceedings of the 2004 international symposium on Symbolic and algebraic computation - ISSAC '04. 72-79. 2004