Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Scalable reasoning about concurrent imperative programs

2016/23/D/ST6/01387

Keywords:

formal verification separation logic logical relations concurrency higher-order store

Descriptors:

  • ST6_4: Formal methods, foundations of computer science, including theoretical computer science, quantum algorithms

Panel:

ST6 - Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems

Host institution :

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

woj. dolnośląskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr Filip Sieczkowski 

Number of co-investigators in the project: 2

Call: SONATA 12 - announced on 2016-09-15

Amount awarded: 216 700 PLN

Project start date (Y-m-d): 2017-08-24

Project end date (Y-m-d): 2020-08-23

Project duration:: 36 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Equipment purchased [PL]

  1. Laptop computer (10 000 PLN)

Information in the final report

  • Articles in post-conference publications (3)
  1. Binders by day, labels by night: effect instances via lexically scoped handlers
    Authors:
    Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
    Conference:
    Principles of Programming Languages 2020 (rok: 2020, ), Wydawca: ACM
    Data:
    konferencja 2020-01-22–24
    Status:
    Published
  2. Equational Theories and Monads from Polynomial Cayley Representations
    Authors:
    Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
    Conference:
    Foundations of Software Science and Computation Structures (rok: 2019, ), Wydawca: Springer-Verlag
    Data:
    konferencja 2019-04-6−11
    Status:
    Published
  3. Typed Equivalence of Effect Handlers and Delimited Control
    Authors:
    Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
    Conference:
    International Conference on Formal Structures for Computation and Deduction (rok: 2019, ), Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    Data:
    konferencja 2019-06-24−30
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy