Filip Sieczkowski
Filip Sieczkowski
Verified email at cs.uni.wroc.pl
Title
Cited by
Cited by
Year
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
2352015
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
422017
Abstracting Algebraic Effects
D Biernacki, M Piróg, P Polesiuk, F Sieczkowski
POPL 2019, 2019
312019
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
302011
A concurrent logical relation
L Birkedal, F Sieczkowski, J Thamsborg
Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012
242012
A separation logic for fictional sequential consistency
F Sieczkowski, K Svendsen, L Birkedal, J Pichon-Pharabod
ESOP 2015, 2015
232015
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
202012
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
192019
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
182010
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
152019
ModuRes: a Coq Library for Modular Reasoning about Concurrent Higher-Order Imperative Programming Languages
F Sieczkowski, A Bizjak, L Birkedal
Interactive Theorem Proving, 2015
152015
Transfinite Step-indexing: Decoupling Concrete and Logical Steps
K Svendsen, F Sieczkowski, L Birkedal
ESOP 2016, 2016
142016
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
132018
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
72016
A Kripke logical relation for effect-based program transformations
L Birkedal, G Jaber, F Sieczkowski, J Thamsborg
Information and Computation 249, 160-189, 2016
42016
A Reflection on Continuation-Composing Style
D Biernacki, M Pyzik, F Sieczkowski
5th International Conference on Formal Structures for Computation and …, 2020
12020
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
12019
Towards Modular Reasoning for Realistic Programming Languages
F Sieczkowski
PhD thesis, IT University of Copenhagen, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–18