Thu 18 Jul 2019 10:50 - 11:10 at Mancy - Domain Specific Languages Chair(s): Sebastian Erdweg

The first general and practical solution of the fluent API problem is presented: We give an algorithm that given a deterministic context free language (equivalently, LR(k), k≥0 language) encodes it in an unbounded parametric polymorphism type system employing only a polynomial number of types. The theoretical result is employed in an actual tool Fling—a fluent API compiler-compiler in the style of YACC, tailored for embedding DSLs in Java.

Thu 18 Jul

Displayed time zone: Belfast change

10:30 - 12:10
Domain Specific LanguagesResearch Papers at Mancy
Chair(s): Sebastian Erdweg JGU Mainz
10:30
20m
Research paper
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
Research Papers
Matthias Eichholz , Eric Campbell Cornell University, Nate Foster Cornell University, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt, Germany
DOI Media Attached
10:50
20m
Research paper
Fling—A Fluent API Generator
Research Papers
Yossi Gil Technion—Israel Institute of Technology, Ori Roth Technion
DOI
11:10
20m
Research paper
Semantic Patches for Java Program TransformationExperience Report
Research Papers
Hong Jin Kang School of Information Systems, Singapore Management University, Ferdian Thung , Julia Lawall Inria/LIP6, Gilles Muller LIP6-INRIA/UPMC, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University
DOI Media Attached
11:30
20m
Research paper
Finally, a Polymorphic Linear Algebra LanguagePearl
Research Papers
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv Makwana Unaffiliated, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached