Travelled to:1 × France
1 × India
1 × The Netherlands
1 × United Kingdom
Collaborated with:D.Biernacki L.Birkedal M.Piróg P.Polesiuk K.Svendsen J.Thamsborg M.Biernacka J.Pichon-Pharabod U.A.Acar A.Charguéraud A.Guatto M.Rainey R.Jung D.Swasey A.Turon D.Dreyer
Talks about:effect (3) logic (3) abstract (2) handler (2) concurr (2) algebra (2) relat (2) step (2) transfinit (1) interpret (1)
Person: Filip Sieczkowski
DBLP: Sieczkowski:Filip
Contributed to:
2015
2015
2012
20102016
2018201820192020Wrote 9 papers:
- ESOP-2015-SieczkowskiSBP #consistency #logic
- A Separation Logic for Fictional Sequential Consistency (FS, KS, LB, JPP), pp. 736–761.
- POPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning
- Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.
- CSL-2012-BirkedalST #concurrent #logic
- A Concurrent Logical Relation (LB, FS, JT), pp. 107–121.
- IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics
- Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.
- ESOP-2016-SvendsenSB #logic
- Transfinite Step-Indexing: Decoupling Concrete and Logical Steps (KS, FS, LB), pp. 727–751.
- PLDI-2018-AcarCGRS #parallel #performance #scheduling
- Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
- POPL-2018-BiernackiPPS #algebra #relational
- Handle with care: relational interpretation of algebraic effects and handlers (DB, MP, PP, FS), p. 30.
- POPL-2019-BiernackiPPS #algebra
- Abstracting algebraic effects (DB, MP, PP, FS), p. 28.
- POPL-2020-BiernackiPPS
- Binders by day, labels by night: effect instances via lexically scoped handlers (DB, MP, PP, FS), p. 29.