publications.md

layout	title	displayed_years	publications
publications	Publications	2024 2023 2022 2021 2020 2019 2018 2017	year title authors publication short_publication links grants 2024 Decidable Subtyping of Existential Types for Julia Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'24 text link PDF https://julbinb.github.io/files/papers/pldi2024_dec-julia-sub_extended.pdf ELE BC year title authors publication short_publication badges links grants 2023 Reusing Just-in-Time Compiled Code Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity OOPSLA'23 acm_artifact_available acm_artifact_evaluated_reusable text link PDF https://dl.acm.org/doi/10.1145/3622839 ELE BC year title authors publication short_publication links grants 2022 JEDI: These aren’t the JSON documents you’re looking for... Thomas Hütter, Nikolaus Augsten, Christoph M. Kirsch, Michael J. Carey, Chen Li ACM SIGMOD International Conference on Management of Data SIGMOD'22 text link PDF https://ckirsch.github.io/publications/conferences/SIGMOD22-Jedi.pdf ELE BC year title authors publication short_publication links grants 2022 Composable Sequence Macros for Fast Iteration Anna Bolotina, Ryan Culpepper ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences GPCE'22 text link PDF https://dl.acm.org/doi/pdf/10.1145/3564719.3568696 ELE year title authors publication short_publication badges links grants 2022 signatr: A Data-Driven Fuzzing Tool for R Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, Jan Vitek ACM SIGPLAN International Conference on Software Language Engineering SLE'22 acm_artifact_available acm_artifact_evaluated_reusable text link PDF https://dl.acm.org/doi/pdf/10.1145/3567512.3567530 text link Artifact https://dl.acm.org/do/10.5281/zenodo.7342082/full/ ELE BC year title authors publication short_publication links grants 2022 Linear Self-attention Approximation via Trainable Feedforward Kernel Uladzislau Yorsh, Alexander Kovalenko 31st International Conference on Artificial Neural Networks ICANN'22 text link PDF https://arxiv.org/pdf/2211.04076.pdf BC year title authors publication short_publication links grants 2022 Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations Olivier Flückiger, Jan Ječmen, Sebastián Krynski, Jan Vitek ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI'22 text link PDF http://janvitek.org/pubs/pldi22.pdf ELE BC year title authors publication short_publication links grants 2021 Dynamic Neural Diversification: Path to Computationally Sustainable Neural Networks Alexander Kovalenko, Pavel Kordík, Magda Friedjungová Artificial Neural Networks and Machine Learning ICANN'21 text link DOI https://doi.org/10.1007/978-3-030-86340-1_19 BC year title authors publication short_publication links grants 2021 Last-use Opacity: A Strong Safety Property for Transactional Memory with Prerelease Support Konrad Siek, Paweł T. Wojciechowski Distributed Computing DIST text link PDF https://link.springer.com/content/pdf/10.1007/s00446-022-00420-2.pdf text link DOI https://doi.org/10.1007/s00446-022-00420-2 BC year title authors publication short_publication badges links grants 2021 Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity OOPSLA'21 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF https://a-pelenitsyn.github.io/Papers/2021-julia-type-stability.pdf text link DOI https://doi.org/10.1145/3485527 text link Artifact https://zenodo.org/record/5500548 ELE BC year title authors publication short_publication badges links grants 2021 Promises Are Made To Be Broken: Migrating R to Strict Semantics Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity OOPSLA'21 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://aviral.io/pdfs/promises-are-made-to-be-broken.pdf text link DOI https://doi.org/10.1145/3485478 text link Artifact https://doi.org/10.5281/zenodo.5394235 ELE BC year title authors publication short_publication badges links grants 2021 What We Eval in the Shadows Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph Kirsch, Jan Vitek Proc. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity OOPSLA'21 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://www.cs.uni-salzburg.at/~ck/content/publications/conferences/OOPSLA21-Eval.pdf text link DOI https://doi.org/10.1145/3485502 text link Artifact https://doi.org/10.5281/zenodo.5415230 ELE BC year title authors publication short_publication links grants 2021 First-Class Environments in R Aviral Goel, Jan Vitek Dynamic Languages Symposium DLS'21 text link PDF http://aviral.io/pdfs/first-class-environments-in-r.pdf text link DOI https://doi.org/10.1145/3486602.3486768 ELE BC year title authors publication short_publication links grants 2021 ASE: A Value Set Decision Procedure for Symbolic Execution A.S. Abyaneh, C.M. Kirsch Proc. IEEE/ACM International Conference on Automated Software Engineering ASE'21 text link PDF http://www.cs.uni-salzburg.at/~ck/content/publications/conferences/ASE21-ASE.pdf ELE BC year title authors publication short_publication links grants 2021 Userfault objects: transparent programmable memory Konrad Siek and Colette Kerr Proc. Workshop on Implementation, Compilation, Optimization of Object-oriented Languages, Programs and Systems ICOOLPS'21 text link PDF https://arxiv.org/abs/2106.12995 ELE BC year title authors publication short_publication badges links grants 2021 CodeDJ: Reproducible Queries over Large-Scale Software Repositories Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek European Conference on Object-Oriented Programming ECOOP'21 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://janvitek.org/pubs/ecoop21.pdf text link Artifact https://github.com/PRL-PRG/codedj-ecoop-artifact ELE BC year title authors publication short_publication links grants 2021 Formally Verified Speculation and Deoptimization in a JIT Compiler Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek Principles of Programming Languages POPL'21 text link PDF http://janvitek.org/pubs/popl21.pdf ELE BC year title authors publication short_publication badges links grants 2020 Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek Object-Oriented Programming, Systems, Languages & Applications OOPSLA'20 acm_artifact_available acm_artifact_evaluated_functional text link PDF https://o1o.ch/about/assets/cd.pdf text link DOI https://doi.org/10.1145/3428288 text link Artifact https://doi.org/10.5281/zenodo.3973073 ELE BC year title authors publication short_publication badges links grants 2020 Sampling Optimized Code for Type Feedback Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek Dynamic Languages Symposium DLS'20 acm_artifact_available text link PDF https://arxiv.org/pdf/2010.02080 text link DOI https://doi.org/10.1145/3426422.3426984 text link Artifact https://doi.org/10.5281/zenodo.4061655 ELE BC year title authors publication short_publication badges links grants 2020 World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek Object-Oriented Programming, Systems, Languages & Applications OOPSLA'20 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://janvitek.org/pubs/oopsla20-j.pdf text link DOI https://doi.org/10.1145/3428275 text link Artifact https://github.com/julbinb/juliette-wa ELE BC year title authors publication short_publication badges links grants 2020 Designing Types for R, Empirically Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek Object-Oriented Programming, Systems, Languages & Applications OOPSLA'20 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://janvitek.org/pubs/oopsla20-r.pdf text link DOI https://dl.acm.org/doi/10.1145/3428249 text link Artifact https://doi.org/10.5281/zenodo.4037278 ELE BC year title authors publication short_publication publication_note links 2020 The Current State and Prospects of Encoding Support in R Tomaš Kalibera The R User Conference useR!'20 Talk text link Video https://youtu.be/J9lraMP1ono text link Slides https://drive.google.com/file/d/1RXkenqvYfAvuL5hZR7GMnErmzmkEBu8J/view?usp=sharing year title authors publication short_publication publication_note links grants 2020 Larger-than-memory R Konrad Siek, Colette Kerr The R User Conference useR!'20 Talk text link Video https://www.youtube.com/watch?v=6BI5xWWDrlA text link Slides https://drive.google.com/file/d/1C782g11whwyqbwqvDaZFo9iMt8528TpX/view ELE BC year title authors publication short_publication publication_note links 2020 The Invisible Work on R Tomaš Kalibera European R Users Meeting 2020 e-Rum'20 Keynote text link Video https://www.youtube.com/watch?v=ZRGxTHRY_hs&t=7873s year title authors publication publication_note links grants 2020 Fast Sequence Combinators Anna Bolotina RACKETFEST'20 Talk text link Slides https://annbolotina.github.io/talks/conferences/racketfest2020.pdf BC year title authors publication short_publication badges links grants 2019 On the design, implementation, and use of laziness in R Aviral Goel, Jan Vitek Object-Oriented Programming, Systems, Languages & Applications OOPSLA'19 acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link PDF http://janvitek.org/pubs/oopsla19a.pdf text link Artifact https://doi.org/10.5281/zenodo.3369573 text link DOI https://doi.org/10.1145/3360579 text link YouTube https://www.youtube.com/watch?v=qLxz9HPP6wI BC ELE year title authors publication links grants 2019 Lambdulus: teaching lambda calculus practically Jan Sliacky and Petr Maj SPLASH-E'19 text link PDF https://dl.acm.org/doi/pdf/10.1145/3358711.3361629 text link DOI https://doi.org/10.1145/3358711.3361629 BC ELE year title authors publication short_publication publication_note links 2019 RDT: A Dynamic Tracing Framework for R Aviral Goel, Filip Křikava, Jan Vitek R Implementation, Optimization, and Tooling RIOT'19 Talk text link Abstract https://zenodo.org/record/3625397/files/riot-2019-dynamic-tracing.pdf?download=1 text link DOI https://doi.org/10.5281/zenodo.3625397 year title authors publication short_publication links grants 2019 Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek European Conference on Object-Oriented Programming ECOOP'19 text link PDF http://janvitek.org/pubs/ecoop19.pdf text link DOI dx.doi.org/10.4230/LIPIcs.ECOOP.2019.24 text link YouTube https://www.youtube.com/watch?v=1FD-sRAiyh4 ELE BC year title authors publication links 2019 Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Artifact) Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek Dagstuhl Artifact Series, volume 5, number 2 text link PDF https://drops.dagstuhl.de/opus/volltexte/2019/10785/pdf/DARTS-5-2-8.pdf text link ZIP https://drops.dagstuhl.de/opus/volltexte/2019/10785/artifact/DARTS-5-2-8-artifact-4d0356d94cd8d21f42e6b73de886f871.zip text link DOI dx.doi.org/10.4230/DARTS.5.2.8 year title authors publication short_publication links 2019 Pattern-Based S-Expression Rewriting in Emacs Ryan Culpepper European Lisp Symposium ELS'19 text link PDF https://zenodo.org/record/2642093/files/sexprw.pdf text link DOI https://doi.org/10.5281/zenodo.2642093 year title authors short_publication publication badges links grants 2019 Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Filip Křikava, Heather Miller, and Jan Vitek SPLASH'19 OOPSLA Object-Oriented Programming, Systems, Languages & Applications acm_artifact_available acm_artifact_evaluated_functional acm_artifact_evaluated_reusable text link DOI https://doi.org/10.1145/3360589 text link PDF http://janvitek.org/pubs/oopsla19b.pdf text link YouTube https://www.youtube.com/watch?v=g9KtbKoDTLo text link Artifact https://zenodo.org/record/3369436 ELE BC year title authors short_publication publication publication_note links grants 2019 Syntax Templates in Racket Ryan Culpepper Scheme'19 Scheme and Functional Programming Workshop to appear text link HTML https://icfp19.sigplan.org/home/scheme-2019 text link PDF https://thomas.gilray.org/scheme-2019/culpepper.pdf ELE year title authors publication short_publication links grants 2019 Online Abstraction with MDP Homomorphisms for Deep Learning Ondřej Bíža, Robert Platt International Conference on Autonomous Agents and MultiAgent Systems AAMAS'19 text link arXiv https://arxiv.org/abs/1811.12929 text link HTML https://dl.acm.org/citation.cfm?id=3331812 BC year title authors publication short_publication links 2019 From Macros to DSLs: The Evolution of Racket Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi Summit on Advances in Programming Languages SNAPL'19 text link HTML http://drops.dagstuhl.de/opus/volltexte/2019/10548/ text link DOI http://dx.doi.org/10.4230/LIPIcs.SNAPL.2019.5 year title authors publication short_publication publication_note links grants 2019 R Melts Brains: An IR for First-Class Environments and Lazy Effectful Arguments Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek International Symposium on Dynamic Languages DLS'19 to appear text link PDF https://dl.acm.org/doi/pdf/10.1145/3359619.3359744 text link arXiv https://arxiv.org/abs/1907.05118 text link DOI https://doi.org/10.1145/3359619.3359744 ELE BC year title authors publication links grants 2019 On the impact of Programming Languages Code Quality Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek ACM Transactions on Programming Languages and Systems, article no. 21 text link arXiv https://arxiv.org/abs/1901.10220 text link PDF http://janvitek.org/pubs/toplas19.pdf text link DOI https://doi.org/10.1145/3340571 ELE BC year title authors publication short_publication links grants 2019 Towards a type system for R Alexi Turcotte, Jan Vitek Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems ICOOLPS'19 text link PDF https://dl.acm.org/doi/pdf/10.1145/3340670.3342426 ELE BC year title authors publication links grants 2019 Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek ACM Transactions on Embedded Computing Systems, Vol 17, No. 6 text link DOI https://dx.doi.org/10.1145/3289257 text link PDF http://janvitek.org/pubs/tecs18.pdf ELE year title authors publication links grants 2019 How to Evaluate the Performance of Gradual Type Systems Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, Matthias Felleisen Journal of Functional Programming, Vol. 29 text link DOI http://dx.doi.org/10.1017/S0956796818000217 text link PDF http://users.cs.northwestern.edu/~robby/pubs/papers/gtnffvf-jfp-2016.pdf ELE year title authors publication links grants 2019 Feature-Specific Profiling Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen Transactions on Programming Languages and Systems, Vol 41, Issue 1 text link DOI https://doi.org/10.1145/3275519 text link PDF http://users.cs.northwestern.edu/~stamourv/papers/feature-specific-profiling.pdf ELE year title authors publication links grants 2019 Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Journal of Automated Reasoning, Vol. 63, Issue 2 text link DOI https://doi.org/10.1007/s10817-018-9489-x text link PDF http://janvitek.org/pubs/jar18.pdf ELE year title authors publication publication_note links grants 2018 Platform-Independent Dynamic Taint Analysis for JavaScript Rezwana Karim, Frank Tip, Alena Sochůrková, Koushik Sen IEEE Transactions on Software Engineering early access text link DOI https://doi.org/10.1109/TSE.2018.2878020 text link PDF https://www.franktip.org/pubs/tse2018.pdf text link HTML https://ieeexplore.ieee.org/document/8511058 ELE year title authors publication short_publication links grants 2018 Julia: dynamism and performance reconciled by design Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky Object-oriented Programming, Systems, Languages, and Applications OOPSLA'19 text link PDF http://janvitek.org/pubs/oopsla18b.pdf text link DOI https://doi.org/10.1145/3276490 ELE year title authors publication short_publication links grants 2018 Julia subtyping: a rational reconstruction Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek Object-oriented Programming, Systems, Languages, and Applications OOPSLA'19 text link PDF http://janvitek.org/pubs/oopsla18a.pdf text link DOI https://doi.org/10.1145/3276483 ELE year title authors publication short_publication links grants 2018 Self-Contained Development Environments Guido Chari, Javier Pímas, Jan Vitek, and Olivier Flückiger Dynamics Language Symposium DLS'18 text link PDF https://charig.github.io/assets/papers/SCDE-DLS.pdf text link DOI https://doi.org/10.1145/3276945.3276948 ELE year title authors publication short_publication badges links grants 2018 Contextual equivalence for a probabilistic language with continuous random variables and recursion Mitchell Wand, Ryan Culpepper, Theophilos Giannalopoulos, and Andrew Cobb International Conference on Functional Programming ICFP'18 acm_artifact_available acm_artifact_evaluated_functional text link DOI https://doi.org/10.1145/3236782 text link arXiv https://arxiv.org/abs/1807.02809 text link Artifact https://dx.doi.org/10.1145/3235042 ELE year title authors publication 2018 Dynamic deoptimization for the R language Jan Ječmen Technical Report TR-FIT-19-05 year title authors publication short_publication note links 2018 Extracting tests from runtime behavior for R Filip Křikava Workshop on Introspective Systems for Automatically Generating Tests ISAGT'18 Invited talk. text link HTML https://conf.researchr.org/event/ecoop-issta-2018/isagt-2018-papers-extracting-tests-from-runtime-behavior-for-r year title authors short_publication links 2018 Everything you ever wanted to know about Scala implicits, but weren't sure how to ask Filip Křikava Scala.IO'18 text link YouTube https://www.youtube.com/watch?v=D7Yp_SPhjno year title authors publication short_publication links 2018 Monotonic gradual typing in a common calculus Benjamin Chung and Jan Vitek International Symposium on Software Testing and Analysis ISSTA'18 text link DOI https://dl.acm.org/doi/10.1145/3236454.3236475 text link PDF https://dl.acm.org/doi/pdf/10.1145/3236454.3236475 year title authors publication short_publication badges awards links grants 2018 Tests from Traces: Automated Unit Test Extraction for R Filip Křikava and Jan Vitek International Symposium on Software Testing and Analysis ISSTA'18 acm_artifact_available acm_artifact_evaluated_reusable Distinguished Artifact Award text link PDF http://janvitek.org/pubs/issta18.pdf text link HTML https://conf.researchr.org/event/issta-2018/issta-2018-technical-papers-tests-from-traces-automated-unit-test-generation-for-r text link Slides https://docs.google.com/presentation/d/1St2fMYfmrsp0Wxido7Pyj_d9qp3jjs24M4W6yWx-QPU/edit#slide=id.g3b5286a051_2_338 text link DOI https://doi.org/10.1145/3213846.3213863 text link Artifact https://doi.org/10.5281/zenodo.1306437 ELE year title authors publication short_publication badges links grants 2018 KafKa: Gradual Typing for Objects Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek European Conference on Object-Oriented Programming ECOOP'18 ecoop_artifact_evaluated text link PDF http://benchung.github.io/papers/ecoop18.pdf text link DOI https://doi.org/10.4230/LIPIcs.ECOOP.2018.12 ELE year title authors publication badges links grants 2018 KafKa: Gradual Typing for Objects (Artifact) Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek Dagstuhl Artifact Series text link PDF https://drops.dagstuhl.de/opus/volltexte/2018/9241/pdf/DARTS-4-3-10.pdf text link ZIP https://drops.dagstuhl.de/opus/volltexte/2018/9241/artifact/DARTS-4-3-10-artifact-5186a2242726e810f5acac714a827a6c.zip text link DOI https://dx.doi.org/10.4230/DARTS.4.3.10 ELE year title authors publication short_publication links 2018 Preventing and Detecting Memory Protection Bugs in Packages Tomáš Kalibera The Conference for Users of R userR!'18 text link Video https://www.youtube.com/watch?v=TOI7DOrW1u4 year title authors publication short_publication links 2018 Automated unit test generation using genthat Filip Křikava and Jan Vitek The Conference for Users of R userR!'18 text link Slides https://docs.google.com/presentation/d/1St2fMYfmrsp0Wxido7Pyj_d9qp3jjs24M4W6yWx-QPU/edit#slide=id.g3b5286a051_2_338 text link Video https://www.youtube.com/watch?v=qrX8q6euQII year title authors publication short_publication links grants 2018 Handling Recursion in Generic Programming Using Closed Type Families Anna Bolotina and Artem Pelenitsyn Trends in Functional Programming TFP'18 text link PDF http://staff.mmcs.sfedu.ru/~ulysses/Papers/2018-TFP-dgp-recursion.pdf ELE year title authors publication short_publication links grants 2018 Correctness of a concurrent object collector for actor languages Juliana Franco, Sylvain Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad European Symposium on Programming ESOP'18 text link PDF http://janvitek.org/pubs/esop18.pdf text link DOI https://dx.doi.org/10.1007/978-3-319-89884-1_31 ELE year title authors publication links 2018 Fully Reflective Execution Environments Guido Chari, Diego Garbervetsky, Stefan Marr, and Stéphane Ducasse Transactions on Software Engineering, volume 45, issue 9 text link PDF https://hal.inria.fr/hal-01728111/document text link HTML https://ieeexplore.ieee.org/document/8307099/ text link DOI https://doi.org/10.1109/TSE.2018.2812715 year title authors publication short_publication links grants 2018 Correctness of Speculative Optimizations with Dynamic Deoptimization Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, and Jan Vitek Principles of Programming Languages POPL'18 text link PDF http://janvitek.org/pubs/popl18.pdf text link DOI https://doi.org/10.1145/3158137 ELE year title authors publication short_publication awards badges long_note links grants 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 Object-Oriented Programming, Systems, Languages & Applications OOPSLA'17 Distinguished Artifact Award acm_artifact_available acm_artifact_evaluated_reusable Appeared in: [The Morning Paper](http://blog.acolyer.org/2017/11/20/dejavu-a-map-of-code-duplicates-on-github), [Slashdot](https://developers.slashdot.org/story/17/11/23/2352233/more-than-half-of-github-is-duplicate-code-researchers-find), [TheRegister.co.uk](https://www.theregister.co.uk/2017/11/21/github_duplicate_code/), [Developpez.com](https://www.developpez.com/actu/175363/GitHub-des-chercheurs-estiment-que-plus-de-la-moitie-des-codes-ecrits-en-Java-Python-C-Cplusplus-et-JavaScript-sont-dupliques/) (French), [opennet.ru](https://www.opennet.ru/opennews/art.shtml?num=47596) (Russian), [toutiao](https://www.toutiao.com/a6491879685222302221/) (Chinese), and [sohu](http://www.sohu.com/a/206363660_114760) (Chinese). text link PDF http://janvitek.org/pubs/oopsla17b.pdf text link Video https://www.youtube.com/watch?v=4M-ASEpVOaY text link Artifact http://mondego.ics.uci.edu/projects/dejavu/ text link DOI https://doi.org/10.1145/3133908 ELE year title authors publication short_publication links grants 2017 Orca: GC and Type System Co-Design for Actor Languages Sylvain Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek Object-Oriented Programming, Systems, Languages & Applications OOPSLA'17 text link PDF http://janvitek.org/pubs/oopsla17a.pdf text link DOI https://doi.org/10.1145/3133896 ELE year title authors publication short_publication links 2017 Generic Approach to Certified Static Checking of Module-like Constructs Julia Belyakova Workshop on Formal Techniques for Java-like Programs FTFJP'17 text link HTML https://dl.acm.org/citation.cfm?id=3104045 text link DOI https://doi.org/10.1145/3103111.3104045 year title authors publication short_publication badges links 2017 Parallelizing Julia with a Non-invasive DSL Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman European Conference on Object-Oriented Programming ECOOP'17 ecoop_artifact_evaluated text link PDF http://janvitek.org/pubs/ecoop17.pdf text link DOI http://dx.doi.org/10.4230/LIPIcs.ECOOP.2017.4 year title authors publication links 2017 Parallelizing Julia with a Non-invasive DSL (Artifact) Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman Dagstuhl Artifact Series, volume 3, issue 2 text link PDF https://drops.dagstuhl.de/opus/volltexte/2017/7288/pdf/DARTS-3-2-7.pdf text link ZIP https://drops.dagstuhl.de/opus/volltexte/2017/7288/artifact/DARTS-3-2-7-artifact-c8eba9e27a8c6c2b45612c883e20bbac.zip text link DOI http://dx.doi.org/10.4230/DARTS.3.2.7 year title authors publication short_publication links 2017 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 International Conference on Interactive Theorem Proving ITP'17 text link PDF http://janvitek.org/pubs/ITP17.pdf text link DOI https://doi.org/10.1007/978-3-319-66107-0_31 year title authors publication links 2017 Contracts-Based Control Integration into Software Systems Filip Krikava, Philippe Collet, Romain Rouvoy, and Lionel Seinturier R. de Lemos et al. book Self-Adaptive Systems III, LNCS 9640 text link PDF https://hal.inria.fr/hal-01257205v2/document text link DOI https://doi.org/10.1007/978-3-319-74183-3 year title authors publication short_publication note links 2017 Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters Bo Zhang, Filip Krikava, Romain Rouvoy, and Lionel Seinturier 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS’17 text link PDF https://hal.inria.fr/hal-01475635/document text link DOI http://dx.doi.org/10.1109/SEAMS.2017.15 year title authors publication links 2017 Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact) Bo Zhang, Filip Krikava, Romain Rouvoy, and Lionel Seinturier Dagstuhl Artifacts Series 2509-8195 vol. 3-1 text link PDF http://drops.dagstuhl.de/opus/volltexte/2017/7139 text link DOI http://dx.doi.org/10.4230/DARTS.3.1.1 year title authors publication short_publication links 2017 Making Android Run on Time Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, and Lukasz Ziarek Real-time and Embedded Technology and Application Symposium RTAS'17 text link PDF http://janvitek.org/pubs/rtas17.pdf text link DOI https://doi.org/10.1109/RTAS.2017.38 year title authors publication links 2017 Helenos: A Realistic Benchmark for Distributed Transactional Memory Jan Baranowski, Paweł Kobyliński, Konrad Siek, and Paweł T. Wojciechowski Software: Practice and Experience, volume 48, issue 3 text link HTML http://onlinelibrary.wiley.com/doi/10.1002/spe.2548/full text link PDF https://arxiv.org/abs/1603.07899 text link DOI http://dx.doi.org/10.1002/spe.2548 year title authors publication links 2017 Control Strategies for Self-Adaptive Software Systems Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolás D’ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic, Alessandro V. Papadopoulos, Suprio Ray, Amir M. Sharifloo, Stepan Shevtsov, Mateusz Ujma, Thomas Vogel ACM Transactions on Autonomous and Adaptive Systems, volume 11, issue 4 text link DOI https://doi.org/10.1145/3024188 year title authors publication links 2016 Self-Balancing Job Parallelism and Throughput in Hadoop Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier Distributed Applications and Interoperable Systems, Lecture Notes in ComputerSciuence, volume 9687 text link DOI https://doi.org/10.1007/978-3-319-39577-7_11