2016-12-12 News: OBT accepted 10 presentations out of 16 submissions.
2016-11-10 News: The deadline for talk proposals has been extended to Tuesday 15th November.
2016-11-10 News: Moa Johanssen is confirmed as an invited speaker for OBT 2017.
2016-10-20 News: Lindsey Kuper has a blog post on ways to get funding to come to OBT.
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
2017 marks the sixth year of OBT and of co-location with POPL. The previous five workshops were:
Sat 21 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mTalk | Keynote talk: Reasoning about Functional Programs: Exploring, Testing and Inductive Proofs. Off the Beaten Track Moa Johansson Chalmers University of Technology |
10:30 - 12:10 | |||
10:30 25mTalk | Can we machine-learn programming language semantics? Off the Beaten Track File Attached | ||
10:55 25mTalk | How Far Apart Should Those Programs Be? Off the Beaten Track Ugo Dal Lago University of Bologna, France File Attached | ||
11:20 25mTalk | Programming Quantum Annealers Off the Beaten Track File Attached | ||
11:45 25mTalk | Understanding the POSIX Shell as a Programming Language Off the Beaten Track Michael Greenberg Pomona College File Attached |
14:00 - 15:25 | |||
14:00 60mTalk | Keynote talk: Varieties of Programming Experience Off the Beaten Track Alan Blackwell University of Cambridge | ||
15:00 25mTalk | Bootstrapping the next generation of mathematical social machines Off the Beaten Track File Attached |
16:00 - 18:05 | |||
16:00 25mTalk | Designing extensible, domain-specific languages for mathematical diagrams Off the Beaten Track Katherine Ye , Keenan Crane , Jonathan Aldrich Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University File Attached | ||
16:25 25mTalk | Laziness Boxes You In Off the Beaten Track File Attached | ||
16:50 25mTalk | Programming with Epistemic Logic Off the Beaten Track File Attached | ||
17:15 25mTalk | Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Off the Beaten Track Marco Gaboardi SUNY Buffalo, USA File Attached | ||
17:40 25mTalk | Running Incomplete Programs Off the Beaten Track Ian Voysey Carnegie Mellon University, Cyrus Omar Carnegie Mellon University, Matthew Hammer University of Colorado, Boulder File Attached |
Accepted Presentations
Title | |
---|---|
Bootstrapping the next generation of mathematical social machines Off the Beaten Track File Attached | |
Can we machine-learn programming language semantics? Off the Beaten Track File Attached | |
Designing extensible, domain-specific languages for mathematical diagrams Off the Beaten Track File Attached | |
How Far Apart Should Those Programs Be? Off the Beaten Track File Attached | |
Laziness Boxes You In Off the Beaten Track File Attached | |
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach Off the Beaten Track File Attached | |
Programming Quantum Annealers Off the Beaten Track File Attached | |
Programming with Epistemic Logic Off the Beaten Track File Attached | |
Running Incomplete Programs Off the Beaten Track File Attached | |
Understanding the POSIX Shell as a Programming Language Off the Beaten Track File Attached |
Call for Talk Proposals
Call for Talk Proposals: Off the Beaten Track 2017
Please submit your talk proposal via EasyChair:
https://easychair.org/conferences/?conf=obt2017
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.