BibTeX :: Google Scholar :: DBLP.
-
bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows, SPLASH/ISSTA tool demonstration, 2026 · pdf · doi
F. Říha, F. Křikava -
Revisiting Row Polymorphism for Set-Theoretic Types, OOPSLA, 2026 · pdf · doi
M. Laurent, P. Donat-Bouillud, F. Křikava, J. Vitek -
A Typed Intermediate Representation for Dynamic Languages, TOPLAS, 2026 · pdf · doi
M. Laurent, J. Hain, F. Křikava, S. Krynski, J. Vitek -
Characterizing Type Feedback in Just-in-Time Compilation, ECOOP, 2026 · pdf · doi
S. Krynski, F. Říha, F. Křikava, J. Vitek -
Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis, MPLR, 2026 · pdf · doi
M. Kocourek, F. Křikava, P. Donat-Bouillud, J. Vitek -
What Do R Benchmarks Measure? Toward a Performance-Characterized Benchmark Suite for R, VMIL, 2026 · pdf · doi
M. Kocourek, F. Říha, O. Tušla, P. Donat-Bouillud, F. Křikava, J. Vitek -
Copy-and-Patch Just-in-Time Compiler for R, VMIL, 2025 · pdf · doi
M. Kocourek, F. Křikava, J. Vitek -
R4R: Reproducibility for R, REP, 2025 · pdf · doi · artifact
P. Donat-Bouillud, F. Křikava, S. Krynski, J. Vitek -
Comparing R Bytecode Compilers Written in R, Java, and Rust, MoreVMs, 2025 · pdf · doi
P. Donat-Bouillud, F. Křikava, J. Hain, A. Plodek, J. Vitek -
Toward a Typed Intermediate Language for R, VIMPL, 2025 · pdf · doi
M. Laurent, J. Hain, F. Křikava, S. Krynski, J. Vitek -
Reducing Feedback Pollution, VMIL, 2024 · pdf · doi
S. Krynski, M. Štěpánek, F. Říha, F. Křikava, J. Vitek -
signatr: A Data-Driven Fuzzing Tool for R, SLE, 2022 · pdf · doi · artifact
A. Turcotte, P. Donat-Bouillud, F. Křikava, J. Vitek -
What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs, OOPSLA, 2021 · pdf · doi · artifact
A. Goel, P. Donat-Bouillud, F. Křikava, C. Kirsch, J. Vitek -
Designing Types for R, Empirically, OOPSLA, 2020 · pdf · doi · artifact
A. Turcotte, A. Goel, F. Křikava, J. Vitek -
Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild, OOPSLA, 2019 · pdf · doi · artifact
F. Křikava, H. Miller, J. Vitek -
RDT: A Dynamic Tracing Framework for R, RIOT, 2019 · pdf
A. Goel, F. Křikava, J. Vitek -
Tests from Traces: Automated Unit Test Extraction for R, ISSTA, 2018 · pdf · doi · artifact
F. Křikava, J. Vitek
Best Artifact Award -
Control Strategies for Self-Adaptive Software Systems, TAAS, 2017 · pdf · doi
A. Filieri, M. Maggio, K. Angelopoulos, N. D'Ippolito, I. Gerostathopoulos, A. Hempel, H. Hoffmann, P. Jamshidi, E. Kalyvianaki, C. Klein, F. Křikava, S. Misailovic, A. Papadopoulos, S. Ray, A. Sharifloo, S. Shevtsov, M. Ujma, T. Vogel -
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters, SEAMS, 2017 · pdf · doi
B. Zhang, F. Křikava, R. Rouvoy, L. Seinturier -
Contracts-Based Control Integration into Software Systems, SEfSAS III, 2017 · pdf · doi
F. Křikava, P. Collet, R. Rouvoy, L. Seinturier -
Self-Balancing Job Parallelism and Throughput in Hadoop, DAIS, 2016 · pdf · doi
B. Zhang, F. Křikava, R. Rouvoy, L. Seinturier -
Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms, TTC, 2016 · pdf
F. Křikava -
Software Engineering for Smart Cyber-Physical Systems -- Towards a Research Agenda, SIGSOFT SEN, 2015 · pdf · doi
T. Bureš, D. Weyns, C. Berger, S. Biffl, M. Daun, T. Gabor, D. Garlan, I. Gerostathopoulos, C. Julien, F. Křikava, R. Mordinyi, N. Pronios -
Self-Configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster, ICAC, 2015 · pdf · doi
B. Zhang, F. Křikava, R. Rouvoy, L. Seinturier -
Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems, SEAMS, 2015 · pdf · doi
S. Götz, I. Gerostathopoulos, F. Křikava, A. Shahzada, R. Spalazzese -
Software Engineering Meets Control Theory, SEAMS, 2015 · pdf · doi
A. Filieri, M. Maggio, K. Angelopoulos, N. D'Ippolito, I. Gerostathopoulos, A. Hempel, H. Hoffmann, P. Jamshidi, E. Kalyvianaki, C. Klein, F. Křikava, S. Misailovic, A. Papadopoulos, S. Ray, A. Sharifloo, S. Shevtsov, M. Ujma, T. Vogel -
Infrastructure as Runtime Models: Towards Model-Driven Resource Management, MODELS, 2015 · pdf · doi
F. Křikava, R. Rouvoy, L. Seinturier -
Solving the TTC'15 Train Benchmark Case Study with SIGMA, TTC, 2015 · pdf
F. Křikava -
TTC'15 Live Contest Case Study: Transformation of Java Annotations, TTC, 2015 · pdf
F. Křikava, M. Monperrus -
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations, MODELS, 2014 · pdf · doi
F. Křikava, P. Collet, R. France -
Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study, ICAC, 2014 · pdf
F. Křikava, P. Collet, R. Rouvoy -
ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures, SAC, 2014 · pdf · doi
F. Křikava, P. Collet, R. France -
Manipulating Models Using Internal Domain-Specific Languages, SAC, 2014 · pdf · doi
F. Křikava, P. Collet, R. France -
Solving the TTC'14 FIXML Case Study with SIGMA, TTC, 2014 · pdf
F. Křikava, P. Collet -
On the Use of an Internal DSL for Enriching EMF Models, OCL, 2012 · pdf · doi
F. Křikava, P. Collet -
Actor-Based Runtime Model of Adaptable Feedback Control Loops, MRT, 2012 · pdf · doi
F. Křikava, P. Collet, R. France -
Uniform and Model-Driven Engineering of Feedback Control Systems, ICAC, 2011 · pdf · doi
F. Křikava, P. Collet, M. Blay-Fornarino -
A Reflective Model for Architecting Feedback Control Systems, SEKE, 2011 · pdf
F. Křikava, P. Collet -
Issues and Scenarios for Self-Managing Grid Middleware, GMAC, 2010 · pdf
P. Collet, F. Křikava, J. Montagnat, M. Blay-Fornarino, D. Manset