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
- Cătălin HrițcuTenured Faculty at MPI-SPVerified email at mpi-sp.org
- Leonidas LampropoulosAssistant Professor, University of MarylandVerified email at umd.edu
- Yao LiPortland State UniversityVerified email at pdx.edu
- Yannick ZakowskiInriaVerified email at inria.fr
- Paul HeUniversity of PennsylvaniaVerified email at cis.upenn.edu
- Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
- Yishuai LiEngineer II, Alibaba CloudVerified email at alibaba-inc.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
- William ManskyAssistant Professor, University of Illinois at ChicagoVerified email at uic.edu
- Wolf HonoreVerified email at yale.edu
- Lennart BeringerPrinceton UniversityVerified email at cs.princeton.edu
- Hengchu ZhangUniversity of PennsylvaniaVerified email at seas.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
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
- David NaccacheENS (Equipe Securité) & visiting RHUL (ISG)Verified email at ens.fr
