BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
M.Püschel M.T.Vechev T.Gehr M.Haldar S.Prabhakar B.Dwivedi A.Ghosh
Talks about:
abstract (3) domain (3) numer (3) fast (3) construct (2) program (2) analysi (2) polyhedra (1) reinforc (1) decompos (1)

Person: Gagandeep Singh

DBLP DBLP: Singh:Gagandeep

Contributed to:

PLDI 20152015
DAC 20082008
CAV (1) 20182018
POPL 20172017
POPL 20182018
POPL 20192019

Wrote 6 papers:

PLDI-2015-SinghPV #performance #program analysis
Making numerical program analysis fast (GS, MP, MTV), pp. 303–313.
DAC-2008-HaldarSPDG #c++ #modelling #verification
Construction of concrete verification models from C++ (MH, GS, SP, BD, AG), pp. 942–947.
CAV-2018-SinghPV #learning #performance #program analysis
Fast Numerical Program Analysis with Reinforcement Learning (GS, MP, MTV), pp. 211–229.
POPL-2017-SinghPV #abstract domain #performance
Fast polyhedra abstract domain (GS, MP, MTV), pp. 46–59.
POPL-2018-SinghPV #abstract domain
A practical construction for decomposing numerical abstract domains (GS, MP, MTV), p. 28.
POPL-2019-SinghGPV #abstract domain #network
An abstract domain for certifying neural networks (GS, TG, MP, MTV), p. 30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.