Curriculum Vitae
Full printable CV: PDF
Floating-Point Research
Released Software:
Publications:
- HPC-MixPBench: An HPC Benchmark Suite for Mixed-Precision Analysis (IISWC'20, PDF)
- Tool Integration for Source-Level Mixed Precision (Correctness'19, PDF)
- Variable Precision Computing (DOE TR, PDF)
- ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning (SC'18, PDF)
- Summer Report: Tool Integration for Variable-Precision Computing (LLNL'18, PDF)
- Summer Report: Software Tools for Variable-Precision Computing (LLNL'17, PDF)
- Thoughtful Precision in Mini-apps (CLUSTER'17, PDF)
- Fine-grained Floating-point Precision Analysis (IJHPCA'16, PDF)
- Floating-Point Shadow Value Analysis (ESPT'16, PDF)
- Automated Floating-Point Precision Analysis (Dissertation, PDF)
- Automatically Adapting Programs for Mixed-Precision Floating-Point Computation (ICS'13, PDF)
- Dynamic Floating-Point Cancellation Detection (PARCO'13, PDF)
Selected Talks:
- Office Space and Salami: Automated Floating-Point Program Analysis (an undergrad-level intro to my research)
- Software Tools for Mixed-Precision Program Analysis (an overview of all of my projects as of Spring 2019)
- Do You Understand IEEE Floating Point? (a talk based on the IPDPS'18 paper by Peter Dinda)
Miscellaneous Research
Released Software:
Publications:
- A Successful Online Systems Class Using Scaffolded Active Learning and Formative Assessment (CCSC'21, PDF)
- Automating Systems Course Unit and Integration Testing (SIGCSE'19, PDF)
- Less-Java, More Learning: Language Design for Introductory Programming (CCSC'19, PDF)
- Computing Bases of Modular Forms Using the Graded Algebra Structure (MM'19, PDF)
- Analysis of Parallel Implementation of Centrality Algorithms (CCSC'18, PDF)
- Parallelizing Shamir's Secret Sharing Algorithm (CCSC'18, PDF)
- Traveling Salesman: A Heuristic Scaling Analysis (CCSC'18, PDF)
- BRISC—An Open Source Pulmonary Nodule Image Retrieval Framework (JDI'07, PDF)
Classwork
Project reports from graduate courses at the University of Maryland, College Park:
- Automatic Patch Generation (CMSC 631, PDF)
- Decoupling Port and Protocol on the Internet (CMSC 711, PDF)
- FPInst: Floating Point Error Analysis Using Dyninst (CMSC 714, PDF)
- Query Progress Indicators in PostgreSQL (CMSC 724, PDF)
- Uncertainty for the Novice (CMSC 734, PDF)
- EasyCell: A Language for Describing Cellular Signalling Pathways (CMSC 828N, PDF)
Project reports from undergraduate courses at James Madison University: