Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2015.
Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2018.
Gagandeep Singh, Markus Püschel, Martin Vechev, CAV 2018.
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev, NeurIPS 2018.
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, POPL 2019.
Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev, ICLR 2019.
Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev, NeurIPS 2019.
Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev, NeurIPS 2019.
Jingxuan He, Gagandeep Singh, Markus Püschel, Martin Vechev, PLDI 2020.
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev, ICML 2020.
Christoph Müller, Francois Serre, Gagandeep Singh, Markus Püschel, Martin Vechev, MLSys 2021.
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev, CAV 2021.
Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev, ICCV 2021.
Zikun Liu, Gagandeep Singh, Chenren Xu, Deepak Vasisht, MobiCom 2021.
Jacob Laurel, Rem Yang, Gagandeep Singh, Sasa Misailovic, POPL 2022.
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev, POPL 2022.
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev, ICLR 2022.
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev, CAV 2022.
Shubham Ugare, Gagandeep Singh, Sasa Misailovic, OOPSLA 2022.
Advanced Graduate course, 2021