Blogs (9) >>
SPLASH 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands

Parsing@SLE 2016 is the fourth annual workshop on parsing programming languages. The intended participants are the authors of parser generation tools and parsers for programming languages and other software languages. For the purpose of this workshop “parsing” is a computation that takes a sequence of characters as input and produces a syntax tree or graph as output. This possibly includes tokenization using regular expressions, deriving trees using context-free grammars, and mapping to abstract syntax trees. The goal is to bring together today’s experts in the field of parsing, in order to explore open questions and possibly forge new collaborations. The topics may include algorithms, implementation and generation techniques, syntax and semantics of meta formalisms (BNF), etc. We expect to attract participants that have been or are developing theory, techniques and tools in the broad area of parsing.

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

Sun 30 Oct

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
First SessionParsing@SLE at Matterhorn 1
08:30
15m
Day opening
Opening
Parsing@SLE

08:45
25m
Talk
Disambiguation for SDF3 with Deep Priority Conflicts
Parsing@SLE
Timothée Haudebourg ENS Rennes, Luis Eduardo de Souza Amorim Delft University of Technology, Netherlands, Eelco Visser Delft University of Technology, Netherlands
File Attached
09:10
25m
Talk
Multiple input GLL parsing
Parsing@SLE
Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway University of London
File Attached
09:35
25m
Demonstration
Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern
Parsing@SLE
Jonathan Aldrich Carnegie Mellon University
10:30 - 12:10
Second SessionParsing@SLE at Matterhorn 1
10:30
25m
Talk
MADFAct—Constructing Dictionaries
Parsing@SLE
Tobias Runge TU Braunschweig, Ina Schaefer TU Braunschweig, Germany, Loek Cleophas Eindhoven University of Technology, Bruce Watson Stellenbosch University; and Centre for AI Research, CSIR
10:55
25m
Talk
There’s more than one way to skin a cat
Parsing@SLE
Nate Nystrom University of Lugano
File Attached
11:20
25m
Talk
Knowledge-Based Support for Domain Specific Language Generation
Parsing@SLE
File Attached
11:45
25m
Demonstration
Parsing in K-Framework
Parsing@SLE
Radu Mereuta Faculty of Computer Science, UAIC, Iasi, Romania
File Attached
13:30 - 15:10
Third SessionParsing@SLE at Matterhorn 1
13:30
25m
Talk
Context-Sensitive Parsing Through Stateful Parsing
Parsing@SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
13:55
25m
Talk
Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages
Parsing@SLE
Friedrich Steimann Fernuniversität
14:20
25m
Talk
Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions
Parsing@SLE
Brian Malloy Clemson University, James Power Maynooth University
14:45
25m
Demonstration
Composition of independent language extensions to C
Parsing@SLE
Ted Kaminski University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk University of Minnesota
15:40 - 17:20
Fourth SessionParsing@SLE at Matterhorn 1
15:40
25m
Talk
Generalised Parsing and Combinator Parsing: a Happy Marriage?
Parsing@SLE
L. Thomas van Binsbergen Royal Holloway University of London
File Attached
16:05
25m
Talk
Good enough for you? Explaining ourselves through standard challenges
Parsing@SLE
Adrian Johnstone Royal Holloway University of London, Elizabeth Scott Royal Holloway University of London
File Attached
16:30
50m
Other
Discussion and closing
Parsing@SLE

Call for Papers

The main focus of Parsing@SLE is formal language syntax specification and analysis, with applications in programming language implementation and emerging applications in bioinformatics and big data.

The workshop is deliberately informal, with the primary goal of stimulating exchange of ideas and highlighting emerging advances and applications. We particularly try to bring together authors, developers and users of current tool sets for compiler generation, parser generation and meta-programming.

We solicit three kinds of submission:

  1. 15 minute ‘position presentations’ intended to summarise achievements and challenges, perhaps summarising the work of an entire research group;
  2. technical presentation sessions covering specific advances in 15 minutes followed immediately by a 15 minute discussion session, and
  3. tool demonstrations, which should show running software rather than screen shots and tool specifications, with an opportunity for interactive sessions during the breaks.

In the context of real programming languages there are many outstanding theoretical and practical problems. In particular, programming-language evolution and diversity in the face of application areas such as IDE construction, reverse engineering, software metrics and domain specific (embedded) languages generate many parsing challenges. For example, can we find good modular formalisms for parser generation? How do we obtain (fast and correct) parsers for both legacy and new languages that require more computational power than context-free grammars and regular expressions can provide? How can we exploit increasing the parallelism offered by multi-core processors and GPUs ? How can we provide verified parsers for languages such as C++ and Scala without years of effort?

Many broader areas of computing also depend heavily on parsers, for example computational linguistics, network traffic classification, network security, and bioinformatics. These areas often have their own unusual requirements, such as: speed, particularly in network algorithmics; memory efficiency, for example in embedded devices; and rapid/dynamic parser construction as grammars are adapted. We encourage submissions on parsing challenges and solutions in the broadest application areas.

Proposals should be in the form of 1 page A4 abstracts in ACM 2-column 10pt or 11pt format and should be submitted via EasyChair: https://www.easychair.org/conferences/?conf=parsing_at_sle2016

There will be no formal published proceedings, but accepted abstracts will be circulated in advance to all participants along with any additional material presenters wish to provide.

Submission deadline for abstracts: September 9th 2016

Notification: September 16th 2016