selected scholarly activity
-
academic article
- An Empirical Comparison of First-Person Shooter Information Displays: HUDs, Diegetic Displays, and Spatial Representations. Entertainment Computing. 2018
- HOL Light QE. CoRR. abs/1802.00405. 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. CoRR. abs/1704.02253. 2017
- From Reversible Programs to Univalent Universes and Back. CoRR. abs/1708.02710. 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
- Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215. abs/1204.0053. 2012
- 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
- Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574. Journal of Functional Programming. 21:1-2. 2011
- The MathScheme Library: Some Preliminary Experiments. CoRR. abs/1106.1862. 2011
- Symbolic Domain Decomposition. Lecture Notes in Computer Science. 6167:172-+. 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. ISSAC 2007: 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
- Telescoping in the context of symbolic summation in Maple. Journal of Symbolic Computation. 38:1303-1326. 2004
- Preface. Journal of Automated Reasoning. 12:1. 1999
- Biform Theories: Project Description
- Seismology software: state of the practice. Journal of Seismology.
-
conference paper
- Computing with Semirings and Weak Rig Groupoids. Lecture Notes in Computer Science. 123-148. 2016
- Position Paper: A Knowledge-Based Approach to Scientific Software Development. PROCEEDINGS OF 2016 IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SCIENCE (SE4SCIENCE). 23-26. 2016
- Probabilistic Inference by Program Transformation in Hakaru (System Description).. FLOPS. 62-79. 2016
- Simplifying Probabilistic Programs Using Computer Algebra.. PADL. 135-152. 2016
- Differences in Perspective and Software Scaling.. SUI. 128-128. 2015
- Effects of Bezel Size in Large Tiled Display Gaming.. SUI. 129-129. 2015
- 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
- Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. CICM. 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
- Diagetic vs. Non-Diagetic Game Displays. 2014 IEEE GAMES, MEDIA, ENTERTAINMENT (GEM). 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
- 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
- Function Substitution: Towards Constraint Solving in Software Testing. Proceedings - International Conference on Quality Software. 31-40. 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
- Theory Presentation Combinators.. AISC/MKM/Calculemus. 202-215. 2012
- Towards typing for small-step direct reflection.. PEPM. 93-96. 2012
- A generative geometric kernel.. PEPM. 53-62. 2011
- MathScheme: Project Description. Lecture Notes in Computer Science. 287-288. 2011
- Mechanized Mathematics. Lecture Notes in Computer Science. 157-157. 2010
- 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
- The Sparsity Challenges. 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009). 3-7. 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-+. 2008
- A rational reconstruction of a system for experimental mathematics. Lecture Notes in Computer Science. 13-+. 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.. PEPM. 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
- Program verification by calculating relations. PROCEEDINGS OF THE 15TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING. 151-+. 2006
- 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. WCRE: 12th Working Conference on Reverse Engineering 2005, Proceedings. 23-32. 2005
- Understanding expression simplification.. ISSAC. 72-79. 2004