AS

Armando Solar-Lezama

Massachusetts Institute of Technology 0000-0001-7604-8252

229

Publications

7,730

Citations

44

h-index

106

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (140)
Preprint (66)
Book Chapter (15)
Dataset (3)
Book (2)

Filter by Open Access Type

Open Access (75)
Closed Access (154)

Filter by Authors

Armando Solar-Lezama (229)
Joshua B. Tenenbaum (24)
Yewen Pu (23)
Kevin Ellis (20)
Rishabh Singh (18)

Filter by Topics

Software Engineering Research (69)
Logic, programming, and type systems (55)
Software Testing and Debugging Techniques (49)
Parallel Computing and Optimization Techniques (46)
Formal Methods in Verification (33)