Malgorzata Biernacka

According to our database, Malgorzata Biernacka authored at least 20 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A simple and efficient implementation of strong call by need by an abstract machine.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proc. ACM Program. Lang., 2022

The Zoo of Lambda-Calculus Reduction Strategies, And Coq.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

Non-Deterministic Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Strong Call by Value is Reasonable for Time.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

CoRR, 2021

A Derived Reasonable Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Witold Charatonik, Tomasz Drab

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

An Abstract Machine for Strong Call by Value.

Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Deriving an Abstract Machine for Strong Call by Need.

Malgorzata Biernacka, Witold Charatonik

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2017

Generalized Refocusing: From Hybrid Strategies to Abstract Machines.

Malgorzata Biernacka, Witold Charatonik, Klara Zielinska

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2013

Proving termination of evaluation for System F with control operators.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

An operational foundation for the tactic language of Coq.

Wojciech Jedynak, Malgorzata Biernacka, Dariusz Biernacki

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2011

Typing control operators in the CPS hierarchy.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in Coq.

Filip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki

Proceedings of the Implementation and Application of Functional Languages, 2010

2009

A Context-based Approach to Proving Termination of Evaluation.

Malgorzata Biernacka, Dariusz Biernacki

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Context-based proofs of termination for typed delimited-control operators.

Malgorzata Biernacka, Dariusz Biernacki

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines.

Malgorzata Biernacka, Olivier Danvy

Proceedings of the Semantics and Algebraic Specification, 2009

2007

A concrete framework for environment machines.

Malgorzata Biernacka, Olivier Danvy

ACM Trans. Comput. Log., 2007

A syntactic correspondence between context-sensitive calculi and abstract machines.

Malgorzata Biernacka, Olivier Danvy

Theor. Comput. Sci., 2007

2005

An Operational Foundation for Delimited Continuations in the CPS Hierarchy.

Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy

Log. Methods Comput. Sci., 2005

Program Extraction From Proofs of Weak Head Normalization.

Malgorzata Biernacka, Olivier Danvy, Kristian Støvring

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005