Veröffentlichungen
Autoren:
Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich
Veröffentlicht in:
USENIX Symposium on Operating System Design and Implementation, 2021, ISBN 978-1-939133-22-9
Herausgeber:
USENIX
Autoren:
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg
Veröffentlicht in:
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Ausgabe 2021, 2021, Seite(n) 158-174, ISBN 9781450383912
Herausgeber:
ACM
DOI:
10.1145/3453483.3454036
Autoren:
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, Lars Birkedal
Veröffentlicht in:
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Ausgabe 2021, 2021, Seite(n) 80-95, ISBN 9781450383912
Herausgeber:
ACM
DOI:
10.1145/3453483.3454031
Autoren:
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019, 2019, Seite(n) 96-110, ISBN 9781450367127
Herausgeber:
ACM Press
DOI:
10.1145/3314221.3314609
Autoren:
Anton Podkopaev, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
European Conference on Object-Oriented Programming (ECOOP), 2017
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Autoren:
Robbert Krebbers, Ralf Jung, Aleš Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal
Veröffentlicht in:
European Symposium on Programming (ESOP), 2017, Seite(n) 696-723
Herausgeber:
Springer Berlin Heidelberg
DOI:
10.1007/978-3-662-54434-1_26
Autoren:
Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer
Veröffentlicht in:
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017, 2017, Seite(n) 618-632, ISBN 9781-450349888
Herausgeber:
ACM Press
DOI:
10.1145/3062341.3062352
Autoren:
Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
International Symposium on Formal Methods (FM), 2016, Seite(n) 479-495
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-48989-6_29
Autoren:
Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer
Veröffentlicht in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Seite(n) 175-189, ISBN 9781-450346603
Herausgeber:
ACM Press
DOI:
10.1145/3009837.3009850
Autoren:
Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer
Veröffentlicht in:
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016, 2016, Seite(n) 256-269, ISBN 9781-450342193
Herausgeber:
ACM Press
DOI:
10.1145/2951913.2951943
Autoren:
Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
European Conference on Object-Oriented Programming (ECOOP), 2017
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Autoren:
Joseph Tassarotti, Ralf Jung, Robert Harper
Veröffentlicht in:
European Symposium on Programming (ESOP), 2017
Herausgeber:
Springer Berlin Heidelberg
Autoren:
Azalea Raad, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
European Symposium on Programming (ESOP), 2018
Herausgeber:
ETAPS
Autoren:
Kasper Svendsen, Jean Pichon-Pharabod, Marko Doko, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
European Symposium on Programming (ESOP), 2018
Herausgeber:
ETAPS
Autoren:
Pierre-Marie Pédrot, Nicolas Tabareau
Veröffentlicht in:
Programming Languages and Systems, Ausgabe 10801, 2018, Seite(n) 245-271, ISBN 978-3-319-89883-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89884-1_9
Autoren:
Azalea Raad, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings, Ausgabe 11388, 2019, Seite(n) 1-23, ISBN 978-3-030-11244-8
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-11245-5_1
Autoren:
Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner
Veröffentlicht in:
European Conference on Object-Oriented Programming (ECOOP), 2020
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/lipics.ecoop.2020.21
Autoren:
Ralf Jung
Veröffentlicht in:
2020
Herausgeber:
Universität des Saarlandes
DOI:
10.22028/d291-31946
Autoren:
Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/POPL, 2020, Seite(n) 1-31, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3371079
Autoren:
Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/OOPSLA, 2019, Seite(n) 1-26, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3360599
Autoren:
Simon Spies, Neel Krishnaswami, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 5/POPL, 2021, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3434294
Autoren:
Ralf Jung, Hoang-Hai Dang, Jeehoon Kang, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/POPL, 2020, Seite(n) 1-32, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3371109
Autoren:
Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/POPL, 2020, Seite(n) 1-32, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3371100
Autoren:
Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages (PACMPL), Ausgabe 5/ICFP, 2021, ISSN 2475-1421
Herausgeber:
ACM
Autoren:
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
Veröffentlicht in:
Communications of the ACM, Ausgabe 64/4, 2021, Seite(n) 144-152, ISSN 0001-0782
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3418295
Autoren:
Hoang-Hai Dang, Jacques-Henri Jourdan, Jan-Oliver Kaiser, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/POPL, 2020, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3371102
Autoren:
Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-34, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158154
Autoren:
RALF JUNG, ROBBERT KREBBERS, JACQUES-HENRI JOURDAN, ALEŠ BIZJAK, LARS BIRKEDAL, DEREK DREYER
Veröffentlicht in:
Journal of Functional Programming, Ausgabe 28, 2018, ISSN 0956-7968
Herausgeber:
Cambridge University Press
DOI:
10.1017/S0956796818000151
Autoren:
Azalea Raad, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/OOPSLA, 2018, Seite(n) 1-27, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3276507
Autoren:
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/ICFP, 2018, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3236772
Autoren:
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/ICFP, 2018, Seite(n) 1-31, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3236773
Autoren:
Michalis Kokologiannakis, Ori Lahav, Konstantinos Sagonas, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-32, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158105
Autoren:
David Swasey, Deepak Garg, Derek Dreyer
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 1/OOPSLA, 2017, Seite(n) 1-26, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3133913
Autoren:
Azalea Raad, Marko Doko, Lovro Rožić, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/POPL, 2019, Seite(n) 1-31, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3290381
Autoren:
Ralf Jung, Rodolphe Lepigre, Gaurav Parthasarathy, Marianna Rapoport, Amin Timany, Derek Dreyer, Bart Jacobs
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/POPL, 2020, Seite(n) 1-32, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3371113
Autoren:
Azalea Raad, John Wickerson, Viktor Vafeiadis
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/OOPSLA, 2019, Seite(n) 1-27, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3360561
Autoren:
Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter O’Hearn, Jules Villard
Veröffentlicht in:
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Ausgabe 12225, 2020, Seite(n) 225-252, ISBN 978-3-030-53290-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-53291-8_14
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor