ITU
Filip Sieczkowski

Filip Sieczkowski

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Information Desk: 72185000

View graph of relations

  1. 2012
  2. Published

    A Concurrent Logical Relation

    Birkedal, L., Sieczkowski, F. & Thamsborg, J. J., 2012, In: Dagstuhl Seminar Proceedings. 16, 21 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Published

    Formalized Verification of Snapshotable Trees: Separation and Sharing

    Mehnert, H., Sieczkowski, F., Birkedal, L. & Sestoft, P., 2012, Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings. Springer, Vol. 7152. p. 179-195 15 p. (Lecture Notes in Computer Science, Vol. 7152).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. 2011
  5. Published

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

    Sieczkowski, F., Biernacka, M. & Biernacki, D., 2011, IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages . Springer, p. 72-88 16 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. Published

    Verifying object-oriented programs with higher-order separation logic in Coq

    Bengtson, J., Jensen, J. B., Sieczkowski, F. & Birkedal, L., 2011, In: Lecture Notes in Computer Science. 6898, p. 22-38

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

ID: 30796005