Evolving Language Ecosystems

Informacje na temat projektu

ELE

Identyfikator umowy o grant: 695412

DOI

10.3030/695412

Projekt został zamknięty

Data podpisania przez KE 11 Października 2016

Data rozpoczęcia 1 Października 2016

Data zakończenia 30 Września 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 3 234 000,00

Wkład UE

€ 3 234 000,00

Koordynowany przez

CESKE VYSOKE UCENI TECHNICKE V PRAZE
Czechia

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Peer reviewed articles (22)

Contextual dispatch for function specialization

Autorzy: Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 4/OOPSLA, 2020, Strona(/y) 1-24, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3428288

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

Autorzy: Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 4/OOPSLA, 2020, Strona(/y) 1-26, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3428275

CodeDJ: Reproducible Queries over Large-Scale Software Repositories

Autorzy: Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan
Opublikowane w: 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISSN 1868-8969
Wydawca: Dagstuhl
DOI: 10.4230/lipics.ecoop.2021.6

Type stability in Julia: avoiding performance pathologies in JIT compilation

Autorzy: Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming LanguagesVolume 5Numer OOPSLA, Numer 1, 2021, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3485527

Formally verified speculation and deoptimization in a JIT compiler

Autorzy: Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 5/POPL, 2021, Strona(/y) 1-26, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3434327

Designing types for R, empirically

Autorzy: Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 4/OOPSLA, 2020, Strona(/y) 1-25, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3428249

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

Autorzy: Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 1/OOPSLA, 2017, Strona(/y) 1-28, ISSN 2475-1421
Wydawca: ACM ( ID:10009723)
DOI: 10.1145/3133908

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

Autorzy: Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 1/OOPSLA, 2017, Strona(/y) 1-28, ISSN 2475-1421
Wydawca: ACM ( ID313112)
DOI: 10.1145/3133896

Correctness of speculative optimizations with dynamic deoptimization

Autorzy: Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/POPL, 2017, Strona(/y) 1-28, ISSN 2475-1421
Wydawca: PACMPL 2017
DOI: 10.1145/3158137

Feature-Specific Profiling

Autorzy: Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Opublikowane w: ACM Transactions on Programming Languages and Systems, Numer 41/1, 2019, Strona(/y) 1-34, ISSN 0164-0925
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3275519

Julia subtyping: a rational reconstruction

Autorzy: Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/OOPSLA, 2018, Strona(/y) 1-27, ISSN 2475-1421
Wydawca: ACM New York,
DOI: 10.1145/3276483

Julia: dynamism and performance reconciled by design

Autorzy: Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/OOPSLA, 2018, Strona(/y) 1-23, ISSN 2475-1421
Wydawca: ACM New York,
DOI: 10.1145/3276490

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

Autorzy: Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Opublikowane w: ACM Transactions on Embedded Computing Systems, Numer 17/6, 2019, Strona(/y) 1-26, ISSN 1539-9087
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3289257

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

Autorzy: Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 2/ICFP, 2018, Strona(/y) 1-30, ISSN 2475-1421
Wydawca: ACM New York, NY, USA
DOI: 10.1145/3236782

How to evaluate the performance of gradual type systems

Autorzy: BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK, MATTHIAS FELLEISEN
Opublikowane w: Journal of Functional Programming, Numer 29, 2019, ISSN 0956-7968
Wydawca: Cambridge University Press
DOI: 10.1017/s0956796818000217

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Autorzy: Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Opublikowane w: Journal of Automated Reasoning, 2018, ISSN 0168-7433
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10817-018-9489-x

Platform-Independent Dynamic Taint Analysis for JavaScript

Autorzy: Rezwana Karim, Frank Tip, Alena Sochurkova, Koushik Sen
Opublikowane w: IEEE Transactions on Software Engineering, 2018, Strona(/y) 1-1, ISSN 0098-5589
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2018.2878020

On the Impact of Programming Languages on Code Quality

Autorzy: Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
Opublikowane w: ACM Transactions on Programming Languages and Systems, Numer 41/4, 2019, Strona(/y) 1-24, ISSN 0164-0925
Wydawca: 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

Autorzy: Filip Křikava, Heather Miller, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 3/OOPSLA, 2019, Strona(/y) 1-28, ISSN 2475-1421
Wydawca: ACM New York, NY, USA
DOI: 10.1145/3360589

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

Autorzy: Aviral Goel, Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming Languages, Numer 3/OOPSLA, 2019, Strona(/y) 1-27, ISSN 2475-1421
Wydawca: ACM New York, NY, USA
DOI: 10.1145/3360579

Pattern-Based S-Expression Rewriting in Emacs

Autorzy: Ryan Culpepper
Opublikowane w: Proceedings of the 12th European Lisp Symposium {(ELS} 2019), 2019, Strona(/y) 8-10, ISSN 2677-3465
Wydawca: ELSAA

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

Autorzy: Aviral Goel; Jan Ječmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek
Opublikowane w: Proceedings of the ACM on Programming LanguagesVolume 5Numer OOPSLAOctober 2021 Article No.: 101pp 1–20, Numer 5, 2021, ISSN 2475-1421
Wydawca: ACM
DOI: 10.1145/3485478

Conference proceedings (18)

Sampling optimized code for type feedback

Autorzy: Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
Opublikowane w: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020, Strona(/y) 99-111, ISBN 9781450381758
Wydawca: ACM
DOI: 10.1145/3426422.3426984

First-class environments in R

