Get my own profile
Co-authors
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu- Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Nate FosterAssociate Professor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Jedidiah McClurgAssistant Professor of CS, Colorado School of MinesVerified email at mines.edu
- Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Leonid RyzhykVMware ResearchVerified email at vmware.com
- Damien ZuffereyResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
- Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
- Swarat ChaudhuriUniversity of Texas at AustinVerified email at cs.utexas.edu
- Thorsten TarrachAIT Austrian Institute of TechnologyVerified email at ait.ac.at
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
- Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
- Rohit SinghMIT, Uber AI, FacebookVerified email at csail.mit.edu
- Adam J. AvivThe George Washington UniversityVerified email at gwu.edu
- Micah SherrAssociate Professor of Computer Science, Georgetown UniversityVerified email at cs.georgetown.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
