Pubblicazioni
Autori:
Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 4/OOPSLA, 2020, Pagina/e 1-24, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3428288
Autori:
Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 4/OOPSLA, 2020, Pagina/e 1-26, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3428275
Autori:
Maj, Petr and Siek, Konrad and Kovalenko, Alexander and Vitek, Jan
Pubblicato in:
35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021, ISSN 1868-8969
Editore:
Dagstuhl
DOI:
10.4230/lipics.ecoop.2021.6
Autori:
Artem Pelenitsyn; Julia Belyakova; Benjamin Chung; Ross Tate; Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming LanguagesVolume 5Numero OOPSLA, Numero 1, 2021, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3485527
Autori:
Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 5/POPL, 2021, Pagina/e 1-26, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3434327
Autori:
Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 4/OOPSLA, 2020, Pagina/e 1-25, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3428249
Autori:
Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 1/OOPSLA, 2017, Pagina/e 1-28, ISSN 2475-1421
Editore:
ACM ( ID:10009723)
DOI:
10.1145/3133908
Autori:
Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 1/OOPSLA, 2017, Pagina/e 1-28, ISSN 2475-1421
Editore:
ACM ( ID313112)
DOI:
10.1145/3133896
Autori:
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 2/POPL, 2017, Pagina/e 1-28, ISSN 2475-1421
Editore:
PACMPL 2017
DOI:
10.1145/3158137
Autori:
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
Pubblicato in:
ACM Transactions on Programming Languages and Systems, Numero 41/1, 2019, Pagina/e 1-34, ISSN 0164-0925
Editore:
Association for Computing Machinary, Inc.
DOI:
10.1145/3275519
Autori:
Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 2/OOPSLA, 2018, Pagina/e 1-27, ISSN 2475-1421
Editore:
ACM New York,
DOI:
10.1145/3276483
Autori:
Jeff Bezanson, Jiahao Chen, Benjamin Chung, Stefan Karpinski, Viral B. Shah, Jan Vitek, Lionel Zoubritzky
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 2/OOPSLA, 2018, Pagina/e 1-23, ISSN 2475-1421
Editore:
ACM New York,
DOI:
10.1145/3276490
Autori:
Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Pubblicato in:
ACM Transactions on Embedded Computing Systems, Numero 17/6, 2019, Pagina/e 1-26, ISSN 1539-9087
Editore:
Association for Computing Machinary, Inc.
DOI:
10.1145/3289257
Autori:
Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, Andrew Cobb
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 2/ICFP, 2018, Pagina/e 1-30, ISSN 2475-1421
Editore:
ACM New York, NY, USA
DOI:
10.1145/3236782
Autori:
BEN GREENMAN, ASUMU TAKIKAWA, MAX S. NEW, DANIEL FELTEY, ROBERT BRUCE FINDLER, JAN VITEK, MATTHIAS FELLEISEN
Pubblicato in:
Journal of Functional Programming, Numero 29, 2019, ISSN 0956-7968
Editore:
Cambridge University Press
DOI:
10.1017/s0956796818000217
Autori:
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Pubblicato in:
Journal of Automated Reasoning, 2018, ISSN 0168-7433
Editore:
Kluwer Academic Publishers
DOI:
10.1007/s10817-018-9489-x
Autori:
Rezwana Karim, Frank Tip, Alena Sochurkova, Koushik Sen
Pubblicato in:
IEEE Transactions on Software Engineering, 2018, Pagina/e 1-1, ISSN 0098-5589
Editore:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tse.2018.2878020
Autori:
Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, Jan Vitek
Pubblicato in:
ACM Transactions on Programming Languages and Systems, Numero 41/4, 2019, Pagina/e 1-24, ISSN 0164-0925
Editore:
Association for Computing Machinary, Inc.
DOI:
10.1145/3340571
Autori:
Filip Křikava, Heather Miller, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 3/OOPSLA, 2019, Pagina/e 1-28, ISSN 2475-1421
Editore:
ACM New York, NY, USA
DOI:
10.1145/3360589
Autori:
Aviral Goel, Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming Languages, Numero 3/OOPSLA, 2019, Pagina/e 1-27, ISSN 2475-1421
Editore:
ACM New York, NY, USA
DOI:
10.1145/3360579
Autori:
Ryan Culpepper
Pubblicato in:
Proceedings of the 12th European Lisp Symposium {(ELS} 2019), 2019, Pagina/e 8-10, ISSN 2677-3465
Editore:
ELSAA
Autori:
Aviral Goel; Jan Ječmen; Sebastián Krynski; Olivier Flückiger; Jan Vitek
Pubblicato in:
Proceedings of the ACM on Programming LanguagesVolume 5Numero OOPSLAOctober 2021 Article No.: 101pp 1–20, Numero 5, 2021, ISSN 2475-1421
Editore:
ACM
DOI:
10.1145/3485478
Autori:
Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek
Pubblicato in:
Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020, Pagina/e 99-111, ISBN 9781450381758
Editore:
ACM
DOI:
10.1145/3426422.3426984
Autori:
Aviral Goel; Jan Vitek
Pubblicato in:
Numero 4, 2021
Editore:
ACM
DOI:
10.1145/3486602.3486768
Autori:
Thomas Hütter; Nikolaus Augsten; Christoph M. Kirsch; Michael J. Carey; Chen Li
Pubblicato in:
SIGMOD '22: Proceedings of the 2022 International Conference on Management of Data, 2022
Editore:
ACM
DOI:
10.1145/3514221.3517850
Autori:
Aviral Goel; Pierre Donat-Bouillud; Filip Křikava; Christoph M. Kirsch; Jan Vitek
Pubblicato in:
https://hal.archives-ouvertes.fr/hal-03373248, Numero 5, 2021
Editore:
ACM
DOI:
10.1145/3485502
Autori:
Olivier Flückiger; Jan Ječmen; Sebastián Krynski; Jan Vitek
Pubblicato in:
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2022
Editore:
ACM
DOI:
10.1145/3519939.3523729
Autori:
Bo Zhang, Filip Krikava, Romain Rouvoy, Lionel Seinturier
Pubblicato in:
2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2017, Pagina/e 175-181, ISBN 978-1-5386-1550-8
Editore:
IEEE
DOI:
10.1109/SEAMS.2017.15
Autori:
Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
Pubblicato in:
2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017, Pagina/e 25-36, ISBN 978-1-5090-5269-1
Editore:
IEEE
DOI:
10.1109/RTAS.2017.38
Autori:
Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek
Pubblicato in:
J. Autom. Reasoning, Numero Interactive Theorem Proving - 8th International Conference, {ITP} 2017, 2017, Pagina/e 496-513
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-66107-0_31
Autori:
Anderson T.A., Liu H., Kuper l., Totoni E., Vitek J., Shpeisman T.
Pubblicato in:
31st European Conference on Object-Oriented Programming, {ECOOP} 2017, 2017, Pagina/e 4:1--4:29, ISBN 978-3-95977-035-4
Editore:
Schloss Dagstuhl- Leibnitz Center for Informatics ( ID: 1005974)
DOI:
10.4230/LIPIcs.ECOOP.2017.4
Autori:
Filip Křikava, Jan Vitek
Pubblicato in:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Pagina/e 232-241, ISBN 9781-450356992
Editore:
ACM Press
DOI:
10.1145/3213846.3213863
Autori:
Anna Bolotina, Artem Pelenitsyn
Pubblicato in:
Trends in Functional Programming, 2018
Editore:
TFP 2018
Autori:
Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
Pubblicato in:
Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2018, 2018, Pagina/e 76-87, ISBN 9781-450360302
Editore:
ACM Press
DOI:
10.1145/3276945.3276948
Autori:
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
Pubblicato in:
3rd Summit on Advances in Programming Languages, {SNAPL} 201, 2019, ISBN 978-3-95977-113-9
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.snapl.2019.5
Autori:
Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek
Pubblicato in:
Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages - DLS 2019, 2019, Pagina/e 55-66, ISBN 9781-450369961
Editore:
ACM Press
DOI:
10.1145/3359619.3359744
Autori:
Benjamin Chung, Jan Vitek
Pubblicato in:
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18, 2018, Pagina/e 17-23, ISBN 9781-450359399
Editore:
ACM Press
DOI:
10.1145/3236454.3236475
Autori:
Chung, Benjamin ; Zappa Nardelli, Francesco ; Vitek, Jan
Pubblicato in:
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019, Pagina/e 24:1--24:15, ISBN 978-3-95977-111-5
Editore:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Autori:
Jan Sliacky, Petr Maj
Pubblicato in:
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E - SPLASH-E 2019, 2019, Pagina/e 57-65, ISBN 9781-450369893
Editore:
ACM Press
DOI:
10.1145/3358711.3361629
Autori:
Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
Pubblicato in:
32nd European Conference on Object-Oriented Programming, {ECOOP} 2018, 2018, Pagina/e 12:1--12:24, ISBN 978-3-95977-079-8
Editore:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
Autori:
Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
Pubblicato in:
Software Engineering for Self-Adaptive Systems III. Assurances, 2017, Pagina/e 251-281
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-74183-3_9
Autori:
Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad
Pubblicato in:
Programming Languages and Systems, Numero 10801, 2018, Pagina/e 885-911, ISBN 978-3-319-89883-4
Editore:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_31
Autori:
Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
Pubblicato in:
DARTS, Numero 2/5, 2019, Pagina/e 08:1--08:2
Editore:
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
DOI:
10.4230/darts.5.2.8
Autori:
Chung, Benjamin; Li, Paley; Zappa Nardelli, Francesco; Vitek, Jan
Pubblicato in:
DARTS, Numero 2, 2018
Editore:
"Schloss Dagstuhl - Leibniz-Zentrum f{\""{u}}r Informatik"
DOI:
10.4230/lipics.ecoop.2018.12
Autori:
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Pubblicato in:
DARTS, 2017, Pagina/e 07:1--07:2
Editore:
Dagstuhl Artifacts Series
È in corso la ricerca di dati su OpenAIRE...
Si è verificato un errore durante la ricerca dei dati su OpenAIRE
Nessun risultato disponibile