Since 2016, I moved to programming languages working on static and dynamic analysis of programming languages (mostly R and Scala) as well as compiler and virtual machine implementations (mostly around R). The aim is to understand how certain language features are used in the wild by analyzing large corpora of software projects mostly from GitHub.
Before, till 2016, I was focused on Self-Adaptive Software Systems. Such systems are characterized by the ability to continuously operate under varying runtime conditions. The heart of their adaptation capability is usually based on the notion of a Feedback Control Loop (FCL) that regulates the characteristics of the system to achieve its goals despite changes that may occur during operation. In my research I was looking into the FCL integration challenges—i.e. on forming an architecture connection between the underlying adaptive software and the adaptation engine through the use of domain-specific modeling language, model-driven engineering and models@run.time.
List of publication at Google Scholar, DBLP.
2022: A. Turcotte, P. Donat-Bouillud, F. Křikava, J. Vitek, signatr: A Data-Driven Fuzzing Tool for R, In 15th ACM SIGPLAN International Conference on Software Language Engineering (SLE’22), 2022 pdf
2021: A. Goel, P. Donat-Bouillud, F. Křikava, C. Kirsch, J. Vitek, What We Eval in the Shadows, In PACMPL Issue OOPSLA 2021 pdf artifact
2020: A. Turcotte, A. Goel, F. Křikava, J. Vitek, Designing Types for R, Empirically, In PACMPL Issue OOPSLA 2020 pdf artifact
2019: F. Křikava, H. Miller, J. Vitek, Scala Implicits Are Everywhere, In PACMPL Issue OOPSLA 2019 pdf artifact
2018: F. Křikava, J. Vitek, Tests from Traces: Automated Unit Test Extraction for R, In ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA’18), 2018 pdf artifact - Distinguished Artifact Award.
2017: B. Zhang, F. Křikava, R. Rouvoy, L. Seinturier, Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters, In 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’17), 2017, pdf
2017: F. Křikava, P. Collet, R. Rouvoy, L. Seinturier, Contracts-based Control Integration into Software Systems, In Software Engineering for Self-Adaptive Software Systems - Book 3: Assurances pdf
2015: T. Bures, D. Weyns, C. Berger, S. Biffl, M. Daun, T. Gabor, D. Garlan, I. Gerostathopoulos, C. Julien, F. Křikava, R. Mordinyi, N. Pronios, 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 Software Engineering Notes pdf
2016: 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. V. Papadopoulos, S. Ray, A. M. Sharifloo, S. Shevtsov, M. Ujma and T. Vogel, Control Strategies for Self-Adaptive Software Systems, In Transactions on Autonomous and Adaptive Systems pdf
2015: B. Zhang, F. Křikava, R. Rouvoy, L. Seinturier, Self-configuration of the Number of Concurrently Running MapReduce Jobs in a Hadoop Cluster, In Proceedings of the 12th International Conference on Autonomic Computing (ICAC ‘15), poster, 2015, pdf
2015: S. Götz, I. Gerostathopoulos, F. Křikava, A. Shahzada and R. Spalazzese, Adaptive Exchange of Distributed Partial Models@run.time for Highly Dynamic Systems, In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ‘15), 2015 pdf
2015: 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. V. Papadopoulos, S. Ray, A. M. Sharifloo, S. Shevtsov, M. Ujma and T. Vogel, Software Engineering Meets Control Theory, In Proceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS ‘15), 2015 pdf
2014: F. Křikava, P. Collet, R. France, SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations, In Proceedings of the 17th International Conference on Model Driven Engineering Languages and Systems (MODELS ‘14), CORE - B, 2014, pdf
2014: F. Křikava, P. Collet, R. Rouvoy, Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models: A Case Study, In Proceedings of the 11th International Conference on Autonomic Computing (ICAC ’14), CORE - B, 2014, pdf
2014: F. Křikava, P. Collet, R. France, ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures, In Proceedings of the 29th Symposium On Applied Computing (SAC ‘14) - Dependable and Adaptive Distributed Systems track (DADS ‘14), CORE - B, 2014, pdf
2014: F. Křikava, P. Collet, R. France, Manipulating Models Using Internal Domain-Specific Languages, In Proceedings of the 29th Symposium On Applied Computing (SAC ‘14) - Programming Language track (PL ‘14), CORE - B, short paper, 2014, pdf
2011: F. Křikava, P. Collet, A Reflective Model for Architecting Feedback Control Systems, In Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE ’11), CORE - B, 2011, pdf
2019: A. Goel, F. Křikava, J. Vitek, RDT: A Dynamic Tracing Framework for R, 4rd Workshop on R Implementation, Optimization and Tooling RIOT 2019, co-located with useR! 2019 asbtract
2016: F. Křikava, Solving the TTC’16 Class Responsibility Assignment Case Study with SIGMA and Multi-Objective Genetic Algorithms, Proceedings of the 9th Transformation Tool Contest (TTC’16) part of the Software Technologies: Applications and Foundations (STAF 2016) federation of conferences, 2016 pdf
2015: F. Křikava, M. Monperrus, TTC’15 Live Contest Case Study: Transformation of Java Annotations, Proceedings of the 8th Transformation Tool Contest (TTC’15) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015 pdf
2015: F. Křikava, Solving the TTC’15 Train Benchmark Case Study with SIGMA, Proceedings of the 8th Transformation Tool Contest (TTC’15) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015 pdf
2014: F. Křikava, P. Collet, Solving the TTC’14 FIXML Case Study with SIGMA, Proceedings of the 7th Transformation Tool Contest (TTC’14) part of the Software Technologies: Applications and Foundations (STAF 2014) federation of conferences, 2014 pdf
2012: F. Křikava, P. Collet, On the Use of an Internal DSL for Enriching EMF Models, In Proceedings of the 2012 International Workshop on OCL and Textual Modelling (OCL ’12) - MODELS’12, 2012, pdf
2012: F. Křikava, P. Collet, R. France, Actor-based Runtime Model of Adaptable Feedback Control Loops, In Proceedings of the 7th International Workshop on models@run.time (MRT ‘12) - MODELS’12, 2012, pdf
2020: F. Křikava, Large-scale Program Analysis for Language Evolution, Habilitation Thesis, defended on 11.11.2021 at Czech Technical University, Czech Republic, pdf
2013: F. Křikava, Domain-Specific Modeling Language for Self-Adaptive Software System Architectures, Phd Thesis, defended on 22.11.2013 at University of Nice-Sophia Antipolis, France, pdf
26/04/2016: F. Křikava, R. Rouvoy, L. Seinturier, Towards the use of runtime models for infrastructure man-agement and self-adaptation, Shonan Seminar 077, Shonan Village, Japan
01/12/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, Domain-Specific Modeling Language for Self-Adaptive Software Systems, Journée sur les Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables organized by UPMC-LIP6, Paris, France
25/11/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, Domain-Specific Modeling Language for Self-Adaptive Software Systems, D3S seminaire organized by the D3S group from the Charles University, Prague, Czech Republic,
19/10/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, System-Level Abstractions for Integrating Control Mechanisms into Software Systems, Séminaire Dagstuhl #14433 - Software Engineering for Self-Adaptive Systems, Dagstuhl, Germany
16/10/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, Domain-Specific Modeling Language for Self-Adaptive Software Systems, Workshop Autonomique organized by the LAAS-CNRS, Toulouse, France
15/09/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, System-Level Abstractions for Integrating Control Mechanisms into Software Systems, Séminaire Dagstuhl #14382 - Control Theory meets Software Engineering, Dagstuhl, Germany
12/06/2014: F. Křikava, P. Collet, R. France, ACTRESS: Domain-Specific Modeling of Self-Adaptive Software Architectures - une presentation invitée dans la session GDR GPL organisée par le groupe de travail COSMAL , Journées du GDR GPL 2014, Paris, France
27/05/2014: F. Křikava, P. Collet, R. France, R. Rouvoy, L. Seinturier, Integrating Adaptation Mechanisms Using Control Theory Centric Architecture Models, Grenoble Workshop on Autonomic Computing and Control, Grenoble, France
02/07/2013: F. Křikava, Model Manipulation Using Embedded DSLs in Scala, Scala Workshop 2013 - student talks, Montpellier, France
18/09/2012: F. Křikava, Javier Rojas Balderrama, Johan Montagnat, P. Collet, Using Adaptation Strategies to Improve Grid Operations, EGI Technical Forum 2012, Prague, Czech Republic
19/06/2012: F. Křikava, P. Collet, Using Architecture Models to Rapidly Prototype Feedback Control Systems, Journées du GDR GPL 2012, Rennes, France
14/07/2011: F. Křikava. Introduction to HTC and Condor, SC-CAMP’11, Turrialba, Costa Rica
27/05/2010: F. Křikava. Self Adaptive Very Large Distributed System, SC-CAMP’10, Catay, Colombia
30/10/2018: F. Křikava, Everything you ever wanted to know about Scala implicits, but weren’t sure how to ask, scala.io, Lyon
23/02/2017: F. Křikava, genthat, R meetup - Boston, Boston
10/06/2013: F. Křikava, Domain specific languages and Scala, Riviera Scala/Clojure User Group, Sophia-Antipolis, France
23/10/2012: F. Křikava, Enriching EMF Models with Scala, EclipseCON’12 Europe - Modeling Symposium, Ludwigsburg, Germany