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, Tobias Wrigstad, In European Symposium on Programming (ESOP’18) [PDF]
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)