Registered user since Mon 19 Sep 2016
Name:Tobias Grosser
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website:https://www.grosser.es
Contributions
| SPLASH 2021 | FPL: Fast Presburger Arithmetic through Transprecision | ||||||||||||||||||||||||||||||||||||||||
| VMIL 2021 | Cross-Domain Compilation: Exploiting Synergies Across the CS Community | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile