BibTeX :: Google Scholar :: DBLP.
-
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 -
Revisiting Row Polymorphism for Set-Theoretic Types, OOPSLA, 2026 · pdf
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 -
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 -
R4R: Reproducibility for R, REP, 2025 · pdf · doi · artifact
P. Donat-Bouillud, F. Křikava, S. Krynski, J. Vitek -
Toward a Typed Intermediate Language for R, VIMPL, 2025 · pdf · doi
M. Laurent, J. Hain, F. Křikava, S. Krynski, J. Vitek -
Copy-and-Patch Just-in-Time Compiler for R, VMIL, 2025 · pdf · doi
M. Kocourek, F. Křikava, 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 -
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 -
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 -
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 -
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 -
Infrastructure as Runtime Models: Towards Model-Driven Resource Management, MODELS, 2015 · pdf · doi
F. Křikava, R. Rouvoy, L. Seinturier -
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 -
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 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 -
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 -
Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study, ICAC, 2014 · pdf
F. Křikava, P. Collet, R. Rouvoy -
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations, MODELS, 2014 · pdf · doi
F. Křikava, P. Collet, R. France -
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 -
Actor-Based Runtime Model of Adaptable Feedback Control Loops, MRT, 2012 · pdf · doi
F. Křikava, P. Collet, R. France -
On the Use of an Internal DSL for Enriching EMF Models, OCL, 2012 · pdf · doi
F. Křikava, P. Collet -
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