Get my own profile
Public access
View all28 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Scott MooreGalois, Inc.Verified email at galois.com
K. VikramSoftware Engineer, TwitterVerified email at twitter.com
Michael ClarksonProvost's Teaching Fellow and Senior Lecturer of Computer Science, Cornell UniversityVerified email at cornell.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Aslan AskarovAssociate Professor at Aarhus UniversityVerified email at cs.au.dk
Margo SeltzerUniversity of British ColumbiaVerified email at cs.ubc.ca
Nathaniel NystromRelationalAIVerified email at usi.ch
Christos DimoulasPLT @ Northwestern UniversityVerified email at northwestern.edu
Jed LiuAkita SoftwareVerified email at cs.cornell.edu
Lucas WayeMetaVerified email at fb.com
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceVerified email at logicblox.com
Xin QiSquare IncVerified email at cornell.edu
Benjamin LivshitsReader (Associate Professor++) in Computer ScienceVerified email at imperial.ac.uk
Anitha (Boyapati) GollamudiUniversity of Massachusetts LowellVerified email at uml.edu
Anupam DattaSnowflake AI Research, Ex-Professor CMUVerified email at snowflake.com
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu
Jean YangMITVerified email at cs.cmu.edu
Armando Solar-LezamaMITVerified email at csail.mit.edu
Thomas H. AustinAssociate Professor of Computer Science, San Jose State UniversityVerified email at bias2build.com