Založit si vlastní profil
Spoluautoři
- Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;E-mailová adresa ověřena na: inf.ethz.ch
- Timon GehrETH ZürichE-mailová adresa ověřena na: inf.ethz.ch
- Petar TsankovCo-founder & CEO, LatticeFlowE-mailová adresa ověřena na: latticeflow.ai
- Gagandeep SinghAssistant Professor, Department of Computer Science, UIUCE-mailová adresa ověřena na: illinois.edu
- Dana Drachsler-CohenTechnionE-mailová adresa ověřena na: ee.technion.ac.il
- Markus PüschelProfessor of Computer Science, ETH Zurich, SwitzerlandE-mailová adresa ověřena na: inf.ethz.ch
- Swarat ChaudhuriProfessor of Computer Science, The University of Texas at AustinE-mailová adresa ověřena na: cs.utexas.edu
- Maximilian BaaderETH ZurichE-mailová adresa ověřena na: inf.ethz.ch
- Dimitar K. DimitrovSenior Researcher, INSAITE-mailová adresa ověřena na: insait.ai
- Gary L. MillerCarnegie Mellon UniversityE-mailová adresa ověřena na: cs.cmu.edu
- Todd PhillipsGoogle AdsE-mailová adresa ověřena na: google.com