| 2024 | FSCD | Optimizing a Non-Deterministic Abstract Machine with Environments. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt |
| 2022 | CONCUR | Non-Deterministic Abstract Machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Alan Schmitt |
| 2021 | LOPSTR | Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines. | Maciej Buszka, Dariusz Biernacki |
| 2021 | PPDP | Reflecting Stacked Continuations in a Fine-Grained Direct-Style Reduction Theory. | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2020 | APLAS | An Abstract Machine for Strong Call by Value. | Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab |
| 2020 | FSCD | A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers. | Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk |
| 2020 | FSCD | A Reflection on Continuation-Composing Style. | Dariusz Biernacki, Mateusz Pyzik, Filip Sieczkowski |
| 2019 | FOSSACS | A Complete Normal-Form Bisimilarity for State. | Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk |
| 2018 | CPP | A Coq formalization of normalization by evaluation for Martin-Lf type theory. | Pawel Wieczorek, Dariusz Biernacki |
| 2017 | LICS | Fully abstract encodings of λ-calculus in HOcore through abstract machines. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt |
| 2013 | APLAS | Environmental Bisimulations for Delimited-Control Operators. | Dariusz Biernacki, Sergue Lenglet |
| 2013 | PPDP | An operational foundation for the tactic language of Coq. | Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki |
| 2012 | APLAS | A Dynamic Interpretation of the CPS Hierarchy. | Marek Materzok, Dariusz Biernacki |
| 2012 | FLOPS | Normal Form Bisimulations for Delimited-Control Operators. | Dariusz Biernacki, Sergue Lenglet |
| 2012 | FOSSACS | Applicative Bisimulations for Delimited-Control Operators. | Dariusz Biernacki, Sergue Lenglet |
| 2011 | ICFP | Subtyping delimited continuations. | Marek Materzok, Dariusz Biernacki |
| 2011 | PPDP | Typing control operators in the CPS hierarchy. | Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet |
| 2010 | HASKELL | A systematic derivation of the STG machine verified in Coq. | Maciej Pirg, Dariusz Biernacki |
| 2009 | PPDP | Context-based proofs of termination for typed delimited-control operators. | Malgorzata Biernacka, Dariusz Biernacki |
| 2003 | LOPSTR | From Interpreter to Logic Engine by Defunctionalization. | Dariusz Biernacki, Olivier Danvy |
| 2003 | PPDP | A functional correspondence between evaluators and abstract machines. | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |