Get my own profile
Public access
View all13 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Aws AlbarghouthiUniversity of Wisconsin–MadisonVerified email at cs.wisc.edu
Sumit GulwaniDistinguished Scientist, MicrosoftVerified email at microsoft.com
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Arie GurfinkelUniversity of WaterlooVerified email at uwaterloo.ca
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Josh BerdineSkipLabsVerified email at berdine.net
Loris D'AntoniUniversity of California-San DiegoVerified email at ucsd.edu
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
Swarat ChaudhuriUT Austin, Google DeepmindVerified email at cs.utexas.edu