Get my own profile
Public access
View all22 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
- Thomas HenzingerIST AustriaVerified email at ist.ac.at
- Nate FosterProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
- Jedidiah McClurgVerified email at colostate.edu
- Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
- Ashutosh TrivediAssociate Professor, University of Colorado at BoulderVerified email at colorado.edu
- Saeid Tizpaz-NiariAssistant Professor, University of Texas at El PasoVerified email at utep.edu
- Leonid RyzhykFelderaVerified email at feldera.com
- Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
- Damien ZuffereyStatic Analysis Scientist, SonarSource S.A.Verified email at sonarsource.com
- Thorsten TarrachAmazon Web ServicesVerified email at amazon.com
- Bor-Yuh Evan ChangAssociate Professor of Computer Science, University of Colorado BoulderVerified email at cs.colorado.edu
- Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu
- Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
- Rohit SinghMIT, Uber AI, Facebook, Meta, CitadelVerified email at csail.mit.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
- Sriram SankaranarayananProfessor of Computer Science, University of Colorado BoulderVerified email at colorado.edu
- Sergio MoverÉcole Polytechnique and LIXVerified email at polytechnique.edu
- Roopsha SamantaAssistant Professor, Purdue UniversityVerified email at purdue.edu