PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
POPL 2016 (series) / PADL (series) / Hilton St. Petersburg Bayfront /

Room information: Room Harbor View

VenueHilton St. Petersburg Bayfront
Room nameRoom Harbor View
Floor0
Room InformationNo extra information available
Program

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

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Parsing & Domain-Specific Languages IPEPM at Room Harbor View
Chair(s): Kenichi Asai Ochanomizu University
10:30
30m
Talk
Practical, General Parser Combinators
PEPM
Anastasia Izmaylova Centrum Wiskunde & Informatica, Ali Afroozeh Centrum Wiskunde & Informatica, Tijs van der Storm CWI
DOI Pre-print
11:00
30m
Talk
Operator Precedence for Data-Dependent Grammars
PEPM
Ali Afroozeh Centrum Wiskunde & Informatica, Anastasia Izmaylova Centrum Wiskunde & Informatica
DOI Pre-print
11:30
30m
Talk
Everything Old Is New Again: Quoted Domain-Specific Languages
PEPM
Shayan Najd , Sam Lindley University of Edinburgh, Josef Svenningsson Chalmers University of Technology, Sweden, Philip Wadler University of Edinburgh
DOI
14:00 - 15:30
Domain-Specific Languages IIPEPM at Room Harbor View
Chair(s): Sebastian Erdweg TU Darmstadt, Germany
14:00
30m
Talk
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
PEPM
Hsiang-Shang ‘Josh’ Ko National Institute of Informatics, Tao Zan Sokendai, Japan, Zhenjiang Hu National Institute of Informatics
DOI Pre-print
14:30
30m
Talk
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
PEPM
Hendrik van Antwerpen Delft University of Technology, Netherlands, Pierre Neron TU Delft, Andrew Tolmach Portland State University, Eelco Visser Delft University of Technology, Guido Wachsmuth Delft University of Technology
Link to publication DOI Pre-print
15:00
30m
Talk
Finally, Safely-Extensible and Efficient Language-Integrated Query
PEPM
Kenichi Suzuki University of Tsukuba, Japan, Oleg Kiselyov , Yukiyoshi Kameyama
DOI
16:00 - 17:40
StagingPEPM at Room Harbor View
Chair(s): Jacques Carette McMaster University
16:00
30m
Talk
Staging Generic Programming
PEPM
Jeremy Yallop University of Cambridge, UK
DOI
16:30
30m
Talk
Removing Runtime Overhead for Optimized Object Queries
PEPM
Jon Brandvein , Y. Annie Liu Stony Brook University, USA
DOI
17:00
20m
Talk
Toward Introducing Binding-Time Analysis to MetaOCaml
PEPM
Kenichi Asai Ochanomizu University
DOI
17:20
20m
Talk
Staging beyond Terms: Prospects and Challenges
PEPM
Jun Inoue National Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov , Yukiyoshi Kameyama
DOI

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Room Harbor View

PEPM

Parsing & Domain-Specific Languages I

PEPM

Domain-Specific Languages II

PEPM

Staging

Tue 19 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room Harbor View
PEPM
Practical, General Parser Combinators
10:30 - 11:00
PEPM
Operator Precedence for Data-Dependent Grammars
11:00 - 11:30
PEPM
Everything Old Is New Again: Quoted Domain-Specific Languages
11:30 - 12:00
PEPM
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectiona ...
14:00 - 14:30
PEPM
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
14:30 - 15:00
PEPM
Finally, Safely-Extensible and Efficient Language-Integrated Query
15:00 - 15:30
PEPM
Staging Generic Programming
16:00 - 16:30
PEPM
Removing Runtime Overhead for Optimized Object Queries
16:30 - 17:00
PEPM
Toward Introducing Binding-Time Analysis to MetaOCaml
17:00 - 17:20
PEPM
Staging beyond Terms: Prospects and Challenges
17:20 - 17:40