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 AccessFile134 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 -
Clog: A Declarative Language for C Static Code Checkers (Artifact)
Dura, A. & Reichenbach, C., 2024 Jan 17Research output: Non-textual form › Software
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
Projects
- 1 Active
-
Performance bug detection through combined static and dynamic program analysis
Dura, A. (Researcher) & Reichenbach, C. (Researcher)
2018/10/15 → …
Project: Dissertation