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

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