Alexandru Dura
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CC | Clog: A Declarative Language for C Static Code Checkers. | Alexandru Dura, Christoph Reichenbach |
| 2019 | OOPSLA | MetaDL: declarative program analysis for the masses. | Alexandru Dura, Hampus Balldin |
| 2019 | PLDI | MetaDL: analysing Datalog in Datalog. | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |