Subtyping delimited continuations. - Marek Materzok; Dariusz Biernacki (ICFP, 2011)

A Dynamic Interpretation of the CPS Hierarchy. - Marek Materzok; Dariusz Biernacki (APLAS, 2012)

Axiomatizing Subtyped Delimited Continuations. - Marek Materzok (CSL, 2013)

Proving termination of evaluation for System F with control operators. - Malgorzata Biernacka; Dariusz Biernacki; Sergueï Lenglet; Marek Materzok (COS, 2013)

Easyprove: a tool for teaching precise reasoning. - Marek Materzok (CoRR, 2015)

DigitalJS: a Visual Verilog Simulator for Teaching. - Marek Materzok (CSERC, 2019)

Generating circuits with generators. - Marek Materzok (Proc. ACM Program. Lang., 2022)