Alexandru Dura

According to our database, Alexandru Dura authored at least 4 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Clog: A Declarative Language for C Static Code Checkers.

Alexandru Dura, Christoph Reichenbach

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

2021

JavaDL: automatically incrementalizing Java bug pattern detection.

Alexandru Dura, Christoph Reichenbach, Emma Söderberg

Proc. ACM Program. Lang., 2021

2019

MetaDL: analysing Datalog in Datalog.

Alexandru Dura, Hampus Balldin, Christoph Reichenbach

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

MetaDL: declarative program analysis for the masses.

Alexandru Dura, Hampus Balldin

Proceedings of the Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, 2019