Frantisek Farka

According to our database, Frantisek Farka authored at least 10 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Debug, Execute, Verify! Development-Verification Co-Design Made Practical.

Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2022

Developing With Formal Methods at BedRock Systems, Inc.

Gregory Malecha, Gordon Stewart, Frantisek Farka, Jasper Haag, Yoichi Hirai

IEEE Secur. Priv., 2022

2021

On algebraic abstractions for concurrent separation logics.

Frantisek Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

Proc. ACM Program. Lang., 2021

2020

slepice: Towards a Verified Implementation of Type Theory in Type Theory.

Frantisek Farka

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Proof-Carrying Plans.

Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond

Proceedings of the Practical Aspects of Declarative Languages, 2019

2018

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.

Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond

Theory Pract. Log. Program., 2018

Proof-Relevant Resolution for Elaboration of Programming Languages.

Frantisek Farka

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2016

CoALP-Ty'16.

Ekaterina Komendantskaya, Frantisek Farka

CoRR, 2016

Coinductive Soundness of Corecursive Type Class Resolution.

Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu

CoRR, 2016

Coinductive Soundness of Corecursive Type Class Resolution.

Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016