Filip Sieczkowski

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 13

Top Topics

Equational Theories

Mutual Exclusion

Top Venues

Proc. ACM Program. Lang.

Publications

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