Concepedia

Filip Sieczkowski

FS

9

Publications

493

Citations

9

H-Index

2012

Active since

Affiliations

University of Wrocław(Current)

Saarland University

Aarhus University

Max Planck Institute for Software Systems

Filip Sieczkowski is an author at University of Wrocław specializing in program analysis, computer science, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisFormal MethodsAutomated ReasoningFormal VerificationSoftware AnalysisProgramming LanguagesSemanticsCompilers

Publications per year

2012–2019

9

Publications

9

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 261 citations

Engineering, Automated Reasoning, Program Analysis +13

Ralf Jung, David Swasey, Filip Sieczkowski et al. · ACM SIGPLAN Notices · 2015 · 51 citations

Engineering, Automated Reasoning, Program Analysis +13

Binders by day, labels by night: effect instances via lexically scoped handlers

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2019 · 42 citations · Full text

Engineering, Semantics, Software Analysis +19

Handle with care: relational interpretation of algebraic effects and handlers

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2017 · 41 citations · Full text

Engineering, Semantics, Software Analysis +19

Abstracting algebraic effects

Dariusz Biernacki, Maciej Piróg, Piotr Polesiuk et al. · Proceedings of the ACM on Programming Languages · 2019 · 30 citations · Full text

Abstract Algebra, Engineering, Algebraic Structure +17

Rows per page

1–5 of 9