- 🔭 I’m currently working on: My PhD Research: Control Flow Analysis for Algebraic Effects
- 🌱 I’m currently learning: How to design Abstract Machines that are well-suited for abstracting
- 💬 Ask me about: Koka, Control Flow Analysis, Type Systems, Implicits, Dart, Flutter
- 📫 How to reach me: Add an issue on one of my repositories, ideally one of the ones that you are interested in collaborating or knowing more about.
tim at whitings dot org
Personal Blog (outdated) BYU Static Analysis Lab Blog (more up to date) LinkedIn
Programming Languages: PhD Research
- Context-Sensitive Demand-Driven Control Flow Analysis (Accepted at ESOP)
Digital Control Systems: Internships
- A Comparison of Three Types of Computer-Based Procedures: An Experiment Using the Rancor Microworld Simulator
- Rancor Computer-Based Procedures–A Framework For Task Level Human Performance Data Collection
- Applying human factors evaluation and design guidance to a nuclear power plant digital control system
Human Robot Interaction / Robot Self-Assessment : Master's Research
- Confronting barriers to human-robot cooperation: balancing efficiency and risk in machine behavior
- Robot proficiency self-assessment using assumption-alignment tracking
- A method for designing autonomous robots that know their limits
FGPA Circuit Design Reliability: Undergrad Research