Registered user since Fri 16 Jan 2015
I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.
|LCTES 2020||WIP: A Synthesis-aided Compiler for DSP Architectures|
|PLDI 2020|| Committee Member in Program Committee within the PLDI Research Papers-track|
Session Chair of Synthesis I (part of PLDI Research Papers)
|Show activities from other conferences|
View general profile