`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:

### Wrote 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.