MetaDL: declarative program analysis for the masses. - Alexandru Dura; Hampus Balldin (SPLASH (Companion Volume), 2019)

MetaDL: analysing Datalog in Datalog. - Alexandru Dura; Hampus Balldin; Christoph Reichenbach (SOAP@PLDI, 2019)

JavaDL: automatically incrementalizing Java bug pattern detection. - Alexandru Dura; Christoph Reichenbach; Emma Söderberg (Proc. ACM Program. Lang., 2021)

Clog: A Declarative Language for C Static Code Checkers. - Alexandru Dura; Christoph Reichenbach (CC, 2024)