Malte Mues -

Registered user since Wed 19 Feb 2020

Name:Malte Mues

Affiliation:Bergische Universität Wuppertal

GitHub: https://github.com/mmuesly

Contributions

2025

ECOOP

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

2024

ECOOP

Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

ASE

2021

ASE

Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Research Papers-track
Author of Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost within the Artifact Evaluation-track

2020

ISSTA

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