Get my own profile
Public access
View all4 articles
1 article
available
not available
Based on funding mandates
Co-authors
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Jim GrundyApple ComputerVerified email at acm.org
John O'LearyIntel CorporationVerified email at intel.com
Daniel RickettsPhD Student, University of California, San DiegoVerified email at cs.ucsd.edu
Walid TahaHalmstad UniversityVerified email at hh.se
Jennifer GillenwaterGoogle Research NYCVerified email at google.com
Andre DeHonUniversity of PennsylvaniaVerified email at acm.org
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Stephen ChongHarvard UniversityVerified email at seas.harvard.edu
Edward Z. YangResearch Engineer, FacebookVerified email at meta.com