Publications

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]

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

  • 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 (to appear)