Travelled to:
1 × USA
Collaborated with:
A.V.Nori S.K.Rajamani D.Vijaykeerthy
Talks about:
probabilist (1) synthesi (1) program (1) effici (1)
Person: Sherjil Ozair
DBLP: Ozair:Sherjil
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.