Filip Sieczkowski

22 papers A* 2A 3B 7C 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Call-by-value and call-by-name: A simple proof of a classic theorem.
J. Funct. Program.
Dariusz Biernacki, James McKinna, Filip Sieczkowski
2025 B conf
Strong Dinatural Transformations and Generalised Codensity Monads.
MFPS
Maciej Piróg, Filip Sieczkowski
2024 J jnl
The Essence of Generalized Algebraic Data Types.
Proc. ACM Program. Lang.
Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling, Lars Birkedal
2023 J jnl
A General Fine-Grained Reduction Theory for Effect Handlers.
Proc. ACM Program. Lang.
Filip Sieczkowski, Mateusz Pyzik, Dariusz Biernacki
2021 C conf
Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory.
PPDP
Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
2020 B conf
A Reflection on Continuation-Composing Style.
FSCD
Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski
2020 J jnl
Binders by day, labels by night: effect instances via lexically scoped handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 J jnl
Abstracting algebraic effects.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 B conf
Equational Theories and Monads from Polynomial Cayley Representations.
FoSSaCS
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2019 B conf
Typed Equivalence of Effect Handlers and Delimited Control.
FSCD
Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 J jnl
Handle with care: relational interpretation of algebraic effects and handlers.
Proc. ACM Program. Lang.
Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
2018 A* conf
Heartbeat scheduling: provable efficiency for nested parallelism.
PLDI
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski
2016 J jnl
A Kripke logical relation for effect-based program transformations.
Inf. Comput.
Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg
2016 A conf
Dag-calculus: a calculus for parallel computation.
ICFP
Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski
2016 A conf
Transfinite Step-Indexing: Decoupling Concrete and Logical Steps.
ESOP
Kasper Svendsen, Filip Sieczkowski, Lars Birkedal
2015 A conf
A Separation Logic for Fictional Sequential Consistency.
ESOP
Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod
2015 A* conf
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
POPL
Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
2015 B conf
ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages.
ITP
Filip Sieczkowski, Ales Bizjak, Lars Birkedal
2012 B conf
A Concurrent Logical Relation.
CSL
Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg
2012 — conf
Formalized Verification of Snapshotable Trees: Separation and Sharing.
VSTTE
Hannes Mehnert, Filip Sieczkowski, Lars Birkedal, Peter Sestoft
2011 B conf
Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq.
ITP
Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal
2010 — conf
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq.
IFL
Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki