selected scholarly activity
-
books
- 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
-
chapters
- Compositional Reversible Computation. Lecture Notes in Computer Science. 10-27. 2024
- Embracing the laws of physics: Three reversible models of computation. Advances in Computers. 15-63. 2022
-
conferences
- Eelco Visser as a Founding Member of the IFIP WG 2.11. OASIcs : OpenAccess Series in Informatics. 2023
- Symbolic Execution of Hadamard-Toffoli Quantum Circuits. Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. 14-26. 2023
- Types for Players. CEUR Workshop Proceedings. 2021
- 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. 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
- Building on the Diamonds between Theories: Theory Presentation Combinators. AISC/MKM/Calculemus. 202-215. 2018
- 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
- Towards typing for small-step direct reflection. Conference Record of the Annual ACM Symposium on Principles of Programming Languages. 93-96. 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
- A generative geometric kernel. Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation. 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
- Partial evaluation of Maple. Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation. 41-50. 2007
- A Rational Reconstruction of a System for Experimental Mathematics. Lecture Notes in Computer Science. 13-26. 2007
- Finally Tagless, Partially Evaluated. Lecture Notes in Computer Science. 222-238. 2007
- Finally tagless, partially evaluated - Tagless staged interpreters for simpler typed languages. Lecture Notes in Computer Science. 222-238. 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. 72-79. 2004
-
journal articles
- How to Bake a Quantum Π. Proceedings of the ACM on Programming Languages. 8:1-29. 2024
- With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proceedings of the ACM on Programming Languages. 8:546-574. 2024
- State of the Practice for Lattice Boltzmann Method Software. Archives of Computational Methods in Engineering. 31:313-350. 2024
- Generating Software for Well-Understood Domains. OASIcs : OpenAccess Series in Informatics. 109. 2023
- The Quantum Effect: A Recipe for QuantumPi 2023
- What Lies Beneath—A Survey of Affective Theory Use in Computational Models of Emotion. IEEE Transactions on Affective Computing. 13:1793-1812. 2022
- A Machine-Checked Proof of Birkhoff's Variety Theorem in Martin-Löf Type Theory. Leibniz International Proceedings in Informatics. 239. 2022
- Retrodictive Quantum Computing 2022
- Embracing the laws of physics: Three reversible models of computation. Advances in Computers. 126:15-63. 2022
- Long-Term Productivity Based on Science, not Preference. Workshop on the Science of Scientific-Software Development and Use, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Dec, 2021. 2021
- Methodology for Assessing the State of the Practice for Domain X 2021
- 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
- Long-term Productivity for Long-term Impact 2020
- The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems 2020
- Fractional Types. Lecture Notes in Computer Science. 12227:169-186. 2020
- Leveraging the Information Contained in Theory Presentations. Lecture Notes in Computer Science. 12236 LNAI:55-70. 2020
- GOOL: A Generic Object-Oriented Language (extended version) 2019
- From high-level inference algorithms to efficient code. Proceedings of the ACM on Programming Languages. 3:1-30. 2019
- Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal 2019
- 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
- Statistical Software for Psychology: Comparing Development Practices Between CRAN and Other Communities. CoRR. abs/1802.07362. 2018
- State of the Practice for GIS Software. CoRR. abs/1802.03422. 2018
- Biform Theories: Project Description. Lecture Notes in Computer Science. 11006:76-86. 2018
- HOL Light QE. Lecture Notes in Computer Science. 10895:215-234. 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. 66:48-67. 2011
- The MathScheme Library: Some Preliminary Experiments. CoRR. abs/1106.1862. 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
- Preface. Journal of Automated Reasoning. 44:1-2. 2010
- The Power of Vocabulary: The Case of Cyclotomic Polynomials. CoRR. abs/1002.0012. 2010
- Symbolic Domain Decomposition. Lecture Notes in Computer Science. 6167:172-188. 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. 77-84. 2007
- A canonical form for some piecewise defined functions. CoRR. abs/cs/0702010. 2007
- A kinetic model for the oxidation of silicon germanium alloys. Journal of Applied Physics. 98. 2005
- Telescoping in the context of symbolic summation in Maple. Journal of Symbolic Computation. 38:1303-1326. 2004
- Design Foundations for Emotional Game Characters. Eludamos: journal for computer game culture. 10:109-140.
-
preprints
- Compositional Reversible Computation 2024
- State of the Practice for Medical Imaging Software 2024
- With a Few Square Roots, Quantum Computing is as Easy as Π 2023
- Retrodictive Quantum Computing 2022
- Leveraging the Information Contained in Theory Presentations 2020
- Fractional Types: Expressive and Safe Space Management for Ancilla Bits 2020
- The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems 2020
- Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal 2019
- Building on the Diamonds between Theories: Theory Presentation Combinators 2018
- Biform Theories: Project Description 2018
- From Reversible Programs to Univalent Universes and Back 2017
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories 2014