MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. - Adolfo Rodriguez; Charles Killian; Sooraj Bhat; Dejan Kostic; Amin Vahdat (NSDI, 2004)

On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming. - Sooraj Bhat; Charles Lee Isbell Jr.; Michael Mateas (AAAI, 2006)

A decision-theoretic approach to file consistency in constrained peer-to-peer device networks. - David L. Roberts 001; Sooraj Bhat; Charles Lee Isbell Jr.; Brian F. Cooper; Jeffrey S. Pierce (AAMAS, 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 (UbiComp, 2006)

Authorial Idioms for Target Distributions in TTD-MDPs. - David L. Roberts 001; Sooraj Bhat; Kenneth St. Clair; Charles Lee Isbell Jr. (AAAI, 2007)

A globally optimal algorithm for TTD-MDPs. - Sooraj Bhat; David L. Roberts 001; Mark J. Nelson; Charles L. Isbell Jr.; Michael Mateas (AAMAS, 2007)

Towards adaptive programming: integrating reinforcement learning into a programming language. - Christopher L. Simpkins; Sooraj Bhat; Charles Lee Isbell Jr.; Michael Mateas (OOPSLA, 2008)

Automating Mathematical Program Transformations. - Ashish Agarwal; Sooraj Bhat; Alexander G. Gray; Ignacio E. Grossmann (PADL, 2010)

Toward interactive statistical modeling. - Sooraj Bhat; Ashish Agarwal; Alexander G. Gray; Richard W. Vuduc (ICCS, 2010)

A type theory for probability density functions. - Sooraj Bhat; Ashish Agarwal; Richard W. Vuduc; Alexander G. Gray (POPL, 2012)

Syntactic foundations for machine learning. - Sooraj Bhat (2013)

Deriving Probability Density Functions from Probabilistic Functional Programs. - Sooraj Bhat; Johannes Borgström; Andrew D. Gordon 001; Claudio V. Russo (Log. Methods Comput. Sci., 2017)