Author

Filip Křikava

h-index 1 View on Semantic Scholar

We have 4 of 10 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Revisiting Row Polymorphism for Set-Theoretic Types

Set-theoretic types support expressive record types through unions, intersections, and negations, but they lack the row polymorphism needed to type operations that propagate unknown fields across records. Prior work addresses this by allowing Boolean combinations of rows in type substitutions, which complicates the for...

Mickaël Laurent, Pierre Donat-Bouillud, Filip Křikava et al. · 1 citation

Book Open access Oct 2026

bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows

Benchmarking provides much of the feedback that drives systems and language research, yet sound benchmarking is hard. As experiments grow, added programs, configurations, custom metrics, warmup, failures, and machine noise can all mislead. We present bench, a tool that keeps simple measurements simple and lets complex...

F. Říha, Filip Křikava · Companion Proceedings of the... · 1 citation

Leveraging Copy-and-Patch JIT Compilation for Low-Overhead Dynamic Program Analysis

This paper explores copy-and-patch as a foundation for dynamic program analysis, and implements four analyses on top of an existing copy-and-patch JIT for R: code instrumentation, code coverage, performance profiling, and native debugging.

Martin Kocourek, Filip Křikava, Jan Vitek · 0 citations

Conference 2026

Characterizing Type Feedback in Just-In-Time Compilation

A characterization study of how feedback information is utilized by JIT compilers, providing motivation for future work on reducing recording overhead, and evaluating two oracle-based configurations that establish upper bounds on achievable reduction.

Sebastián Krynski, F. Říha, Filip Křikava et al. · European Conference on Objec... · 0 citations