| 2013 | TACAS | Deriving Probability Density Functions from Probabilistic Functional Programs. | Sooraj Bhat, Johannes Borgstrm, Andrew D. Gordon, Claudio V. Russo |
| 2012 | POPL | A type theory for probability density functions. | Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Alexander G. Gray |
| 2010 | PADL | Automating Mathematical Program Transformations. | Ashish Agarwal, Sooraj Bhat, Alexander G. Gray, Ignacio E. Grossmann |
| 2008 | OOPSLA | Towards adaptive programming: integrating reinforcement learning into a programming language. | Christopher L. Simpkins, Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas |
| 2007 | AAAI | Authorial Idioms for Target Distributions in TTD-MDPs. | David L. Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Lee Isbell Jr. |
| 2006 | AAAI | On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming. | Sooraj Bhat, Charles Lee Isbell Jr., Michael Mateas |
| 2004 | NSDI | MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks. | Adolfo Rodriguez, Charles Killian, Sooraj Bhat, Dejan Kostic, Amin Vahdat |