Write a Blog >>
SLE 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Tue 24 Oct 2017 10:55 - 11:20 at Regency B - Grammars Chair(s): Bernhard Rumpe

Reference Attribute Grammars (RAGs) is a declarative executable formalism used for constructing compilers. Previous work has extended RAGs with circular (fixed-point) attributes, higher-order attributes, and collection attributes. In this paper we present wait-free concurrent attribute evaluation algorithms for Circular RAGs. These algorithms enable interactive queries to be performed with low latency while heavier computations are running.

We design and evaluate a lock-free implementation of our algorithms in Java, for the JastAdd metacompiler. Our implementation can be used without further changes to existing JastAdd-specified compilers, provided they fulfill well-formedness conditions like observationally pure semantic functions. Our evaluation on a JastAdd-specified compiler for the Java programming language shows that our approach is useful for reducing latency, and can give a slight overall speedup.

Tue 24 Oct

sle-2017-papers
10:30 - 12:00: SLE - Grammars at Regency B
Chair(s): Bernhard RumpeRWTH Aachen University, Germany
sle-2017-papers10:30 - 10:55
Talk
Scott BuckleyMacquarie University, Australia, Anthony SloaneMacquarie University
DOI
sle-2017-papers10:55 - 11:20
Talk
Jesper OqvistLund University, Görel Hedin
DOI
sle-2017-papers11:20 - 11:45
Talk
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI
sle-2017-papers11:45 - 12:00
Talk
Suman RoychoudhuryTata Consultancy Services Research, Sagar SunkleTata Consultancy Services Research, Deepali KholkarTata Consultancy Services Research, Vinay KulkarniTata Consultancy Services Research
DOI