Hi 👋, You've reached Tim Whiting's GitHub Profile

About Me

• 🔭 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

Websites:

Personal Blog (outdated) BYU Static Analysis Lab Blog (more up to date) LinkedIn

Papers

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

• Dynamic SEU sensitivity of designs on two 28-nm SRAM-based FPGA architectures

Google Scholar