Sooraj Bhat

14 papers A* 3A 4C 1Misc 3Journal 2
YearRankTypeTitle / Venue / Authors
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
CoRR
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2017 J jnl
Deriving Probability Density Functions from Probabilistic Functional Programs.
Log. Methods Comput. Sci.
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2013 A conf
Deriving Probability Density Functions from Probabilistic Functional Programs.
TACAS
Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo
2013 — —
Syntactic foundations for machine learning.
Sooraj Bhat
2012 A* conf
A type theory for probability density functions.
POPL
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray
2010 C conf
Automating Mathematical Program Transformations.
PADL
Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann
2010 Misc conf
Toward interactive statistical modeling.
ICCS
Sooraj Bhat, Ashish Agarwal, Alexander G. Gray, Richard W. Vuduc
2008 A conf
Towards adaptive programming: integrating reinforcement learning into a programming language.
OOPSLA
Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas
2007 A conf
A globally optimal algorithm for TTD-MDPs.
AAMAS
Sooraj Bhat, David L. Roberts, Mark J. Nelson, Charles L. Isbell Jr., Michael Mateas
2007 A* conf
Authorial Idioms for Target Distributions in TTD-MDPs.
AAAI
David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr.
2006 A conf
A decision-theoretic approach to file consistency in constrained peer-to-peer device networks.
AAMAS
David L. Roberts, Sooraj Bhat, Charles Lee Isbell Jr., Brian F. Cooper, Jeffrey S. Pierce
2006 Misc conf
Farther Than You May Think: An Empirical Investigation of the Proximity of Users to Their Mobile Phones.
UbiComp
Shwetak N. Patel, Julie A. Kientz, Gillian R. Hayes, Sooraj Bhat, Gregory D. Abowd
2006 A* conf
On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming.
AAAI
Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas
2004 Misc conf
MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks.
NSDI
Adolfo Rodriguez, Charles Killian, Sooraj Bhat, Dejan Kostic, Amin Vahdat