Ondřej Lhoták

Static analysis of event-driven Node.js JavaScript applications

2015

Many JavaScript programs are written in an event-driven style. In particular, in server-side Node.js applications, operations involving sockets, streams, and files are typically performed in an asynchronous manner, where the execution of listeners is triggered …

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 …