Get my own profile
Public access
View all2 articles
0 articles
available
not available
Based on funding mandates
Co-authors
Alan J. HuProfessor of Computer Science, University of British ColumbiaVerified email at cs.ubc.ca- Ivan BeschastnikhUniversity of British ColumbiaVerified email at cs.ubc.ca
- Sam BaylessUniversity of British Columbia, Amazon Web ServicesVerified email at cs.ubc.ca
- Nodir KodirovHuawei CanadaVerified email at huawei.com
- Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerified email at cs.rwth-aachen.de
- Shane BergsmaToronto Research Center, Huawei TechnologiesVerified email at usask.ca
- Patrick TrentinUniversity of TrentoVerified email at unitn.it
- Haley LiGraduate Student, University of British ColumbiaVerified email at cs.ubc.ca
- Margo SeltzerUniversity of British ColumbiaVerified email at cs.ubc.ca
- Michael W WhalenAmazon, Inc. and the University of MinnesotaVerified email at cs.umn.edu
- Lee PikeAWS Automated ReasoningVerified email at amazon.com
