Search Results for author: Roland Meyer

Found 2 papers, 0 papers with code

I still know it's you! On Challenges in Anonymizing Source Code

no code implementations26 Aug 2022 Micha Horlboge, Erwin Quiring, Roland Meyer, Konrad Rieck

We prove that the task of generating a $k$-anonymous program -- a program that cannot be attributed to one of $k$ authors -- is not computable and thus a dead end for research.

Safety Verification of Parameterized Systems under Release-Acquire

no code implementations28 Jan 2021 Adwait Godbole, Shankara Narayanan Krishna, Roland Meyer

We show that safety verification is only \pspace-complete for the bounded model checking problem where the distinguished threads are loop-free.

Logic in Computer Science Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.