Michael Hanus -

Registered user since Thu 15 Dec 2016

Name:Michael Hanus

Country:Germany

Affiliation:Kiel University

Personal website: https://www.michaelhanus.de/

GitHub: https://github.com/mihanus

Research interests:Programming Languages, Functional Programming, Logic Programming

Contributions

2025

Symposium on Practical Aspects of Declarative Languages

PEPM

Session Chair of Language design, pedagogical tool, and staged interpreter (part of PEPM 2025)

2024

APLAS

Author of Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions within the Research Papers-track
Committee Member in Judges within the SRC & Posters-track

FLOPS

2023

Symposium on Practical Aspects of Declarative Languages

GPCE

Author of GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java within the GPCE 2023-track

LOPSTR

Session Chair of Session II (part of LOPSTR 2023)

PPDP

Session Chair of Session 1 (part of PPDP 2023)

2022

FLOPS

2021

Symposium on Practical Aspects of Declarative Languages

Author of Lightweight Declarative Server-Side Web Programming within the PADL 2021-track

2019

Symposium on Practical Aspects of Declarative Languages

Author of Improving Residuation in Declarative Programs within the PADL 2019-track

2018

HIW

Committee Member in Program Committee within the HIW 2018-track

2017

Symposium on Practical Aspects of Declarative Languages

Author of Improving Non-deterministic Computations in Functional Logic Programs within the PADL-track

2016

Symposium on Practical Aspects of Declarative Languages

Author of Default Rules for Curry within the PADL-track