POPL Off the Beaten Track (OBT), 2015

January 18, 2015 (Sunday)
Mumbai, India

Co-located with POPL 2015

Background

Programming language researchers have the principles, tools, algorithms and abstractions to solve all kinds of problems, in all areas of computer science. However, identifying and evaluating new problems, particularly those that lie outside the typical core PL problems we all know and love, can be a significant challenge. This workshop's goal is to identify and discuss problems that do not often show up in our top conferences, but where programming language research can make a substantial impact. We hope fora like this will increase the diversity of problems that are studied by PL researchers and thus increase our community's impact on the world.

While many workshops associated with POPL have become more like mini-conferences themselves, this is an anti-goal for OBT. The workshop will be informal and structured to encourage discussion. We are at least as interested in problems as in solutions.

Scope

A good submission is one that outlines a new problem or an interesting, underrepresented problem domain. Good submissions may also remind the PL community of problems that were once in vogue but have not recently been seen in top PL conferences. Good submissions do not need to propose complete or even partial solutions, though there should be some reason to believe that programming languages researchers have the tools necessary to search for solutions in the area at hand. Submissions that seem likely to stimulate discussion about the direction of programming language research are encouraged.

Program

09:00-10:30
10:30-11:00
Break
11:00-12:30
12:30-14:00
Break for lunch
14:00-15:30
15:30-16:00
Break
16:00-17:00

People

Program Chair
Swarat Chaudhuri

Program Committee
Emery Berger, UMass Amherst
Sumit Gulwani, Microsoft Research
Lindsey Kuper, Intel Labs
Crista Lopes, UC Irvine
Aditya Nori, Microsoft Research
Armando Solar-Lezama, MIT
David Van Horn, University of Maryland

Prior OBTs

2014
2013
2012