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

2027

FormaliSE

Committee Member in Artifact Evaluation Committee Members within the Artifact Track-track

2026

ASE

ATIQSER

Author of doi-checker: A Tool for Validating References of Research Papers within the ATIQSER 2026-track

CPA

FM

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

‹Programming›

2025

ASE

Author of Non-termination Witnesses and their Validation within the Research Papers-track

ECOOP

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

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