| 8:00-9:00 |
Breakfast |
| 9:00 - 9:05 |
Welcome to OBT (David Walker) |
| 9:05-10:05 |
| 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 |
| 10:30-11:30 |
| 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 |
|
| 11:30-12:30 |
| 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 |
| 13:30-14:30 |
| 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 |
|
| 14:30-15:30 |
| 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 |
| 16:00-17:00 |
| 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) |