Filip Krikava

37 papers A 3B 1C 2Misc 2Journal 7Unranked 16
YearRankTypeTitle / Venue / Authors
2025 — conf
Comparing R Bytecode Compilers Written in R, Java, and Rust (Extended Abstract).
Programming
Pierre Donat-Bouillud, Filip Krikava, Jakob Hain, Adam Plodek, Jan Vitek
2025 — conf
R4R: Reproducibility for R.
ACM REP
Pierre Donat-Bouillud, Filip Krikava, Sebastián Krynski, Jan Vitek
2025 — conf
Toward a Typed Intermediate Language for R (Extended Abstract).
Programming
Mickaël Laurent, Jakob Hain, Filip Krikava, Sebastián Krynski, Jan Vitek
2024 — conf
Reducing Feedback Pollution.
VMIL@SPLASH
Sebastián Krynski, Michal Stepánek, Filip Ríha, Filip Krikava, Jan Vitek
2022 B conf
signatr: A Data-Driven Fuzzing Tool for R.
SLE
Alexi Turcotte, Pierre Donat-Bouillud, Filip Krikava, Jan Vitek
2021 J jnl
What we eval in the shadows: a large-scale study of eval in R programs.
Proc. ACM Program. Lang.
Aviral Goel, Pierre Donat-Bouillud, Filip Krikava, Christoph M. Kirsch, Jan Vitek
2020 J jnl
Designing types for R, empirically.
Proc. ACM Program. Lang.
Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek
2020 — ed.
Proceedings of the 12th Transformation Tool Contest, co-located with the 2019 Software Technologies: Applications and Foundations, TTC@STAF 2019, Eindhoven, The Netherlands, July 19, 2019.
TTC@STAF
Antonio García-Domínguez, Georg Hinkel, Filip Krikava
2019 — ed.
Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018.
TTC@STAF
Antonio García-Domínguez, Georg Hinkel, Filip Krikava
2019 J jnl
Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.
CoRR
Filip Krikava, Heather Miller, Jan Vitek
2019 J jnl
Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild.
Proc. ACM Program. Lang.
Filip Krikava, Heather Miller, Jan Vitek
2018 A conf
Tests from traces: automated unit test extraction for R.
ISSTA
Filip Krikava, Jan Vitek
2017 J jnl
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst.
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
2017 J jnl
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact).
Dagstuhl Artifacts Ser.
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
2017 — conf
Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters.
SEAMS@ICSE
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
2017 — ed.
Proceedings of the 10th Transformation Tool Contest (TTC 2017), co-located with the 2017 Software Technologies: Applications and Foundations (STAF 2017), Marburg, Germany, July 21, 2017.
TTC@STAF
Antonio García-Domínguez, Georg Hinkel, Filip Krikava
2016 — ed.
Proceedings of the 9th Transformation Tool Contest, co-located with the 2016 Software Technologies: Applications and Foundations (STAF 2016), Vienna, Austria, July 8, 2016.
TTC@STAF
Antonio García-Domínguez, Filip Krikava, Louis M. Rose
2016 C conf
Self-Balancing Job Parallelism and Throughput in Hadoop.
DAIS
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
2016 — conf
Solving the TTC'16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms.
TTC@STAF
Filip Krikava
2015 — conf
Adaptive Exchange of Distributed Partial [email protected] for Highly Dynamic Systems.
SEAMS@ICSE
Sebastian Götz, Ilias Gerostathopoulos, Filip Krikava, Adnan Shahzada, Romina Spalazzese
2015 A conf
Infrastructure as runtime models: Towards Model-Driven resource management.
MoDELS
Filip Krikava, Romain Rouvoy, Lionel Seinturier
2015 — ed.
Proceedings of the 8th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, L'Aquila, Italy, July 24, 2015.
TTC@STAF
Louis M. Rose, Tassilo Horn, Filip Krikava
2015 — conf
Self-Configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster.
ICAC
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
2015 — conf
Software Engineering Meets Control Theory.
SEAMS@ICSE
Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D'Ippolito, Ilias Gerostathopoulos, Andreas B. Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro Vittorio Papadopoulos, Suprio Ray, Amir Molzam Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel
2015 J jnl
Software Engineering for Smart Cyber-Physical Systems - Towards a Research Agenda: Report on the First International Workshop on Software Engineering for Smart CPS.
ACM SIGSOFT Softw. Eng. Notes
Tomás Bures, Danny Weyns, Christian Berger, Stefan Biffl, Marian Daun, Thomas Gabor, David Garlan, Ilias Gerostathopoulos, Christine Julien, Filip Krikava, Richard Mordinyi, Nikos Pronios
2015 — conf
Solving the TTC'15 Train Benchmark Case Study with SIGMA.
TTC@STAF
Filip Krikava
2014 Misc conf
ACTRESS: domain-specific modeling of self-adaptive software architectures.
SAC
Filip Krikava, Philippe Collet, Robert B. France
2014 — conf
Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study.
ICAC
Filip Krikava, Philippe Collet, Romain Rouvoy
2014 Misc conf
Manipulating models using internal domain-specific languages.
SAC
Filip Krikava, Philippe Collet, Robert B. France
2014 A conf
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations.
MoDELS
Filip Krikava, Philippe Collet, Robert B. France
2014 — conf
Solving the TTC'14 FIXML Case Study with SIGMA.
TTC@STAF
Filip Krikava, Philippe Collet
2013 — conf
Contracts-Based Control Integration into Software Systems.
Software Engineering for Self-Adaptive Systems
Filip Krikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
2013 — —
Domain-specific modeling language for self-adaptive software system architectures. (Langage de modélisation spécifique au domaine pour les architectures logicielles auto-adaptatives).
Filip Krikava
2012 — conf
Actor-based runtime model of adaptable feedback control loops.
[email protected]
Filip Krikava, Philippe Collet, Robert B. France
2012 — conf
On the use of an internal DSL for enriching EMF models.
OCL@MoDELS
Filip Krikava, Philippe Collet
2011 C conf
A Reflective Model for Architecting Feedback Control Systems.
SEKE
Filip Krikava, Philippe Collet
2011 — conf
Uniform and model-driven engineering of feedback control systems.
ICAC
Filip Krikava, Philippe Collet, Mireille Blay-Fornarino