Research output per year
Research output per year
Fingerprint
Dive into the research topics where Alexandru Dura is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Fully Declarative Specification of Static Code Checkers
Dura, A., 2025 Apr 22, Lund: Department of Computer Science, Lund University. 151 p.Research output: Thesis › Doctoral Thesis (compilation)
Open AccessFile69 Downloads (Pure) -
Clog: A Declarative Language for C Static Code Checkers
Dura, A. & Reichenbach, C., 2024 Feb 17, CC 2024 - Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction. Rodriguez, G., Sadayappan, P. & Sukumaran-Rajam, A. (eds.). Association for Computing Machinery (ACM), p. 186-197 12 p.Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Open Access -
JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Dura, A., Reichenbach, C. & Söderberg, E., 2021 Oct 1, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 165.Research output: Contribution to journal › Article › peer-review
Open Access -
JavaDL: automatically incrementalizing Java bug pattern detection (Artifact)
Dura, A., Reichenbach, C. & Söderberg, E., 2021 Sept 8Research output: Non-textual form › Software
Open Access -
MetaDL: Declarative program analysis for the masses
Dura, A. & Balldin, H., 2019 Oct 20, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 17-18 2 p. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review
Projects
- 1 Active
-
Performance bug detection through combined static and dynamic program analysis
Dura, A. (Researcher) & Reichenbach, C. (Researcher)
2018/10/15 → …
Project: Dissertation