Area of research
Artificial Intelligence · Hardware and Architecture
Research interest
Research interests include Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Software Engineering Research, and Advanced Software Engineering Methodologies.
Safe-for-Space Linked Environments
DSLs in Racket: You Want It How, Now?
Rhombus: A New Spin on Macros without All the Parentheses
Runtime and compiler support for HAMTs
Compiler and runtime support for continuation marks
A programmable programming language
Binding as sets of scopes
Towards Practical Gradual Typing
Chaperones and impersonators
Macros that Work Together
Collaborative Research: HNDS-I:SweetPea: Automating the Implementation and Documentation of Unbiased Experimental Designs
SHF:Small:A Domain-Specific Language for Designing Cognitive-Science Experiments
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
CI-EN: Collaborative: Run Your Research with Redex
SHF: Small: Collaborative Research: Designing a Patient-Oriented Prescription Language: An Executable Medical Algorithm for Gestational Diabetes Mellitus
SHF: Small: An Extensible Gradual Type System via Compile-Time Meta-Programming
PDOS: Experimenting with Garbage Collection in an Otherwise Conventional OS
SoD: Language Towers as Design Frameworks
Collaborative Research: EHS: Components and Aspects for Embedded Middleware
Collaborative: Exploiting Component Contracts for Static Analysis and Testing