[Pl-seminar] Reminder: Seminar TOMORROW: Magnus Madsen, From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
dbp at ccs.neu.edu
Thu Apr 13 09:54:15 EDT 2017
Reminder -- this is tomorrow, and it is at 1:30PM, which is NOT our normal time.
Daniel Patterson <dbp at ccs.neu.edu> writes:
> NOTE: Due to a scheduling issue, this seminar will be held starting at
> *1:30pm*, rather than our normal time.
> NUPRL Seminar presents
> Magnus Madsen
> University of Waterloo
> Host: Frank Tip
> Friday, April 14th 2017
> Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)
> From Datalog to Flix: A Declarative Language for Fixed Points on Lattices
> We present FLIX, a declarative programming language for
> specifying and solving least fixed point problems, particularly
> static program analyses. FLIX is inspired by Datalog and
> extends it with lattices and monotone functions. Using FLIX,
> implementors of static analyses can express a broader range
> of analyses than is currently possible in pure Datalog, while
> retaining its familiar rule-based syntax.
> We define a model-theoretic semantics of FLIX as a natural
> extension of the Datalog semantics. This semantics captures
> the declarative meaning of FLIX programs without imposing
> any specific evaluation strategy. An efficient strategy is
> semi-naïve evaluation which we adapt for FLIX. We have
> implemented a compiler and runtime for FLIX, and used it
> to express several well-known static analyses, including the
> IFDS and IDE algorithms. The declarative nature of FLIX
> clearly exposes the similarity between these two algorithms.
> This work has previously been presented at PLDI 2016.
> The talk will cover some of that material as well as recent developments.
> The speaker is a post doctoral fellow at the University of Waterloo.
More information about the pl-seminar