PPoPP 2016 (series) / Armando Solar-Lezama
![Armando Solar-Lezama](https://ppopp16.sigplan.org/getProfileImage/armandosolarlezama/1d1e5393-908b-4545-9d1e-cf8300dfd7d1/small.jpg?1711511244000)
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
Affiliation:MIT
Personal website: http://people.csail.mit.edu/asolar/
Contributions
2016
Principles and Practice of Parallel Programming
PPoPP 2016-profile
View general profile
View general profile