Travelled to:1 × Italy
1 × Spain
2 × USA
Collaborated with:A.Agarwal A.G.Gray J.Borgström A.D.Gordon C.V.Russo R.W.Vuduc I.E.Grossmann C.Simpkins C.L.I.Jr. M.Mateas
Talks about:program (4) function (3) probabl (2) densiti (2) probabilist (1) transform (1) reinforc (1) mathemat (1) languag (1) toward (1)
Person: Sooraj Bhat
DBLP: Bhat:Sooraj
Contributed to:
2013
2012
2010
2008Wrote 4 papers:
- TACAS-2013-BhatBGR #functional #probability #source code
- Deriving Probability Density Functions from Probabilistic Functional Programs (SB, JB, ADG, CVR), pp. 508–522.
- POPL-2012-BhatAVG #probability #type system
- A type theory for probability density functions (SB, AA, RWV, AGG), pp. 545–556.
- PADL-2010-AgarwalBGG #automation #program transformation
- Automating Mathematical Program Transformations (AA, SB, AGG, IEG), pp. 134–148.
- OOPSLA-2008-SimpkinsBIM #adaptation #learning #programming language #towards
- Towards adaptive programming: integrating reinforcement learning into a programming language (CS, SB, CLIJ, MM), pp. 603–614.