Filip Sieczkowski

Registered user since Sat 11 Jun 2016

Name:Filip Sieczkowski
Country:Poland
Affiliation:University of Wrocław
Research interests:Verification, Program Logics, Module Systems, Continuations

Contributions

POPL 2022 Committee Member in Program Committee within the POPL-track
HOPE 2020 Co-chair in Organizing Committee within the HOPE 2020-track
POPL 2020 Author of Binders by Day, Labels by Night: Effect Instances via Lexically Scoped Handlers within the Research Papers-track
FOSSACS 2019 Author of Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track
POPL 2019 Author of Abstracting Algebraic Effects within the Research Papers-track
ML 2018 Author of Programming with Abstract Algebraic Effects within the ML 2018-track
Committee Member in Program Committee within the ML 2018-track
HOPE 2018 Co-chair in Organizing Committee within the HOPE 2018-track
ICFP 2018 Hope Co-chair in Organizing Committee
HOPE 2017 Committee Member in Program Committee within the HOPE 2017-track
Author of Logical Relations for Algebraic Effects within the HOPE 2017-track
PLDI 2018 Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI Research Papers-track
POPL 2018 Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Research Papers-track
Author of Handle with Care: Relational Interpretation of Algebraic Effects and Handlers within the Artifact Evaluation-track
ICFP 2016 Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track
ESOP 2015 Author of A Separation Logic for Fictional Sequential Consistency within the ESOP-track