Dariusz Biernacki -

Registered user since Wed 13 Apr 2022

Name:Dariusz Biernacki

Country:Poland

Affiliation:University of Wrocław

Personal website: https://ii.uni.wroc.pl/~dabi/

Contributions

2025

OlivierFest

Programme Committee in Program Committee within the OlivierFest 2025-track
Author of Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction within the OlivierFest 2025-track

2024

POPL

Committee Member in Program Committee within the POPL-track

2023

ICFP

Author of A General Fine-Grained Reduction Theory for Effect Handlers within the Artifact Evaluation-track
Author of A General Fine-Grained Reduction Theory for Effect Handlers within the ICFP Papers and Events-track

2022

ML

Committee Member in Program Committee within the ML-track

2020

APLAS

Author of An Abstract Machine for Strong Call by Value within the Research Papers-track

POPL

Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track

2019

FOSSACS

Author of A Complete Normal-Form Bisimilarity for State within the FOSSACS 2019-track

POPL

Author of Abstracting Algebraic Effects within the Research Papers-track

2018

ML

Author of Programming with Abstract Algebraic Effects within the ML 2018-track

CPP

Author of A Coq Formalization of Normalization by Evaluation for Martin-Löf Type Theory within the CPP 2018-track

POPL

2017

HOPE

Author of Logical Relations for Algebraic Effects within the HOPE 2017-track