Scalable reasoning about concurrent imperative programs
2016/23/D/ST6/01387
Keywords
Descriptors
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
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
Voivodeship: dolnośląskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
SONATA 12 – announced on 2016-09-15
- Amount awarded
- 216 700 PLN
- Project start date
- 2017-08-24
- Project end date
- 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]
- Laptop computer. Cost: 10 000 PLN
Information in the final report
Articles in post-conference publications (3)
-
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 (year: 2020, pages: 48:1–48:29), Publisher: ACM
- Date:
- conference 2020-01-22–24
- Status:
- Published
-
Equational Theories and Monads from Polynomial Cayley Representations
- Authors:
- Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski
- Conference:
- Foundations of Software Science and Computation Structures (year: 2019, pages: 453-469), Publisher: Springer-Verlag
- Date:
- conference 2019-04-6−11
- Status:
- Published
-
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 (year: 2019, pages: 30:1-30:16), Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Date:
- conference 2019-06-24−30
- Status:
- Published