BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bhat:Sooraj

Contributed to:

TACAS 20132013
POPL 20122012
PADL 20102010
OOPSLA 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.