Dariusz Biernacki

Current position:

PhD student at BRICS PhD School in Aarhus, Denmark
Supervisor: Olivier Danvy

Scientific interests:

• Semantics of programming languages
• Curry-Howard isomorphism
• Type and effect systems
• Functional and logic programming
• Continuations and control operators
• Abstract machines
• Proof theory

Curriculum Vitae: dvi, ps, pdf

Publications:

An Operational Foundation for Delimited Continuations in the CPS Hierarchy.
Malgorzata Biernacka, Dariusz Biernacki and Olivier Danvy.
Logical Methods in Computer Science, 1 (2:5):1-39, 2005.
Available also as BRICS technical report BRICS RS-05-24, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, August 2005.

A Simple Proof of a Folklore Theorem about Delimited Control.
Dariusz Biernacki and Olivier Danvy.
To appear in the Journal of Functional Programming as a Theoretical Pearl.
Available as BRICS technical report BRICS RS-05-25, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, August 2005.

On the Dynamic Extent of Delimited Continuations.
Dariusz Biernacki, Olivier Danvy, and Chung-chieh Shan.
Information Processing Letters, 6(1):7-17, 2005.
Extended version available as BRICS technical report BRICS RS-05-13, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, April 2005.

From Interpreter to Logic Engine by Defunctionalization.
Dariusz Biernacki and Olivier Danvy.
In Maurice Bruynooghe, editor, Logic Based Program Synthesis and Transformation, 13th International Symposium, LOPSTR 2003, number 3018 in Lecture Notes in Computer Science, pages 143-159, Uppsala, Sweden, August 2003. Springer-Verlag. [dvi | ps.gz | pdf]
Available also as BRICS technical report BRICS RS-04-5, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, March 2004.

A Functional Correspondence between Evaluators and Abstract Machines.
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy and Jan Midtgaard.
In Dale Miller, editor, Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003). ACM Press 2003. [dvi | ps.gz | pdf]
Available also as BRICS technical report BRICS RS-03-13, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, March 2003.

An Operational Foundation for Delimited Continuations.
Malgorzata 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 also as BRICS technical report BRICS RS-03-41, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, December 2003.

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations.
Dariusz Biernacki, Olivier Danvy and Kevin Millikin.
BRICS technical report BRICS RS-05-16 , DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, May 2005.

From Interpreter to Compiler and Virtual Machine: a Functional Derivation.
Mads Sig Ager, Dariusz Biernacki, Olivier Danvy and Jan Midtgaard.
BRICS technical report BRICS RS-03-14, DAIMI, Department of Computer Science, University of Aarhus, Aarhus, Denmark, March 2003.