Publications

Vectorization for Digital Signal Processors via Equality Saturation
Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’21)
Code
A Compiler Infrastructure for Accelerator Generators
Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ’21)
Code Slides
A Synthesis-Aided Compiler for DSP Architectures (WiP paper)
International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES ’20)
PDF
Predictable Accelerator Design with Time-Sensitive Affine types
Programming Languages Design and Implementation (PLDI ’20)
PDF Code Slides Demo Talk (short) Talk (long)
Putting in All the Stops: Execution Control for JavaScript
Programming Languages Design and Implementation (PLDI ’18)
PDF Code Video Demo
Fission: Secure Dynamic Code-Splitting for JavaScript
Summit on Advances in Programming Languages (SNAPL ’17)
PDF