Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ... ACM SIGPLAN Notices 50 (1), 637-650, 2015 | 235 | 2015 |

Handle with care: relational interpretation of algebraic effects and handlers D Biernacki, M Piróg, P Polesiuk, F Sieczkowski Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017 | 42 | 2017 |

Abstracting Algebraic Effects D Biernacki, M Piróg, P Polesiuk, F Sieczkowski POPL 2019, 2019 | 31 | 2019 |

Verifying object-oriented programs with higher-order separation logic in Coq J Bengtson, JB Jensen, F Sieczkowski, L Birkedal International Conference on Interactive Theorem Proving, 22-38, 2011 | 30 | 2011 |

A concurrent logical relation L Birkedal, F Sieczkowski, J Thamsborg Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 24 | 2012 |

A separation logic for fictional sequential consistency F Sieczkowski, K Svendsen, L Birkedal, J Pichon-Pharabod ESOP 2015, 2015 | 23 | 2015 |

Formalized verification of snapshotable trees: Separation and sharing H Mehnert, F Sieczkowski, L Birkedal, P Sestoft International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 20 | 2012 |

Typed equivalence of effect handlers and delimited control M Piróg, P Polesiuk, F Sieczkowski 4th International Conference on Formal Structures for Computation and …, 2019 | 19 | 2019 |

Automating derivations of abstract machines from reduction semantics F Sieczkowski, M Biernacka, D Biernacki Symposium on Implementation and Application of Functional Languages, 72-88, 2010 | 18 | 2010 |

Binders by day, labels by night: effect instances via lexically scoped handlers D Biernacki, M Piróg, P Polesiuk, F Sieczkowski Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019 | 15 | 2019 |

ModuRes: a Coq Library for Modular Reasoning about Concurrent Higher-Order Imperative Programming Languages F Sieczkowski, A Bizjak, L Birkedal Interactive Theorem Proving, 2015 | 15 | 2015 |

Transfinite Step-indexing: Decoupling Concrete and Logical Steps K Svendsen, F Sieczkowski, L Birkedal ESOP 2016, 2016 | 14 | 2016 |

Heartbeat scheduling: provable efficiency for nested parallelism UA Acar, A Charguéraud, A Guatto, M Rainey, F Sieczkowski Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 13 | 2018 |

Dag-calculus: a calculus for parallel computation UA Acar, A Charguéraud, M Rainey, F Sieczkowski Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 7 | 2016 |

A Kripke logical relation for effect-based program transformations L Birkedal, G Jaber, F Sieczkowski, J Thamsborg Information and Computation 249, 160-189, 2016 | 4 | 2016 |

A Reflection on Continuation-Composing Style D Biernacki, M Pyzik, F Sieczkowski 5th International Conference on Formal Structures for Computation and …, 2020 | 1 | 2020 |

Equational Theories and Monads from Polynomial Cayley Representations M Piróg, P Polesiuk, F Sieczkowski International Conference on Foundations of Software Science and Computation …, 2019 | 1 | 2019 |

Towards Modular Reasoning for Realistic Programming Languages F Sieczkowski PhD thesis, IT University of Copenhagen, 2013 | 1 | 2013 |