Publications | Lund University Publications

1 – 9 of 9

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/publication?embed=1&q=project+exact+586b4596-fae5-4eeb-808d-851eb5ec38bb&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark Compositional dataflow analysis via abstract transition systems
Bronevetsky, Greg ; Burke, Michael G. ; Aananthakrishnan, Sriram ; Reichenbach, Christoph ^LU ; Jisheng, Zhao and Sarkar, Vivek (2025)
- Working paper/Preprint › Working paper
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
2023
Mark EzSkiROS: A Case Study on Embedded Robotics DSLs to Catch Bugs Early
Rizwan, Momina ^LU ; Caldas, Ricardo ; Reichenbach, Christoph ^LU and Mayr, Matthias ^LU (2023) p.61-68
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2021
Mark Using Program Analysis to Identify the Use of Vulnerable Functions
Hagberg, Rasmus ; Hell, Martin ^LU and Reichenbach, Christoph ^LU (2021) p.520-530
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Software Ticks Need No Specifications
Reichenbach, Christoph ^LU (2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2020
Mark JBrainy: Micro-benchmarking Java Collections with Interference (Work in Progress Paper)
Couderc, Noric ^LU ; Söderberg, Emma ^LU and Reichenbach, Christoph ^LU (2020) 11th ACM/SPEC International Conference on Performance Engineering p.42-45
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark The PL-Detective Revisited
Reichenbach, Christoph ^LU (2020) 2020 ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications, Software for Humanity, SPLASH-E 2020
In SPLASH-E 2020 p.12-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A Domain-Specific Language for Filtering in Application-Level Gateways
Balldin, Hampus and Reichenbach, Christoph ^LU (2020) 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2020 p.111-123
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
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

your query:: Remove project: WASP startup package Christoph Reichenbach