Sooraj Bhat

According to our database, Sooraj Bhat authored at least 12 papers between 2004 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Deriving Probability Density Functions from Probabilistic Functional Programs.

Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio V. Russo

Log. Methods Comput. Sci., 2017

2013

Syntactic foundations for machine learning.

Sooraj Bhat

PhD thesis, 2013

2012

A type theory for probability density functions.

Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010

Toward interactive statistical modeling.

Sooraj Bhat, Ashish Agarwal, Alexander G. Gray, Richard W. Vuduc

Proceedings of the International Conference on Computational Science, 2010

Automating Mathematical Program Transformations.

Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann

Proceedings of the Practical Aspects of Declarative Languages, 2010

2008

Towards adaptive programming: integrating reinforcement learning into a programming language.

Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

2007

A globally optimal algorithm for TTD-MDPs.

Sooraj Bhat, David L. Roberts, Mark J. Nelson, Charles L. Isbell Jr., Michael Mateas

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Authorial Idioms for Target Distributions in TTD-MDPs.

David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr.

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Farther Than You May Think: An Empirical Investigation of the Proximity of Users to Their Mobile Phones.

Shwetak N. Patel, Julie A. Kientz, Gillian R. Hayes, Sooraj Bhat, Gregory D. Abowd

Proceedings of the UbiComp 2006: Ubiquitous Computing, 2006

A decision-theoretic approach to file consistency in constrained peer-to-peer device networks.

David L. Roberts, Sooraj Bhat, Charles Lee Isbell Jr., Brian F. Cooper, Jeffrey S. Pierce

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming.

Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas

Proceedings of the Proceedings, 2006

2004

MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks.

Adolfo Rodriguez, Charles Edwin Killian, Sooraj Bhat, Dejan Kostic, Amin Vahdat

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004