Skip to main content
European Commission logo
English English
CORDIS - EU research results
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Evolving Language Ecosystems

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Contextual dispatch for function specialization

Author(s): Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 4/OOPSLA, 2020, Page(s) 1-24, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3428288

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

Author(s): Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 4/OOPSLA, 2020, Page(s) 1-26, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3428275

CodeDJ: Reproducible Queries over Large-Scale Software Repositories

Author(s): Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan
Published in: 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISSN 1868-8969
Publisher: Dagstuhl
DOI: 10.4230/lipics.ecoop.2021.6

Type stability in Julia: avoiding performance pathologies in JIT compilation

Author(s): Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek
Published in: Proceedings of the ACM on Programming LanguagesVolume 5Issue OOPSLA, Issue 1, 2021, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3485527

Formally verified speculation and deoptimization in a JIT compiler

Author(s): Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 5/POPL, 2021, Page(s) 1-26, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3434327

Designing types for R, empirically

Author(s): Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 4/OOPSLA, 2020, Page(s) 1-25, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3428249

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

Author(s): Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 1/OOPSLA, 2017, Page(s) 1-28, ISSN 2475-1421
Publisher: ACM ( ID:10009723)
DOI: 10.1145/3133908

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

Author(s): Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 1/OOPSLA, 2017, Page(s) 1-28, ISSN 2475-1421
Publisher: ACM ( ID313112)
DOI: 10.1145/3133896

Correctness of speculative optimizations with dynamic deoptimization

Author(s): Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 2/POPL, 2017, Page(s) 1-28, ISSN 2475-1421
Publisher: PACMPL 2017
DOI: 10.1145/3158137

Feature-Specific Profiling

Author(s): Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Published in: ACM Transactions on Programming Languages and Systems, Issue 41/1, 2019, Page(s) 1-34, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3275519

Julia subtyping: a rational reconstruction

Author(s): Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 2/OOPSLA, 2018, Page(s) 1-27, ISSN 2475-1421
Publisher: ACM New York,
DOI: 10.1145/3276483

Julia: dynamism and performance reconciled by design

Author(s): Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Published in: Proceedings of the ACM on Programming Languages, Issue 2/OOPSLA, 2018, Page(s) 1-23, ISSN 2475-1421
Publisher: ACM New York,
DOI: 10.1145/3276490

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

Author(s): Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Published in: ACM Transactions on Embedded Computing Systems, Issue 17/6, 2019, Page(s) 1-26, ISSN 1539-9087
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3289257

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

Author(s): Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Published in: Proceedings of the ACM on Programming Languages, Issue 2/ICFP, 2018, Page(s) 1-30, ISSN 2475-1421
Publisher: ACM New York, NY, USA
DOI: 10.1145/3236782

How to evaluate the performance of gradual type systems

Author(s): BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK, MATTHIAS FELLEISEN
Published in: Journal of Functional Programming, Issue 29, 2019, ISSN 0956-7968
Publisher: Cambridge University Press
DOI: 10.1017/s0956796818000217

Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology

Author(s): Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Published in: Journal of Automated Reasoning, 2018, ISSN 0168-7433
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10817-018-9489-x

Platform-Independent Dynamic Taint Analysis for JavaScript

Author(s): Rezwana Karim, Frank Tip, Alena Sochurkova, Koushik Sen
Published in: IEEE Transactions on Software Engineering, 2018, Page(s) 1-1, ISSN 0098-5589
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2018.2878020

On the Impact of Programming Languages on Code Quality

Author(s): Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
Published in: ACM Transactions on Programming Languages and Systems, Issue 41/4, 2019, Page(s) 1-24, ISSN 0164-0925
Publisher: 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

Author(s): Filip Křikava, Heather Miller, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 3/OOPSLA, 2019, Page(s) 1-28, ISSN 2475-1421
Publisher: ACM New York, NY, USA
DOI: 10.1145/3360589

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

Author(s): Aviral Goel, Jan Vitek
Published in: Proceedings of the ACM on Programming Languages, Issue 3/OOPSLA, 2019, Page(s) 1-27, ISSN 2475-1421
Publisher: ACM New York, NY, USA
DOI: 10.1145/3360579

Pattern-Based S-Expression Rewriting in Emacs

Author(s): Ryan Culpepper
Published in: Proceedings of the 12th European Lisp Symposium {(ELS} 2019), 2019, Page(s) 8-10, ISSN 2677-3465
Publisher: ELSAA

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

