Publications

2018

  • Tests from Traces: Automated Unit Test Extraction for R
    Filip Křikava, Jan Vitek
    In International Symposium on Software Testing and Analysis (ISSTA’18)
    [HTML] [Artifact]

    Distinguished Artifact Award

  • KafKa: Gradual Typing for Objects
    Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek
    In European Conference on Object-Oriented Programming (ECOOP’18)
    [PDF]
  • Automated unit test generation using genthat
    Filip Křikava, Jan Vitek
    In The Conference for Users of R (userR!’18)
  • Handling Recursion in Generic Programming Using Closed Type Families
    Anna Bolotina, Artem Pelenitsyn
    In Trends in Functional Programming (TFP’18)
    [PDF]
  • Soundness of a Correct Collector for Actors
    Juliana Franco, Sylvain Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad
    In European Symposium on Programming (ESOP’18)
    [PDF] [DOI]
  • Fully Reflective Execution Environments
    Guido Chari, Diego Garbervetsky, Stefan Marr, and Stephane Ducasse
    In Transactions on Software Engineering
    [PDF] [HTML] [DOI]
  • Correctness of Speculative Optimizations with Dynamic Deoptimization
    Olivier Fluckiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, and Jan Vitek
    In Principles of Programming Languages (POPL’18)
    [PDF] [DOI]

2017

  • Deja-vu: A Map of Code Duplicates on GitHub
    Cristina V. Lopez, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek
    In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA’17)
    [PDF] [Talk] [Artifact] [DOI]

    Distinguished Artifact Award

    Appeared in:
    The Morning Paper, Slashdot, TheRegister.co.uk, Developpez.com (French), opennet.ru (Russian), toutiao (Chinese) and sohu (Chinese).

  • Orca: GC and Type System Co-Design for Actor Languages
    Sylvain Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek
    In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA’17) [PDF] [DOI]

  • Generic Approach to Certified Static Checking of Module-like Constructs
    Julia Belyakova
    In Workshop on Formal Techniques for Java-like Programs (FTFJP’17)
    [HTML] [DOI]

  • Parallelizing Julia with a Non-invasive DSL
    Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman
    In European Conference on Object-Oriented Programming (ECOOP’17)
    [PDF] [DOI]

  • Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology
    Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek
    In International Conference on Interactive Theorem Proving (ITP’17)
    [PDF] [DOI]

  • Contracts-Based Control Integration into Software Systems
    Filip Krikava, Philippe Collet, Romain Rouvoy, and Lionel Seinturier
    In R. de Lemos et al. book Self-Adaptive Systems III, LNCS 9640
    [PDF] [DOI]

  • Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters
    Bo Zhang, Filip Krikava, Romain Rouvoy, and Lionel Seinturier
    In 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS’17)
    [PDF] [DOI]

  • Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact)
    Bo Zhang, Filip Krikava, Romain Rouvoy, and Lionel Seinturier
    In Dagstuhl Artifacts Series 2509-8195 vol. 3-1
    [PDF] [DOI]

  • Making Android Run on Time
    Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, and Lukasz Ziarek
    In Real-time and Embedded Technology and Application Symposium (RTAS’17)
    [PDF] [DOI]

  • Helenos: A Realistic Benchmark for Distributed Transactional Memory
    Jan Baranowski, Paweł Kobyliński, Konrad Siek, and Paweł T. Wojciechowski
    In Software: Practice and Experience, volume 48, issue 3
    [HTML] [PDF] [DOI]