Filip Sieczkowski -

Registered user since Sat 11 Jun 2016

Name:Filip Sieczkowski

Country:United Kingdom

Affiliation:Heriot-Watt University

Research interests:Verification, Program Logics, Module Systems, Continuations

Contributions

2024

CoqPL

Author of Functorial Syntax for All within the CoqPL 2024-track

POPL

Author of The Essence of Generalized Algebraic Data Types 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

TyDe

2022

POPL

Committee Member in Program Committee within the POPL-track

2020

HOPE

Co-chair in Organizing Committee within the HOPE 2020-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 Equational Theories and Monads from Polynomial Cayley Representations within the FOSSACS 2019-track

POPL

Author of Abstracting Algebraic Effects within the Research Papers-track

2018

ICFP

Hope Co-chair in Organizing Committee

HOPE

Co-chair in Organizing Committee within the HOPE 2018-track

ML

PLDI

Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI Research Papers-track

POPL

2017

HOPE

2016

ICFP

Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track

2015

ESOP

Author of A Separation Logic for Fictional Sequential Consistency within the ESOP-track