Get my own profile
Public access
View all33 articles
3 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
Priya NarasimhanProfessor, Electrical & Computer Engineering, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Jocelyn SimmondsAssociate Professor, Computer Science Department, University of ChileVerified email at dcc.uchile.cl
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