Ming‐Ho Yee

From Datalog to flix: a declarative language for fixed points on lattices

2016

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 …

Precise Dataflow Analysis of Event-Driven Applications

2019 · arXiv (Cornell University)

Event-driven programming is widely used for implementing user interfaces, web applications, and non-blocking I/O. An event-driven program is organized as a collection of event handlers whose execution is triggered by events. Traditional static analysis techniques …