Get my own profile
Public access
View all32 articles
4 articles
available
not available
Based on funding mandates
Co-authors
- Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
- Jorge A NavasCertoraVerified email at certora.com
- Yakir VizelTechnionVerified email at cs.technion.ac.il
- Temesghen KahsaiPrincipal Applied Scientist @ AmazonVerified email at amazon.com
- Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
- Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
- Sharon ShohamTel Aviv UniversityVerified email at tauex.tau.ac.il
- Ofer StrichmanTechnion, Haifa, IsraelVerified email at ie.technion.ac.il
- Anvesh KomuravelliCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Grigory FedyukovichFlorida State UniversityVerified email at cs.fsu.edu
- Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
- Steve EasterbrookProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
- Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileVerified email at dcc.uchile.cl
- Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Jessica DaviesEpidemiologistVerified email at roche.com
- Anton BelovSynopsys Inc.Verified email at belov-mcdowell.com
- Zachary KincaidPrinceton UniversityVerified email at cs.princeton.edu
- Ipek OzkayaCarnegie Mellon University Software Engineering InstituteVerified email at sei.cmu.edu