ELE SIGNED
Evolving Language Ecosystems
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0ELE project word cloud
Explore the words cloud of the ELE project. It provides you a very rough idea of what is the project "ELE" about.
Project "ELE" data sheet
The following table provides information about the project.
| Coordinator |
CESKE VYSOKE UCENI TECHNICKE V PRAZE
Organization address contact info |
| Coordinator Country | Czech Republic [CZ] |
| Project website | https://ele-prl-prg.github.io |
| Total cost | 3˙234˙000 € |
| EC max contribution | 3˙234˙000 € (100%) |
| Programme |
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC)) |
| Code Call | ERC-2015-AdG |
| Funding Scheme | ERC-ADG |
| Starting year | 2016 |
| Duration (year-month-day) | from 2016-10-01 to 2021-09-30 |
Partnership
Take a look of project's partnership.
| # | ||||
|---|---|---|---|---|
| 1 | CESKE VYSOKE UCENI TECHNICKE V PRAZE | CZ (PRAHA) | coordinator | 3˙234˙000.00 |
Map
Project objective
The ELE project will study the foundational principles of programming language evolution and develop practical tools and technologies for supporting the evolution of complete ecosystems. If successful, ELE will drastically decrease the cost of evolution and avoid the need to invent completely new languages every time there is a shift in hardware trends or in programming methodology. Instead, ELE will allow evolution of languages and will support migration of code and knowledge bases. The project proceeds along two major axes. The first axis is language dynamics where new features and new capabilities are added to a preexisting language. This requires changing, at the same time, the language's specification, it's semantics, and the language's implementation, the compiler and interpreter that runs code written in the language as well the runtime libraries that provide basic capabilities. The second axis for evolution is language statics where new rules are added to enforce novel programming disciplines and where existing code artifacts are adapted to new semantics. These axes are not entirely disjoint, as static restrictions, such as a new type system, can feedback into the implementation by providing behavioral information that can be exploited by a compiler.
Publications
| year | authors and title | journal | last update |
|---|---|---|---|
| 2018 |
Chung, Benjamin; Li, Paley; Zappa Nardelli, Francesco; Vitek, Jan KafKa: Gradual Typing for Objects published pages: , ISSN: , DOI: 10.4230/lipics.ecoop.2018.12 |
DARTS 2 | 2020-04-04 |
| 2017 |
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman Parallelizing Julia with a Non-Invasive {DSL} (Artifact) published pages: 07:1--07:2, ISSN: , DOI: |
DARTS | 2020-04-04 |
| 2019 |
Ryan Culpepper Pattern-Based S-Expression Rewriting in Emacs published pages: 8-10, ISSN: 2677-3465, DOI: |
Proceedings of the 12th European Lisp Symposium {(ELS} 2019) | 2020-04-04 |
| 2019 |
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek On the Impact of Programming Languages on Code Quality published pages: 1-24, ISSN: 0164-0925, DOI: 10.1145/3340571 |
ACM Transactions on Programming Languages and Systems 41/4 | 2019-11-08 |
| 2019 |
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek On Julia\'s Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact). published pages: , ISSN: , DOI: 10.4230/darts.5.2.8 |
2019-11-08 | |
| 2019 |
Aviral Goel, Jan Vitek On the design, implementation, and use of laziness in R published pages: 1-27, ISSN: 2475-1421, DOI: 10.1145/3360579 |
Proceedings of the ACM on Programming Languages 3/OOPSLA | 2019-11-08 |
| 2019 |
Filip Křikava, Heather Miller, Jan Vitek Scala implicits are everywhere: a large-scale study of the use of Scala implicits in the wild published pages: 1-28, ISSN: 2475-1421, DOI: 10.1145/3360589 |
Proceedings of the ACM on Programming Languages 3/OOPSLA | 2019-11-07 |
| 2017 |
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek Déjà Vu: a map of code duplicates on GitHub published pages: 1-28, ISSN: 2475-1421, DOI: 10.1145/3133908 |
Proceedings of the ACM on Programming Languages 1/OOPSLA | 2019-06-13 |
| 2017 |
Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier Contracts-Based Control Integration into Software Systems published pages: 251-281, ISSN: , DOI: 10.1007/978-3-319-74183-3_9 |
Software Engineering for Self-Adaptive Systems III. Assurances | 2019-06-13 |
| 2017 |
Anderson T.A., Liu H., Kuper l., Totoni E., Vitek J., Shpeisman T. Parallelizing Julia with a Non-invasive DSL published pages: , ISSN: , DOI: 10.4230/LIPIcs.ECOOP.2017.4 |
2019-06-13 | |
| 2019 |
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen Feature-Specific Profiling published pages: 1-34, ISSN: 0164-0925, DOI: 10.1145/3275519 |
ACM Transactions on Programming Languages and Systems 41/1 | 2019-06-13 |
| 2017 |
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek Correctness of speculative optimizations with dynamic deoptimization published pages: 1-28, ISSN: 2475-1421, DOI: 10.1145/3158137 |
Proceedings of the ACM on Programming Languages 2/POPL | 2019-06-13 |
| 2018 |
Anna Bolotina, Artem Pelenitsyn Handling Recursion in Generic ProgrammingUsing Closed Type Families published pages: , ISSN: , DOI: |
Trends in Functional Programming | 2019-06-13 |
| 2017 |
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Veryfying a Concurrent Garbage Collector using a Rely-Guarantee Methodology published pages: 496-513, ISSN: , DOI: 10.1007/978-3-319-66107-0_31 |
2019-06-13 | |
| 2017 |
Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek Orca: GC and type system co-design for actor languages published pages: 1-28, ISSN: 2475-1421, DOI: 10.1145/3133896 |
Proceedings of the ACM on Programming Languages 1/OOPSLA | 2019-06-13 |
| 2019 |
BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK, MATTHIAS FELLEISEN How to evaluate the performance of gradual type systems published pages: , ISSN: 0956-7968, DOI: 10.1017/s0956796818000217 |
Journal of Functional Programming 29 | 2019-04-18 |
| 2018 |
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology published pages: , ISSN: 0168-7433, DOI: 10.1007/s10817-018-9489-x |
Journal of Automated Reasoning | 2019-04-18 |
| 2018 |
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb Contextual equivalence for a probabilistic language with continuous random variables and recursion published pages: 1-30, ISSN: 2475-1421, DOI: 10.1145/3236782 |
Proceedings of the ACM on Programming Languages 2/ICFP | 2019-04-18 |
| 2018 |
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky Julia: dynamism and performance reconciled by design published pages: 1-23, ISSN: 2475-1421, DOI: 10.1145/3276490 |
Proceedings of the ACM on Programming Languages 2/OOPSLA | 2019-03-18 |
| 2019 |
Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek Can Android Run on Time? Extending and Measuring the Android Platform\'s Timeliness published pages: 1-26, ISSN: 1539-9087, DOI: 10.1145/3289257 |
ACM Transactions on Embedded Computing Systems 17/6 | 2019-03-18 |
| 2018 |
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek Julia subtyping: a rational reconstruction published pages: 1-27, ISSN: 2475-1421, DOI: 10.1145/3276483 |
Proceedings of the ACM on Programming Languages 2/OOPSLA | 2019-03-11 |
| 2019 |
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen Feature-Specific Profiling published pages: 1-34, ISSN: 0164-0925, DOI: 10.1145/3275519 |
ACM Transactions on Programming Languages and Systems 41/1 | 2019-03-18 |
Are you the coordinator (or a participant) of this project? Plaese send me more information about the "ELE" project.
For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.
Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.
Thanks. And then put a link of this page into your project's website.
The information about "ELE" are provided by the European Opendata Portal: CORDIS opendata.