Autorzy: Aviral Goel; Jan Vitek
Opublikowane w: Numer 4, 2021
Wydawca: ACM
DOI: 10.1145/3486602.3486768

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

Autorzy: Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey; Chen Li
Opublikowane w: SIGMOD '22: Proceedings of the 2022 International Conference on Management of Data, Numer 2, 2022
Wydawca: ACM
DOI: 10.1145/3514221.3517850

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

Autorzy: Aviral Goel; Pierre Donat-Bouillud; Filip Křikava; Christoph M. Kirsch; Jan Vitek
Opublikowane w: https://hal.archives-ouvertes.fr/hal-03373248, Numer 5, 2021
Wydawca: ACM
DOI: 10.1145/3485502

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

Autorzy: Olivier Flückiger; Jan Ječmen; Sebastián Krynski; Jan Vitek
Opublikowane w: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Numer 8, 2022
Wydawca: ACM
DOI: 10.1145/3519939.3523729

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

Autorzy: Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Opublikowane w: 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Strona(/y) 175-181, ISBN 978-1-5386-1550-8
Wydawca: IEEE
DOI: 10.1109/SEAMS.2017.15

Making Android Run on Time

Autorzy: Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
Opublikowane w: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017, Strona(/y) 25-36, ISBN 978-1-5090-5269-1
Wydawca: IEEE
DOI: 10.1109/RTAS.2017.38

Veryfying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

Autorzy: Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Opublikowane w: J. Autom. Reasoning, Numer Interactive Theorem Proving - 8th International Conference, {ITP} 2017, 2017, Strona(/y) 496-513
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-66107-0_31

Parallelizing Julia with a Non-invasive DSL

Autorzy: Anderson T.A., Liu H., Kuper l., Totoni E., Vitek J., Shpeisman T.
Opublikowane w: 31st European Conference on Object-Oriented Programming, {ECOOP} 2017, 2017, Strona(/y) 4:1--4:29, ISBN 978-3-95977-035-4
Wydawca: Schloss Dagstuhl- Leibnitz Center for Informatics ( ID: 1005974)
DOI: 10.4230/LIPIcs.ECOOP.2017.4

Tests from traces: automated unit test extraction for R

Autorzy: Filip Křikava, Jan Vitek
Opublikowane w: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Strona(/y) 232-241, ISBN 9781450356992
Wydawca: ACM Press
DOI: 10.1145/3213846.3213863

Handling Recursion in Generic Programming Using Closed Type Families

Autorzy: Anna Bolotina, Artem Pelenitsyn
Opublikowane w: Trends in Functional Programming, 2018
Wydawca: TFP 2018

Self-contained development environments

Autorzy: Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
Opublikowane w: Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018, 2018, Strona(/y) 76-87, ISBN 9781450360302
Wydawca: ACM Press
DOI: 10.1145/3276945.3276948

From Macros to DSLs: The Evolution of Racket

Autorzy: Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
Opublikowane w: 3rd Summit on Advances in Programming Languages, {SNAPL} 201, 2019, ISBN 978-3-95977-113-9
Wydawca: 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

Autorzy: Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
Opublikowane w: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2019, 2019, Strona(/y) 55-66, ISBN 9781450369961
Wydawca: ACM Press
DOI: 10.1145/3359619.3359744

Monotonic gradual typing in a common calculus

Autorzy: Benjamin Chung, Jan Vitek
Opublikowane w: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18, 2018, Strona(/y) 17-23, ISBN 9781-450359399
Wydawca: ACM Press
DOI: 10.1145/3236454.3236475

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

Autorzy: Chung, Benjamin ; Zappa Nardelli, Francesco ; Vitek, Jan
Opublikowane w: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, Strona(/y) 24:1--24:15, ISBN 978-3-95977-111-5
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Lambdulus: teaching lambda calculus practically

Autorzy: Jan Sliacky, Petr Maj
Opublikowane w: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E - SPLASH-E 2019, 2019, Strona(/y) 57-65, ISBN 9781-450369893
Wydawca: ACM Press
DOI: 10.1145/3358711.3361629

KafKa: Gradual Typing for Objects

Autorzy: Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
Opublikowane w: 32nd European Conference on Object-Oriented Programming, {ECOOP} 2018, 2018, Strona(/y) 12:1--12:24, ISBN 978-3-95977-079-8
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"

Monographic books (1)

Contracts-Based Control Integration into Software Systems

Autorzy: Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
Opublikowane w: Software Engineering for Self-Adaptive Systems III. Assurances, 2017, Strona(/y) 251-281
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-74183-3_9

Book chapters (1)

Correctness of a Concurrent Object Collector for Actor Languages

Autorzy: Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Opublikowane w: Programming Languages and Systems, Numer 10801, 2018, Strona(/y) 885-911, ISBN 978-3-319-89883-4
Wydawca: 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).

Autorzy: Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Opublikowane w: DARTS, Numer 2/5, 2019, Strona(/y) 08:1--08:2
Wydawca: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI: 10.4230/darts.5.2.8

KafKa: Gradual Typing for Objects

Autorzy: Chung, Benjamin; Li, Paley; Zappa Nardelli, Francesco; Vitek, Jan
Opublikowane w: DARTS, Numer 2, 2018
Wydawca: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ecoop.2018.12

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

Autorzy: Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Opublikowane w: DARTS, 2017, Strona(/y) 07:1--07:2
Wydawca: Dagstuhl Artifacts Series