Filip Sieczkowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A reflection on continuation-composing style	2026-02-24	Paper
Call-by-value and call-by-name: a simple proof of a classic theorem Journal of Functional Programming	2025-11-25	Paper
scientific article; zbMATH DE number 7559296 (Why is no real title available?)	2022-07-18	Paper
Equational theories and monads from polynomial Cayley representations	2020-01-28	Paper
Dag-calculus: a calculus for parallel computation Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
A Kripke logical relation for effect-based program transformations Information and Computation	2016-07-07	Paper
A separation logic for fictional sequential consistency Programming Languages and Systems	2016-04-26	Paper
Transfinite step-indexing: decoupling concrete and logical steps Programming Languages and Systems	2016-04-26	Paper
ModuRes: a Coq library for modular reasoning about concurrent higher-order imperative programming languages Interactive Theorem Proving	2015-09-14	Paper
A concurrent logical relation	2012-11-22	Paper
Verifying object-oriented programs with higher-order separation logic in Coq Interactive Theorem Proving	2011-08-17	Paper

Research outcomes over time

This page was built for person: Filip Sieczkowski