Malgorzata Biernacka

27 papers A* 1B 8C 5Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine.
CoRR
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2025 C ed.
Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025
PPDP
Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney
2024 J jnl
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2024 B conf
Optimizing a Non-Deterministic Abstract Machine with Environments.
FSCD
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2022 J jnl
A simple and efficient implementation of strong call by need by an abstract machine.
Proc. ACM Program. Lang.
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2022 J jnl
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2022 B conf
Non-Deterministic Abstract Machines.
CONCUR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2022 B conf
The Zoo of Lambda-Calculus Reduction Strategies, And Coq.
ITP
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2021 C conf
A Derived Reasonable Abstract Machine for Strong Call by Value.
PPDP
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2021 J jnl
Strong Call by Value is Reasonable for Time.
CoRR
Malgorzata Biernacka, Witold Charatonik, Tomasz Drab
2020 B conf
An Abstract Machine for Strong Call by Value.
APLAS
Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
2020 J jnl
An Abstract Machine for Strong Call by Value.
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
2019 B conf
Deriving an Abstract Machine for Strong Call by Need.
FSCD
Malgorzata Biernacka, Witold Charatonik
2017 A* conf
Fully abstract encodings of λ-calculus in HOcore through abstract machines.
LICS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2017 B conf
Generalized Refocusing: From Hybrid Strategies to Abstract Machines.
FSCD
Malgorzata Biernacka, Witold Charatonik, Klara Zielinska
2013 C conf
An operational foundation for the tactic language of Coq.
PPDP
Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki
2013 — conf
Proving termination of evaluation for System F with control operators.
COS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
2011 C conf
Typing control operators in the CPS hierarchy.
PPDP
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet
2010 — conf
Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq.
IFL
Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki
2009 B conf
A Context-based Approach to Proving Termination of Evaluation.
MFPS
Malgorzata Biernacka, Dariusz Biernacki
2009 C conf
Context-based proofs of termination for typed delimited-control operators.
PPDP
Malgorzata Biernacka, Dariusz Biernacki
2009 — conf
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.
Semantics and Algebraic Specification
Malgorzata Biernacka, Olivier Danvy
2007 J jnl
A concrete framework for environment machines.
ACM Trans. Comput. Log.
Malgorzata Biernacka, Olivier Danvy
2007 J jnl
A syntactic correspondence between context-sensitive calculi and abstract machines.
Theor. Comput. Sci.
Malgorzata Biernacka, Olivier Danvy
2005 J jnl
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
2005 J jnl
An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
2005 B conf
Program Extraction From Proofs of Weak Head Normalization.
MFPS
Malgorzata Biernacka, Olivier Danvy, Kristian Støvring