Evolving Language Ecosystems

Informations projet

ELE

N° de convention de subvention: 695412

DOI

10.3030/695412

Projet clôturé

Date de signature de la CE 11 Octobre 2016

Date de début 1 Octobre 2016

Date de fin 30 Septembre 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 3 234 000,00

Contribution de l’UE

€ 3 234 000,00

Coordonné par

CESKE VYSOKE UCENI TECHNICKE V PRAZE
Czechia

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (22)

Contextual dispatch for function specialization

Auteurs: Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 4/OOPSLA, 2020, Page(s) 1-24, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3428288

World age in Julia: optimizing method dispatch in the presence of eval

Auteurs: Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 4/OOPSLA, 2020, Page(s) 1-26, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3428275

CodeDJ: Reproducible Queries over Large-Scale Software Repositories

Auteurs: Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan
Publié dans: 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISSN 1868-8969
Éditeur: Dagstuhl
DOI: 10.4230/lipics.ecoop.2021.6

Type stability in Julia: avoiding performance pathologies in JIT compilation

Auteurs: Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek
Publié dans: Proceedings of the ACM on Programming LanguagesVolume 5Numéro OOPSLA, Numéro 1, 2021, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3485527

Formally verified speculation and deoptimization in a JIT compiler

Auteurs: Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 5/POPL, 2021, Page(s) 1-26, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3434327

Designing types for R, empirically

Auteurs: Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 4/OOPSLA, 2020, Page(s) 1-25, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3428249

DéjàVu: a map of code duplicates on GitHub

Auteurs: Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 1/OOPSLA, 2017, Page(s) 1-28, ISSN 2475-1421
Éditeur: ACM ( ID:10009723)
DOI: 10.1145/3133908

Orca: GC and type system co-design for actor languages

Auteurs: Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 1/OOPSLA, 2017, Page(s) 1-28, ISSN 2475-1421
Éditeur: ACM ( ID313112)
DOI: 10.1145/3133896

Correctness of speculative optimizations with dynamic deoptimization

Auteurs: Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/POPL, 2017, Page(s) 1-28, ISSN 2475-1421
Éditeur: PACMPL 2017
DOI: 10.1145/3158137

Feature-Specific Profiling

Auteurs: Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Publié dans: ACM Transactions on Programming Languages and Systems, Numéro 41/1, 2019, Page(s) 1-34, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3275519

Julia subtyping: a rational reconstruction

Auteurs: Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/OOPSLA, 2018, Page(s) 1-27, ISSN 2475-1421
Éditeur: ACM New York,
DOI: 10.1145/3276483

Julia: dynamism and performance reconciled by design

Auteurs: Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/OOPSLA, 2018, Page(s) 1-23, ISSN 2475-1421
Éditeur: ACM New York,
DOI: 10.1145/3276490

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness

Auteurs: Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Publié dans: ACM Transactions on Embedded Computing Systems, Numéro 17/6, 2019, Page(s) 1-26, ISSN 1539-9087
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3289257

Contextual equivalence for a probabilistic language with continuous random variables and recursion

Auteurs: Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
Éditeur: ACM New York, NY, USA
DOI: 10.1145/3236782

How to evaluate the performance of gradual type systems

Auteurs: BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK, MATTHIAS FELLEISEN
Publié dans: Journal of Functional Programming, Numéro 29, 2019, ISSN 0956-7968
Éditeur: Cambridge University Press
DOI: 10.1017/s0956796818000217

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Auteurs: Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Publié dans: Journal of Automated Reasoning, 2018, ISSN 0168-7433
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10817-018-9489-x

Platform-Independent Dynamic Taint Analysis for JavaScript

Auteurs: Rezwana Karim, Frank Tip, Alena Sochurkova, Koushik Sen
Publié dans: IEEE Transactions on Software Engineering, 2018, Page(s) 1-1, ISSN 0098-5589
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2018.2878020

On the Impact of Programming Languages on Code Quality

Auteurs: Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
Publié dans: ACM Transactions on Programming Languages and Systems, Numéro 41/4, 2019, Page(s) 1-24, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3340571

Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild

Auteurs: Filip Křikava, Heather Miller, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 3/OOPSLA, 2019, Page(s) 1-28, ISSN 2475-1421
Éditeur: ACM New York, NY, USA
DOI: 10.1145/3360589

On the design, implementation, and use of laziness in R

Auteurs: Aviral Goel, Jan Vitek
Publié dans: Proceedings of the ACM on Programming Languages, Numéro 3/OOPSLA, 2019, Page(s) 1-27, ISSN 2475-1421
Éditeur: ACM New York, NY, USA
DOI: 10.1145/3360579

Pattern-Based S-Expression Rewriting in Emacs

Auteurs: Ryan Culpepper
Publié dans: Proceedings of the 12th European Lisp Symposium {(ELS} 2019), 2019, Page(s) 8-10, ISSN 2677-3465
Éditeur: ELSAA

Promises are made to be broken: migrating R to strict semantics

Auteurs: Aviral Goel; Jan Ječmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek
Publié dans: Proceedings of the ACM on Programming LanguagesVolume 5Numéro OOPSLAOctober 2021 Article No.: 101pp 1–20, Numéro 5, 2021, ISSN 2475-1421
Éditeur: ACM
DOI: 10.1145/3485478

Conference proceedings (18)

Sampling optimized code for type feedback

Auteurs: Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
Publié dans: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020, Page(s) 99-111, ISBN 9781450381758
Éditeur: ACM
DOI: 10.1145/3426422.3426984

First-class environments in R

