Preliminary OBT Program

8:00-9:00 Breakfast
9:00 - 9:05 Welcome to OBT (David Walker)
Invited Talk: Languages for Social Computation, Sep Kamvar (MIT Media Lab & Stanford Institute for Computational and Mathematical Engineering)
Abstract: Some of the most interesting and useful technologies in the past few years have involved the large-scale coordination of people and machines. Programming languages, however, tend to focus on the machines. Traditional programming language design assumes that people are either programmers or end-users, not members of a decentralized computing system. As a result, programming -- or even thinking about -- such human-machine systems is awkward and laborious. In this talk, I will discuss the challenges in developing a language that is intended to be executed by both computers and people. I'll present Dog, an instance of such a language, and Jabberwocky, the development stack in which it resides. And finally, I'll show some applications that are written simply in Dog, but would be difficult to write in other existing languages.
10:05-10:30 Coffee Break
15-Minute Talks (Session Chair:  Boon Thau Loo)
10:30-10:50 Rule-Based Interactive Fiction  (Abstract) Chris Martens, Zachary Sparks, Claire Alvis and William Byrd
10:50-11:10 A Language-based Approach to Computational Art (Abstract) Shrutarshi Basu and Chun Wai Liew
11:10-11:30 Programming as Collaborative Reference (Abstract) Oleg Kiselyov and Chung-chieh Shan
5-Minute Madness (Session Chair:  Tom Ball)
Taking Part-Time Programmers Seriously  (Abstract) Jesse A. Tov and Elizabeth Tov
General Game Playing and the Game Description Language  (Abstract) Abdallah Saffidine
A Test-case Design Method Based on Feature Trees  (Abstract) Do Thi Bich Ngoc, Kitamura Takashi, Ohsaki Hitoshi, Fang Ling and Yatabe Shunsuke
Safe, Expressive Language Interoperability (Abstract)Peter-Michael Osera
Efficient Probabilistic Programming Languages (Abstract)Robert Zinkov
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography (Abstract)Vijay Ganesh, Michael Carbin and Martin Rinard
12:30-13:30 Lunch
15-Minute Talks (Session Chair:  Emery Berger)
13:30-13:50 Formal Semantics for Testing (Abstract) Colin S. Gordon
13:50-14:10 Embracing the Laws of Physics (Abstract) Roshan James and Amr Sabry
14:10-14:30 First Class Representation of Differential Equations (Abstract)Gershom Bazerman
5-Minute Madness (Session Chair:  Chung-chieh Shan)
Language Design: A Cognitive Science Approach  (Abstract) Michael Hansen, Andrew Lumsdaine and Robert Goldstone
Do Abstract Machines Make Abstract Heat?  (Abstract) Benjamin Schulz
Revisiting APL in the Modern Era  (Abstract) Aaron Hsu and William Bowman
A Functional Approach to Numerical Simulations  (Abstract) Anthony West
My Types Depend on My Robots: My Robots Depend on My Types  (Abstract) Anthony Cowley and Camillo Taylor
AutoMan: A Platform for Integrating Human and Digital Computation  (Abstract) Dan Barowy, Emery D. Berger and Andrew McGregor
15:30-16:00 Coffee Break
15-Minute Talks (Session Chair:  Vijay Ganesh)
16:00-16:20 Language Support for Efficient Computation over Encrypted Data  (Abstract) Meelap Shah, Emily Stark, Raluca Ada Popa and Nickolai Zeldovich
16:20-16:40 Towards a Secure and Verifiable Future Internet  (Abstract) Limin Jia, Chen Chen, Sangeetha A. Jyothi, Wenchao Zhou, Suyog Mapara, Boon Thau Loo
16:40-17:00 As XDuce is to XML, so ? is to RDF: Programming Languages for the Semantic Web  (Abstract) Alan Jeffrey and Peter F. Patel-Schneider
17:00-17:30 Open Mic and OBT Future Discussion (Session Chair: David Walker)