| 2021 | PPDP | Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2020 | FSCD | A Reflection on Continuation-Composing Style. | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2019 | FOSSACS | Equational Theories and Monads from Polynomial Cayley Representations. | Maciej Pirg, Piotr Polesiuk, Filip Sieczkowski |
| 2018 | PLDI | Heartbeat scheduling: provable efficiency for nested parallelism. | Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
| 2016 | ESOP | Transfinite Step-Indexing: Decoupling Concrete and Logical Steps. | Kasper Svendsen, Filip Sieczkowski, Lars Birkedal |
| 2016 | ICFP | Dag-calculus: a calculus for parallel computation. | Umut A. Acar, Arthur Charguraud, Mike Rainey, Filip Sieczkowski |
| 2015 | ESOP | A Separation Logic for Fictional Sequential Consistency. | Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod |
| 2015 | ITP | ModuRes: A Coq Library for Modular Reasoning About Concurrent Higher-Order Imperative Programming Languages. | Filip Sieczkowski, Ales Bizjak, Lars Birkedal |
| 2015 | POPL | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. | Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2012 | CSL | A Concurrent Logical Relation. | Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg |
| 2011 | ITP | Verifying Object-Oriented Programs with Higher-Order Separation Logic in Coq. | Jesper Bengtson, Jonas Braband Jensen, Filip Sieczkowski, Lars Birkedal |