Travelled to:
1 × USA
Collaborated with:
A.V.Nori S.Ozair S.K.Rajamani
Talks about:
probabilist (1) synthesi (1) program (1) effici (1)
Person: Deepak Vijaykeerthy
DBLP: Vijaykeerthy:Deepak
Contributed to:
Wrote 1 papers:
- PLDI-2015-NoriORV #performance #probability #source code #synthesis
- Efficient synthesis of probabilistic programs (AVN, SO, SKR, DV), pp. 208–217.