Sooraj Bhat

Publication Activity (10 Years)

Years Active: 2004-2017
Publications (10 Years): 2

Top Venues

CoRR

TACAS

POPL

Log. Methods Comput. Sci.

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

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

Sooraj Bhat.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sooraj Bhat