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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Author(s):
Aviral Goel; Jan Vitek
Published in:
Issue 4, 2021
Publisher:
ACM
DOI:
10.1145/3486602.3486768
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
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
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
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
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
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
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
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
Author(s):
Anna Bolotina, Artem Pelenitsyn
Published in:
Trends in Functional Programming, 2018
Publisher:
TFP 2018
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
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
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
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
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
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
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"
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
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
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
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
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