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 DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
- 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