Get my own profile
Public access
View all16 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Clark BarrettStanford UniversityVerified email at cs.stanford.edu
Andrew ReynoldsUniversity of Iowa, Amazon Web ServicesVerified email at uiowa.edu
Liana HadareanAmazon Web ServicesVerified email at amazon.com
Cesare TinelliProfessor of Computer Science, The University of IowaVerified email at uiowa.edu
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Morgan DetersSenior Research Scientist, NYUVerified email at cs.nyu.edu
Tim KingAmazonVerified email at amazon.com
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Ákos HajduMeta / WhatsAppVerified email at meta.com
Ashish TiwariComputer Scientist, SRI International; Researcher MicrosoftVerified email at csl.sri.com
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Gabriela (Cretu) CiocarlieAssociate Professor at The University of Texas at San AntonioVerified email at cs.columbia.edu
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Jorge A NavasCertoraVerified email at certora.com
Kshitij Bansalkshitij.ioVerified email at kshitij.io
Martin SchaefAmazon Web ServicesVerified email at amazon.com
patrick lincolnSRIVerified email at sri.com
Pramod SubramanyanIndian Institute of Technology KanpurVerified email at cse.iitk.ac.in
Adrià GascónGoogle ResearchVerified email at google.com
John RushbySRI InternationalVerified email at csl.sri.com