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.
Affiliation: ETH Zürich
Personal website: http://www.srl.inf.ethz.ch/ggn.php
Research interests: Program Analysis, Performance Optimization
POPL 2018 Activities