Frantisek Farka

12 papers C 3Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Debug, Execute, Verify! Development-Verification Co-Design Made Practical.
PLOS@SOSP
Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel
2022 J jnl
Developing With Formal Methods at BedRock Systems, Inc.
IEEE Secur. Priv.
Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai
2021 J jnl
On algebraic abstractions for concurrent separation logics.
Proc. ACM Program. Lang.
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2020 J jnl
On Algebraic Abstractions for Concurrent Separation Logics.
CoRR
Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas
2020 C conf
slepice: Towards a Verified Implementation of Type Theory in Type Theory.
LOPSTR
Frantisek Farka
2019 C conf
Proof-Carrying Plans.
PADL
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
2018 — conf
Proof-Relevant Resolution for Elaboration of Programming Languages.
ICLP (Technical Communications)
Frantisek Farka
2018 J jnl
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
CoRR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2018 J jnl
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
Theory Pract. Log. Program.
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2016 J jnl
CoALP-Ty'16.
CoRR
Ekaterina Komendantskaya, Frantisek Farka
2016 C conf
Coinductive Soundness of Corecursive Type Class Resolution.
LOPSTR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2016 J jnl
Coinductive Soundness of Corecursive Type Class Resolution.
CoRR
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu