Alexandru Dura

1 – 7 of 7

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/f0a5de01-bb0a-4e4f-9184-70b41eb60c13?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark Fully Declarative Specification of Static Code Checkers
Dura, Alexandru ^LU (2025)
- Thesis › Doctoral thesis (compilation)
2024
Mark Clog : A Declarative Language for C Static Code Checkers
Dura, Alexandru ^LU and Reichenbach, Christoph ^LU (2024) 33rd ACM SIGPLAN International Conference on Compiler Construction, CC 2024 p.186-197
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Clog: A Declarative Language for C Static Code Checkers (Artifact)
Dura, Alexandru ^LU and Reichenbach, Christoph ^LU (2024)
- Non-textual form › Software
2021
Mark JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Dura, Alexandru ^LU ; Reichenbach, Christoph ^LU and Söderberg, Emma ^LU (2021) ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity In Proceedings of the ACM on Programming Languages 5(OOPSLA).
- Contribution to journal › Article
Mark JavaDL : automatically incrementalizing Java bug pattern detection (Artifact)
Dura, Alexandru ^LU ; Reichenbach, Christoph ^LU and Söderberg, Emma ^LU (2021)
- Non-textual form › Software
2019
Mark MetaDL: Analysing Datalog in Datalog
Dura, Alexandru ^LU ; Balldin, Hampus and Reichenbach, Christoph ^LU (2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark MetaDL : Declarative program analysis for the masses
Dura, Alexandru ^LU and Balldin, Hampus (2019) 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 In SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity p.17-18
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding