Registered user since Mon 10 Jun 2019
Name: Armando Solar-Lezama
Bio: 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.
Country: United States
Personal website: http://people.csail.mit.edu/asolar/
|PPoPP 2016||Author of Autogen: Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs within the Main conference-track|
|Show activities from other conferences|
View general profile