Author(s): Aviral Goel; Jan Ječmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek
Published in: Proceedings of the ACM on Programming LanguagesVolume 5Issue OOPSLAOctober 2021 Article No.: 101pp 1–20, Issue 5, 2021, ISSN 2475-1421
Publisher: ACM
DOI: 10.1145/3485478

Sampling optimized code for type feedback

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

First-class environments in R

Author(s): Aviral Goel; Jan Vitek
Published in: Issue 4, 2021
Publisher: ACM
DOI: 10.1145/3486602.3486768

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

Author(s): Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey; Chen Li
Published in: SIGMOD '22: Proceedings of the 2022 International Conference on Management of Data, 2022
Publisher: ACM
DOI: 10.1145/3514221.3517850

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

Author(s): Aviral Goel; Pierre Donat-Bouillud; Filip Křikava; Christoph M. Kirsch; Jan Vitek
Published in: https://hal.archives-ouvertes.fr/hal-03373248, Issue 5, 2021
Publisher: ACM
DOI: 10.1145/3485502

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

Author(s): Olivier Flückiger; Jan Ječmen; Sebastián Krynski; Jan Vitek
Published in: PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Publisher: ACM
DOI: 10.1145/3519939.3523729

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

Author(s): Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Published in: 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
Publisher: IEEE
DOI: 10.1109/SEAMS.2017.15

Making Android Run on Time

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

Veryfying a Concurrent Garbage Collector using a Rely-Guarantee Methodology

Author(s): Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Published in: J. Autom. Reasoning, Issue Interactive Theorem Proving - 8th International Conference, {ITP} 2017, 2017, Page(s) 496-513
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-66107-0_31

Parallelizing Julia with a Non-invasive DSL

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

Tests from traces: automated unit test extraction for R

Author(s): Filip Křikava, Jan Vitek
Published in: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Page(s) 232-241, ISBN 9781-450356992
Publisher: ACM Press
DOI: 10.1145/3213846.3213863

Handling Recursion in Generic Programming Using Closed Type Families

Author(s): Anna Bolotina, Artem Pelenitsyn
Published in: Trends in Functional Programming, 2018
Publisher: TFP 2018

Self-contained development environments

Author(s): Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
Published in: Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018, 2018, Page(s) 76-87, ISBN 9781-450360302
Publisher: ACM Press
DOI: 10.1145/3276945.3276948

From Macros to DSLs: The Evolution of Racket

Author(s): Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
Published in: 3rd Summit on Advances in Programming Languages, {SNAPL} 201, 2019, ISBN 978-3-95977-113-9
Publisher: 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

Author(s): Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
Published in: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2019, 2019, Page(s) 55-66, ISBN 9781-450369961
Publisher: ACM Press
DOI: 10.1145/3359619.3359744

Monotonic gradual typing in a common calculus

Author(s): Benjamin Chung, Jan Vitek
Published in: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18, 2018, Page(s) 17-23, ISBN 9781-450359399
Publisher: ACM Press
DOI: 10.1145/3236454.3236475

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

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

Lambdulus: teaching lambda calculus practically

Author(s): Jan Sliacky, Petr Maj
Published in: Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E - SPLASH-E 2019, 2019, Page(s) 57-65, ISBN 9781-450369893
Publisher: ACM Press
DOI: 10.1145/3358711.3361629

KafKa: Gradual Typing for Objects

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

Contracts-Based Control Integration into Software Systems

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

Correctness of a Concurrent Object Collector for Actor Languages

Author(s): Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Published in: Programming Languages and Systems, Issue 10801, 2018, Page(s) 885-911, ISBN 978-3-319-89883-4
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-89884-1_31

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

Author(s): Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Published in: DARTS, Issue 2/5, 2019, Page(s) 08:1--08:2
Publisher: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI: 10.4230/darts.5.2.8

KafKa: Gradual Typing for Objects

Author(s): Chung, Benjamin; Li, Paley; Zappa Nardelli, Francesco; Vitek, Jan
Published in: DARTS, Issue 2, 2018
Publisher: "Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI: 10.4230/lipics.ecoop.2018.12

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

Author(s): Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Published in: DARTS, 2017, Page(s) 07:1--07:2
Publisher: Dagstuhl Artifacts Series

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available