OBT 2018 will be held on Saturday, January 13th.

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.

Use your imagination. It’s hard to imagine how a talk proposal that discusses programming languages could be considered out of scope. If in doubt, ask the program chair.

Previous OBTs

2018 marks the seventh year of OBT and of co-location with POPL. The previous six workshops were:

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 13 Jan

Displayed time zone: Tijuana, Baja California change

10:30 - 12:00
10:30
30m
Talk
Synthesizing Program-Specific Static Analyses
Off the Beaten Track
Colin Gordon Drexel University
File Attached
11:00
30m
Talk
On quantifying the degree of unsoundness of static analyses
Off the Beaten Track
File Attached
11:30
30m
Talk
Explaining Type Errors
Off the Beaten Track
Brent Yorgey Hendrix College, Richard A. Eisenberg Bryn Mawr College, USA, Harley D. Eades III Augusta University
File Attached
13:30 - 15:30
Session 2Off the Beaten Track at Crocker
Chair(s): William E. Byrd University of Alabama at Birmingham, USA
13:30
30m
Lunch
Lunch (12pm-2pm)
Off the Beaten Track

14:00
30m
Talk
SweetPea: A Language for Designing Experiments
Off the Beaten Track
Annie Cherkaev University of Utah, Sebastian Musslick Princeton University, Jonathan Cohen Princeton University, Vivek Srikumar University of Utah, Matthew Flatt University of Utah
File Attached
14:30
30m
Talk
Extensible Semantics for Fluidics
Off the Beaten Track
Max Willsey University of Washington, Jared Roesch University of Washington, USA
File Attached
15:00
30m
Talk
Towards Proof Synthesis by Neural Machine Translation
Off the Beaten Track
Taro Sekiyama IBM Research, Japan, Akifumi Imanishi Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University
File Attached
16:00 - 18:00
16:00
30m
Talk
Back to the Future with Denotational Semantics
Off the Beaten Track
Jeremy G. Siek Indiana University, USA
File Attached
16:30
30m
Talk
Climbing Up the Semantic Tower — at Runtime
Off the Beaten Track
File Attached
17:00
30m
Talk
Towards A Systems Approach To Distributed Programming
Off the Beaten Track
Christopher Meiklejohn Université catholique de Louvain, Peter Van Roy Université catholique de Louvain
File Attached
17:30
30m
Day closing
Discussion and business meeting
Off the Beaten Track

Call for Talk Proposals

Please submit talk proposals via HotCRP.

All submissions should be in PDF format, two pages or less, in at least 10pt font, printable on A4 and on US Letter paper. Authors are welcome to include links to multimedia content such as YouTube videos or online demos. Reviewers may or may not view linked documents; it is up to authors to convince the reviewers to do so.

For each accepted submission, one of the authors will give a talk at the workshop. The length of the talk will depend on the submissions received and how the program committee decides to assemble the program.

Reviewing of submissions will be very light. Authors should not expect a detailed analysis of their submission by the program committee. Accepted submissions will be posted as is on this web site. By submitting a document, you agree that if it is accepted, it may be posted and you agree that one of the co-authors will attend the workshop and give a talk there. There will be no revision process and no formal publication.