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.
|POPL 2016|| T3: Syntax-Guided Synthesis (SyGuS)|
T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
|Show activities from other conferences|
View general profile