Presentations and Conference Talks
2018

Self-Contained Development Environments.
Guido Chari, Javier Pímas, Jan Vitek, and Olivier Fluckiger.
In Dynamics Language Symposium (DLS'18). Accepted.

Extracting tests from runtime behavior for R.
Filip Křikava.
In Workshop on Introspective Systems for Automatically Generating Tests (ISAGT'18). Invited talk.

acm_artifact_available
acm_artifact_evaluated_reusable
Tests from Traces: Automated Unit Test Extraction for R.
Filip Křikava and Jan Vitek.
In International Symposium on Software Testing and Analysis (ISSTA'18).
Distinguished Artifact Award.

ecoop_artifact_evaluated
KafKa: Gradual Typing for Objects.
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek.
In European Conference on Object-Oriented Programming (ECOOP'18).

Preventing and Detecting Memory Protection Bugs in Packages.
Tomáš Kalibera.
In The Conference for Users of R (userR!'18).

Automated unit test generation using genthat.
Filip Křikava and Jan Vitek.
In The Conference for Users of R (userR!'18).

Handling Recursion in Generic Programming Using Closed Type Families.
Anna Bolotina and Artem Pelenitsyn.
In Trends in Functional Programming (TFP'18).

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).

Fully Reflective Execution Environments.
Guido Chari, Diego Garbervetsky, Stefan Marr, and Stephane Ducasse.
In Transactions on Software Engineering.

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).

2017

acm_artifact_available
acm_artifact_evaluated_reusable
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).
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).

Generic Approach to Certified Static Checking of Module-like Constructs.
Julia Belyakova.
In Workshop on Formal Techniques for Java-like Programs (FTFJP'17).

ecoop_artifact_evaluated
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).

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).

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.

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).

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.

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).

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.