Publications


Stepwise Debugging for Hardware Accelerators (ASPLOS 2023)
A Toolkit for Designing Hardware DSLs (WOSET 2021)
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy (WPES 2019)