Publications

2018

  • Soundness of a Correct Collector for Actors, Juliana Franco, Sylvain Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad, In European Symposium on Programming (ESOP’18) [PDF]

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, Jan Vitek, In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA’17) [PDF][Talk]. 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, Jan Vitek, In Object-Oriented Programming, Systems, Languages & Applications (OOPSLA’17) [PDF]

  • Parallelizing Julia with a Non-invasive DSL, Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, 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, Jan Vitek, In International Conference on Interactive Theorem Proving (ITP’17) [PDF]

  • 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, 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]