Get my own profile
Public access
View all8 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Yao LiPortland State UniversityVerified email at pdx.edu
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
Yannick ZakowskiInriaVerified email at inria.fr
Paul HeUniversity of TorontoVerified email at cs.toronto.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Yishuai LiEngineer II, Alibaba CloudVerified email at alibaba-inc.com
William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
Wolf HonoreVerified email at yale.edu
Lennart BeringerVerified email at pm.me
Hengchu ZhangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Adam ChlipalaMIT CSAILVerified email at csail.mit.edu
Meng WangReader in Computer Science, University of BristolVerified email at bristol.ac.uk
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Verified email at ens.fr