Opendata, web and dolomites

ELE SIGNED

Evolving Language Ecosystems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "ELE" data sheet

The following table provides information about the project.

Coordinator
CESKE VYSOKE UCENI TECHNICKE V PRAZE 

Organization address
address: JUGOSLAVSKYCH PARTYZANU 1580/3
city: PRAHA
postcode: 160 00
website: www.cvut.cz

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 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.

# participants  country  role  EC contrib. [€] 
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
List of publications.
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.

More projects from the same programme (H2020-EU.1.1.)

DISINTEGRATION (2019)

The Mass Politics of Disintegration

Read More  

PROGRESS (2019)

The Enemy of the Good: Towards a Theory of Moral Progress

Read More  

VictPart (2019)

Righting Victim Participation in Transitional Justice

Read More