Sooraj Bhat

So you might be wondering how I spend my time. At the moment, I am pursuing a Ph.D. in Computer Science (specializing in Intelligent Systems) here at Georgia Tech. Broadly speaking, my interests are machine learning, programming languages, distributed systems and game theory.

I am advised by Alex Gray and Charles Isbell.

Publications

My publications are listed at DBLP, Google Scholar, and Microsoft Academic Search.

Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Refereed Conference Papers

• Deriving Probability Density Functions from Probabilistic Functional Programs.
  Sooraj Bhat, Johannes Borgstroem, Andrew Gordon, Claudio Russo
  Intl. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2013
  To appear.
• A Type Theory for Probability Density Functions.
  Sooraj Bhat, Ashish Agarwal, Richard Vuduc, Alexander Gray.
  Principles of Programming Languages (POPL), 2012.
• Automating Mathematical Program Transformations.
  Ashish Agarwal, Sooraj Bhat, Alexander Gray, Ignacio Grossmann.
  Practical Aspects of Declarative Languages (PADL), 2010.
• Towards Adaptive Programming: Integrating Reinforcement Learning into a Programming Language.
  Christopher Simpkins, Sooraj Bhat, Charles Isbell, Michael Mateas.
  Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Onward! Track, 2008.
• Authorial Idioms for Target Distributions in TTD-MDPs.
  David Roberts, Sooraj Bhat, Kenneth St. Clair, Charles Isbell.
  Twenty-Second Conference on Artificial Intelligence (AAAI), 2007.
• A Globally Optimal Algorithm for TTD-MDPs.
  Sooraj Bhat, David Roberts, Mark Nelson, Charles Isbell, Michael Mateas.
  International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2007.
• Farther Than You May Think: An Empirical Investigation of the Proximity of Users to their Mobile Phones.
  Shwetak Patel, Julie Kientz, Gillian Hayes, Sooraj Bhat, Gregory Abowd.
  International Conference on Ubiquitous Computing (Ubicomp), 2006.
• On the Difficulty of Modular Reinforcement Learning for Real-World Partial Programming.
  Sooraj Bhat, Charles Isbell, Michael Mateas.
  Twenty-First Conference on Artificial Intelligence (AAAI), 2006.
• A Decision-Theoretic Approach to File Consistency in Constrained Peer-to-Peer Device Networks.
  David Roberts, Sooraj Bhat, Charles Isbell, Brian Cooper, Jeffrey Pierce.
  International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2006.
• MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks.
  Adolfo Rodriguez, Charles Killian, Sooraj Bhat, Dejan Kostic, Amin Vahdat.
  Symposium on Networked Systems Design and Implementation (NSDI), 2004.

Workshop Papers

• Toward Interactive Statistical Modeling.
  Sooraj Bhat, Ashish Agarwal, Richard Vuduc, Alexander Gray.
  Workshop on Automated Program Generation for Computational Science, 2010

Technical Reports

• A Decision-Theoretic Approach to File Consistency in Constrained Peer-to-Peer Device Networks.
  David Roberts, Sooraj Bhat, Charles Isbell, Brian Cooper, Jeffrey Pierce.
  Technical report GIT-CC-06-05, College of Computing, Georgia Institute of Technology, 2006
• Accord: Middleware Support for Contextual Ubiquitous Data Management on User Devices.
  Brian Cooper, Charles Isbell, Jeffrey Pierce, David Roberts, Sooraj Bhat.
  Technical report GIT-CC-06-06, College of Computing, Georgia Institute of Technology, 2006.

Software

• Stochastic Search Variable Selection
• Object Removal by Exemplar-based Inpainting

Teaching

Graduate teaching assistantships

• CSE6730 Modeling and Simulation
• CSE6242 Data and Visual Analytics
• CS3600 Artificial Intelligence
• CS4641 Machine Learning
• CS6246 Object-Oriented Systems
• CS3300 Software Engineering

Undergraduate teaching assistantships

• CPS110 Operating Systems
• CPS170 Artificial Intelligence
• CPS108 Software Design and Implementation (twice)