Veröffentlichungen
Autoren:
David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
Veröffentlicht in:
2022
Herausgeber:
Dagstuhl Reports (in publication since December 2021)
Autoren:
Cezar-Constantin Andrici
Veröffentlicht in:
ACM Student Research Competition at ICFP'20, 2020
Herausgeber:
ACM
Autoren:
Jérémy Thibault, Arthur Azevedo de Amorim, Roberto Blanco, Aïna Linn Georges, Cătălin Hrițcu, Andrew Tolmach
Veröffentlicht in:
Workshop on Principles of Secure Compilation, 2023
Herausgeber:
PriSC
Autoren:
Cezar-Constantin Andrici, Théo Winterhalter, Cătălin Hrițcu, Exequiel Rivas
Veröffentlicht in:
10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects, 2022
Herausgeber:
HOPE
Autoren:
Elizabeth Labrada, Matías Toro, Éric Tanter
Veröffentlicht in:
arXiv, 2020
Herausgeber:
arXiv.org
Autoren:
Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
Veröffentlicht in:
2018
Herausgeber:
Dagstuhl Reports
DOI:
10.4230/dagrep.8.5.1
Autoren:
Weiss, Aaron; Patterson, Daniel; Ahmed, Amal
Veröffentlicht in:
2018
Herausgeber:
arXiv
Autoren:
Jérémy Thibault, Catalin Hritcu
Veröffentlicht in:
Workshop on Principles of Secure Compilation (PriSC), 2021
Herausgeber:
Extended Abstract at Workshop
Autoren:
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, and Andrew Tolmach
Veröffentlicht in:
arXiv, 2024
Herausgeber:
arXiv.org
Autoren:
Cătălin Hriţcu, Andrei Popescu
Veröffentlicht in:
2021, ISBN 9781450382991
Herausgeber:
ACM
DOI:
10.1145/3437992
Autoren:
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Veröffentlicht in:
IEEE 36th Computer Security Foundations Symposium (CSF), Ausgabe 2105.00417, 2023, Seite(n) 568-583
Herausgeber:
IEEE Computer Society
DOI:
10.1109/csf57540.2023.00037
Autoren:
Carmine Abate, Matteo Busi, Stelios Tsampas
Veröffentlicht in:
Proceedings of 19th Asian Symposium on Programming Languages and Systems (APLAS), 2021, Seite(n) 83--101
Herausgeber:
Springer
DOI:
10.1007/978-3-030-89051-3_6
Autoren:
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 604-618, ISBN 9781450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394808
Autoren:
Théo Winterhalter, Cezar-Constantin Andrici, Cătălin Hrițcu, Kenji Maillard, Guido Martínez, and Exequiel Rivas
Veröffentlicht in:
28th International Conference on Types for Proofs and Programs, 2022
Herausgeber:
TYPES
Autoren:
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
Veröffentlicht in:
IEEE 34th Computer Security Foundations Symposium (CSF), 2021, Seite(n) 1-14, ISSN 2374-8303
Herausgeber:
IEEE Computer Society
DOI:
10.1109/csf51468.2021.00005
Autoren:
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Veröffentlicht in:
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Ausgabe 11423, 2019, Seite(n) 30-59, ISBN 978-3-030-17183-4
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-17184-1_2
Autoren:
Carmine Abate, Andrew Tolmach, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati
Veröffentlicht in:
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS '18, 2018, Seite(n) 1351-1368, ISBN 9781-450356930
Herausgeber:
ACM Press
DOI:
10.1145/3243734.3243745
Autoren:
Niklas Grimm, Santiago Zanella-Béguelin, Kenji Maillard, Cédric Fournet, Cătălin Hriţcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
Veröffentlicht in:
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, 2018, Seite(n) 130-145, ISBN 9781-450355865
Herausgeber:
ACM Press
DOI:
10.1145/3167090
Autoren:
Arthur Azevedo de Amorim, Cătălin Hriţcu, Benjamin C. Pierce
Veröffentlicht in:
Proceedings of 7th International Conference on Principles of Security and Trust (POST), 2018, Seite(n) 79-105, ISBN 978-3-319-89722-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89722-6_4
Autoren:
Danel Ahman, Cătălin Hriţcu, Kenji Maillard, Guido Martínez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
Veröffentlicht in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Seite(n) 515-529, ISBN 9781-450346603
Herausgeber:
ACM Press
DOI:
10.1145/3009837.3009878
Autoren:
Leonidas Lampropoulos, Diane Gallois-Wong, Cătălin Hriţcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Veröffentlicht in:
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017, 2017, Seite(n) 114-129, ISBN 9781-450346603
Herausgeber:
ACM Press
DOI:
10.1145/3009837.3009868
Autoren:
William J. Bowman, Amal Ahmed
Veröffentlicht in:
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018, 2018, Seite(n) 797-811, ISBN 9781-450356985
Herausgeber:
ACM Press
DOI:
10.1145/3192366.3192372
Autoren:
Gabriel Scherer, Max New, Nick Rioux, Amal Ahmed
Veröffentlicht in:
Foundations of Software Science and Computation Structures - FoSSaCS 2018, 2018, Seite(n) 146-162, ISBN 978-3-319-89366-2
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89366-2_8
Autoren:
Abate, Carmine; Blanco, Roberto; Garg, Deepak; Hritcu, Catalin; Patrignani, Marco; Thibault, Jérémy
Veröffentlicht in:
32nd IEEE Computer Security Foundations Symposium (CSF), 2019
Herausgeber:
IEEE Computer Society
DOI:
10.1109/csf.2019.00025
Autoren:
Raimil Cruz, Éric Tanter
Veröffentlicht in:
Proceedings of the IEEE Secure Development Conference (SecDev 2019), 2019
Herausgeber:
IEEE Computer Society Press
Autoren:
Carmine Abate, Roberto Blanco, Ștefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hrițcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Veröffentlicht in:
Programming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Ausgabe 12075, 2020, Seite(n) 1-28, ISBN 978-3-030-44913-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-44914-8_1
Autoren:
Tomás Díaz, Federico Olmedo, Éric Tanter
Veröffentlicht in:
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020, Seite(n) 201-214, ISBN 9781-450370974
Herausgeber:
ACM
DOI:
10.1145/3372885.3373822
Autoren:
Jasmin Blanchette, Cătălin Hriţcu
Veröffentlicht in:
2020, ISBN 9781450370974
Herausgeber:
ACM
DOI:
10.1145/3372885
Autoren:
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
Veröffentlicht in:
IEEE 34th Computer Security Foundations Symposium (CSF), 2021, ISSN 2374-8303
Herausgeber:
IEEE Computer Society
DOI:
10.1109/csf51468.2021.00048
Autoren:
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
Veröffentlicht in:
35th IEEE Computer Security Foundations Symposium, CSF 2022, 2022
Herausgeber:
IEEE
Autoren:
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cătălin Hrițcu, Kenji Maillard, and Bas Spitters
Veröffentlicht in:
ACM Transactions on Programming Languages and Systems (TOPLAS), 2023, ISSN 0164-0925
Herausgeber:
Association for Computing Machinary, Inc.
Autoren:
Carmine Abate, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hriţcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Veröffentlicht in:
ACM Transactions on Programming Languages and Systems, Ausgabe Volume 43, Ausgabe 4, 2021, Seite(n) 1–48, ISSN 0164-0925
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3460860
Autoren:
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
Veröffentlicht in:
Proceedings of the ACM on Programming Languages (PACMPL), Ausgabe 8(POPL), 2024, Seite(n) 2226–2259, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3632916
Autoren:
Danel Ahman, Cédric Fournet, Cătălin Hriţcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158153
Autoren:
Jonathan Protzenko, Cédric Fournet, Nikhil Swamy, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 1/ICFP, 2017, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3110261
Autoren:
Danel Ahman
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158095
Autoren:
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-28, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158137
Autoren:
Max S. New, Amal Ahmed
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/3236768
Autoren:
William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/POPL, 2017, Seite(n) 1-33, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3158110
Autoren:
Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/ICFP, 2019, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3341712
Autoren:
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, Éric Tanter
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/ICFP, 2019, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3341708
Autoren:
Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/ICFP, 2018, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3236787
Autoren:
Niki Vazou, Éric Tanter, David Van Horn
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 2/OOPSLA, 2018, Seite(n) 1-25, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3276502
Autoren:
Matías Toro, Elizabeth Labrada, Éric Tanter
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/POPL, 2019, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3290330
Autoren:
Matías Toro, Ronald Garcia, Éric Tanter
Veröffentlicht in:
ACM Transactions on Programming Languages and Systems, Ausgabe 40/4, 2018, Seite(n) 1-55, ISSN 0164-0925
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3229061
Autoren:
Joseph Eremondi, Éric Tanter, Ronald Garcia
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 3/ICFP, 2019, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3341692
Autoren:
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine van Muylder
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4(POPL), 2020, Seite(n) 4:1-4:33, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3373095
Autoren:
Marco Patrignani, Amal Ahmed, Dave Clarke
Veröffentlicht in:
ACM Computing Surveys, Ausgabe Volume 51,Ausgabe 6, November 2019, 2019, Seite(n) 1–36, ISSN 0360-0300
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3280984
Autoren:
Carmine Abate
Veröffentlicht in:
PhD Thesis, 2022
Herausgeber:
Ruhr University Bochum
DOI:
10.13154/294-9870
Autoren:
Catalin Hritcu
Veröffentlicht in:
Habilitation Thesis, 2019
Herausgeber:
ENS Paris; PSL Research University
Autoren:
Kenji Maillard
Veröffentlicht in:
PhD Thesis, 2019
Herausgeber:
ENS Paris
Autoren:
Cezar-Constantin Andrici
Veröffentlicht in:
MSc Thesis, 2021
Herausgeber:
Alexandru Ioan Cuza University of Iasi
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor