Registered user since Thu 9 May 2019
I am a Research Scientist at the Computer Science & Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. I work on parallel and distributed systems, programming languages, and computer security—with recent focus on program analysis, transformation, and synthesis for automated parallelization, distribution, compartmentalization, and regeneration of computer programs or program fragments.
|PPoPP 2022||POSTER: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat|
|Show activities from other conferences|
View general profile