Travelled to:
1 × United Kingdom
Collaborated with:
C.Hur A.V.Nori S.K.Rajamani
Talks about:
probabilist (1) program (1) slice (1)
Person: Selva Samuel
DBLP: Samuel:Selva
Contributed to:
Wrote 1 papers:
- PLDI-2014-HurNRS #probability #slicing #source code
- Slicing probabilistic programs (CKH, AVN, SKR, SS), p. 16.