Registered user since Mon 10 Jun 2019
I work with the Computer Assisted Programming Group; our goal is to develop techniques and tools that exploit automated reasoning and large amounts of computing power to tackle challenging programming problems.
|PLOOC 2015|| Opening and Welcome|
Co-chair in Program Committee within the PLOOC 2015-track
|PLDI 2015||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile