
Registered user since Fri 17 Oct 2014
Name:Gagandeep Singh
Bio:
I am a PhD student in the Department of Computer Science at ETH Zurich supervised by Prof. Martin Vechev and Prof. Markus Puschel since Nov 2014. The focus of my research is making numerical static analysis of large realistic programs scalable and efficient through algorithmic improvements and performance optimizations.
Country:India
Affiliation:ETH Zurich, Switzerland
Personal website:http://www.srl.inf.ethz.ch/ggn.php
Research interests:Program Analysis, Performance Optimization
Contributions
POPL 2017 | Fast Polyhedra Abstract Domain | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile