Małgorzata Biernacka

Current position: Post-Doc at CNRS

Current project: A3PAT

---

Address (NEW): INRIA Futurs Parc Club Orsay Université - ZAC des Vignes 4, rue Jacques Monod - Bâtiment N 91893 ORSAY Cedex FRANCE Office: 105 Phone: (+33) 1 72 92 59 95 E-mail: mbiernac@lri.fr

---

Research interests:

• Logic and type theory
• Programming languages
• Automated theorem proving
• Normalization by evaluation

---

Publications:

A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines.
Małgorzata Biernacka and Olivier Danvy.
Accepted for publication in Theoretical Computer Science.
Available as a BRICS technical report BRICS RS-05-38, Dept. of Computer Science, University of Aarhus, Denmark, December 2005.

An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
Małgorzata Biernacka, Dariusz Biernacki and Olivier Danvy.
Logical Methods in Computer Science, 1(2:5):1-39, November 2005.

A Concrete Framework for Environment Machines.
Małgorzata Biernacka and Olivier Danvy.
To appear in the Transactions on Computational Logic.
Available as a BRICS technical report BRICS RS-05-15, Dept. of Computer Science, University of Aarhus, Denmark, May 2005.

Program Extraction from Proofs of Weak Head Normalization.
Małgorzata Biernacka, Olivier Danvy and Kristian Støvring.
In M. Escardò, editor, Proceedings of the 21st Conference on the Mathematical Foundations of Programming Semantics, Electronic Notes in Theoretical Computer Science, Birmingham, UK, May 2005. Elsevier Science Publishers.

An Operational Foundation for Delimited Continuations.
Małgorzata Biernacka, Dariusz Biernacki and Olivier Danvy.
In Hayo Thielecke, editor, Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations, Technical report CSR-04-1, Department of Computer Science, Queen Mary's College, pages 25-33, Venice, Italy, January 2004. [dvi | ps.gz | pdf]
Available as a BRICS technical report BRICS RS-03-41, Dept. of Computer Science, University of Aarhus, Denmark, December 2003.