Auteurs: Aviral Goel; Jan Vitek
Publié dans: Numéro 4, 2021
Éditeur: ACM
DOI: 10.1145/3486602.3486768

JEDI: These aren't the JSON documents you're looking for?

Auteurs: Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey; Chen Li
Publié dans: SIGMOD '22: Proceedings of the 2022 International Conference on Management of Data, Numéro 2, 2022
Éditeur: ACM
DOI: 10.1145/3514221.3517850

What we eval in the shadows: a large-scale study of eval in R programs

Auteurs: Aviral Goel; Pierre Donat-Bouillud; Filip Křikava; Christoph M. Kirsch; Jan Vitek
Publié dans: https://hal.archives-ouvertes.fr/hal-03373248, Numéro 5, 2021
Éditeur: ACM
DOI: 10.1145/3485502

Deoptless: speculation with dispatched on-stack replacement and specialized continuations

Auteurs: Olivier Flückiger; Jan Ječmen; Sebastián Krynski; Jan Vitek
Publié dans: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Numéro 8, 2022
Éditeur: ACM
DOI: 10.1145/3519939.3523729

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters

Auteurs: Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Publié dans: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Page(s) 175-181, ISBN 978-1-5386-1550-8
Éditeur: IEEE
DOI: 10.1109/SEAMS.2017.15

Making Android Run on Time

Auteurs: Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
Publié dans: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017, Page(s) 25-36, ISBN 978-1-5090-5269-1
Éditeur: IEEE
DOI: 10.1109/RTAS.2017.38

Veryfying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

Auteurs: Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Publié dans: J. Autom. Reasoning, Numéro Interactive Theorem Proving - 8th International Conference, {ITP} 2017, 2017, Page(s) 496-513
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-66107-0_31

Parallelizing Julia with a Non-invasive DSL

Auteurs: Anderson T.A., Liu H., Kuper l., Totoni E., Vitek J., Shpeisman T.
Publié dans: 31st European Conference on Object-Oriented Programming, {ECOOP} 2017, 2017, Page(s) 4:1--4:29, ISBN 978-3-95977-035-4
Éditeur: Schloss Dagstuhl- Leibnitz Center for Informatics ( ID: 1005974)
DOI: 10.4230/LIPIcs.ECOOP.2017.4

Tests from traces: automated unit test extraction for R

Auteurs: Filip Křikava, Jan Vitek
Publié dans: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Page(s) 232-241, ISBN 9781450356992
Éditeur: ACM Press
DOI: 10.1145/3213846.3213863

Handling Recursion in Generic Programming Using Closed Type Families

Auteurs: Anna Bolotina, Artem Pelenitsyn
Publié dans: Trends in Functional Programming, 2018
Éditeur: TFP 2018

Self-contained development environments

Auteurs: Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
Publié dans: Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018, 2018, Page(s) 76-87, ISBN 9781450360302
Éditeur: ACM Press
DOI: 10.1145/3276945.3276948

From Macros to DSLs: The Evolution of Racket

Auteurs: Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
Publié dans: 3rd Summit on Advances in Programming Languages, {SNAPL} 201, 2019, ISBN 978-3-95977-113-9
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/lipics.snapl.2019.5

R melts brains: an IR for first-class environments and lazy effectful arguments

Auteurs: Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
Publié dans: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2019, 2019, Page(s) 55-66, ISBN 9781450369961
Éditeur: ACM Press
DOI: 10.1145/3359619.3359744

Monotonic gradual typing in a common calculus

Auteurs: Benjamin Chung, Jan Vitek
Publié dans: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18, 2018, Page(s) 17-23, ISBN 9781-450359399
Éditeur: ACM Press
DOI: 10.1145/3236454.3236475

Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)

Auteurs: Chung, Benjamin ; Zappa Nardelli, Francesco ; Vitek, Jan
Publié dans: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, Page(s) 24:1--24:15, ISBN 978-3-95977-111-5
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Lambdulus: teaching lambda calculus practically

Auteurs: Jan Sliacky, Petr Maj
Publié dans: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E - SPLASH-E 2019, 2019, Page(s) 57-65, ISBN 9781-450369893
Éditeur: ACM Press
DOI: 10.1145/3358711.3361629

KafKa: Gradual Typing for Objects

Auteurs: Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
Publié dans: 32nd European Conference on Object-Oriented Programming, {ECOOP} 2018, 2018, Page(s) 12:1--12:24, ISBN 978-3-95977-079-8
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Monographic books (1)

Contracts-Based Control Integration into Software Systems

Auteurs: Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
Publié dans: Software Engineering for Self-Adaptive Systems III. Assurances, 2017, Page(s) 251-281
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-74183-3_9

Book chapters (1)

Correctness of a Concurrent Object Collector for Actor Languages

Auteurs: Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Publié dans: Programming Languages and Systems, Numéro 10801, 2018, Page(s) 885-911, ISBN 978-3-319-89883-4
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_31

Other (3)

On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact).

Auteurs: Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Publié dans: DARTS, Numéro 2/5, 2019, Page(s) 08:1--08:2
Éditeur: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI: 10.4230/darts.5.2.8

KafKa: Gradual Typing for Objects

Auteurs: Chung, Benjamin; Li, Paley; Zappa Nardelli, Francesco; Vitek, Jan
Publié dans: DARTS, Numéro 2, 2018
Éditeur: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ecoop.2018.12

Parallelizing Julia with a Non-Invasive {DSL} (Artifact)

Auteurs: Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Publié dans: DARTS, 2017, Page(s) 07:1--07:2
Éditeur: Dagstuhl Artifacts Series