1 – 4 of 4
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 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
- 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
- 2019
-
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
-
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