BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sieczkowski:Filip

Contributed to:

ESOP 20152015
POPL 20152015
CSL 20122012
IFL 20102010
ESOP 20162016
PLDI 20182018
POPL 20182018
POPL 20192019
POPL 20202020

Wrote 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.
Binders by day, labels by night: effect instances via lexically scoped handlers (DB, MP, PP, FS), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.