Marian Lingsch-Rosenfeld -

Registered user since Wed 30 Aug 2023

Name:Marian Lingsch-Rosenfeld

Affiliation:LMU Munich

Personal website: https://www.sosy-lab.org/people/lingsch-rosenfeld/

Contributions

2025

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2025-track

2024

Mining Software Repositories

Author of A Dataset of Partial Program Fixes within the Data and Tool Showcase Track-track

2023

ASE

Author of CEGAR-PT: A Tool for Abstraction by Program Transformation within the Tool Demonstrations-track
Author of A Unifying Approach for Control-Flow-Based Loop Abstraction within the [Workshop] CPAchecker-track