PPoPP 2016
Sat 12 - Wed 16 March 2016 Barcelona, Spain
Armando Solar-Lezama

Registered user since Mon 10 Jun 2019

Name:Armando Solar-Lezama

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


PPoPP 2016 Autogen: Automatic Discovery of Cache-Oblivious Parallel Recursive Algorithms for Solving Dynamic Programs
Show activities from other conferences

PPoPP 2016-profile
View general profile