Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom Harbor View
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Parsing & Domain-Specific Languages IPEPM at Room Harbor View
Chair(s): Kenichi AsaiOchanomizu University
10:30 - 11:00
Talk
Practical, General Parser Combinators
PEPM
Anastasia IzmaylovaCentrum Wiskunde & Informatica, Ali AfroozehCentrum Wiskunde & Informatica, Tijs van der StormCWI
DOI Pre-print
11:00 - 11:30
Talk
Operator Precedence for Data-Dependent Grammars
PEPM
Ali AfroozehCentrum Wiskunde & Informatica, Anastasia IzmaylovaCentrum Wiskunde & Informatica
DOI Pre-print
11:30 - 12:00
Talk
Everything Old Is New Again: Quoted Domain-Specific Languages
PEPM
Shayan Najd, Sam LindleyUniversity of Edinburgh, Josef SvenningssonChalmers University of Technology, Sweden, Philip WadlerUniversity of Edinburgh
DOI
14:00 - 15:30: Domain-Specific Languages IIPEPM at Room Harbor View
Chair(s): Sebastian ErdwegTU Darmstadt, Germany
14:00 - 14:30
Talk
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
PEPM
Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Tao ZanSokendai, Japan, Zhenjiang HuNational Institute of Informatics
DOI Pre-print
14:30 - 15:00
Talk
A Constraint Language for Static Semantic Analysis Based on Scope Graphs
PEPM
Hendrik van AntwerpenDelft University of Technology, Netherlands, Pierre NeronTU Delft, Andrew TolmachPortland State University, Eelco VisserDelft University of Technology, Guido WachsmuthDelft University of Technology
Link to publication DOI Pre-print
15:00 - 15:30
Talk
Finally, Safely-Extensible and Efficient Language-Integrated Query
PEPM
Kenichi SuzukiUniversity of Tsukuba, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI
16:00 - 17:40: StagingPEPM at Room Harbor View
Chair(s): Jacques CaretteMcMaster University
16:00 - 16:30
Talk
Staging Generic Programming
PEPM
Jeremy YallopUniversity of Cambridge, UK
DOI
16:30 - 17:00
Talk
Removing Runtime Overhead for Optimized Object Queries
PEPM
Jon Brandvein, Yanhong A. LiuStony Brook University, USA
DOI
17:00 - 17:20
Talk
Toward Introducing Binding-Time Analysis to MetaOCaml
PEPM
Kenichi AsaiOchanomizu University
DOI
17:20 - 17:40
Talk
Staging beyond Terms: Prospects and Challenges
PEPM
Jun InoueNational Institute of Advanced Industrial Science and Technology, Japan, Oleg Kiselyov, Yukiyoshi Kameyama
DOI

Tue 19 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change