| 2026 |
J |
jnl |
CoRR
Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Catalin Hritcu, Exequiel Rivas, Théo Winterhalter
|
| 2026 |
J |
jnl |
CoRR
Jonathan Baumann, Yonghyun Kim, Yan Farba, Catalin Hritcu, Julay Leatherman-Brooks
|
| 2025 |
A |
conf |
CSF
Jonathan Baumann, Roberto Blanco, Léon Ducruet, Sebastian Harwig, Catalin Hritcu
|
| 2025 |
J |
jnl |
CoRR
Roberto Blanco, Léon Ducruet, Sebastian Harwig, Catalin Hritcu
|
| 2025 |
B |
conf |
ITP
Jérémy Thibault, Joseph Lenormand, Catalin Hritcu
|
| 2025 |
J |
jnl |
CoRR
Jérémy Thibault, Joseph Lenormand, Catalin Hritcu
|
| 2025 |
J |
jnl |
CoRR
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
|
| 2024 |
A* |
conf |
CCS
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
|
| 2024 |
J |
jnl |
CoRR
Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
|
| 2024 |
B |
conf |
CPP
Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters
|
| 2023 |
J |
jnl |
ACM Trans. Program. Lang. Syst.
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
|
| 2023 |
J |
jnl |
CoRR
Cezar-Constantin Andrici, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
|
| 2023 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters
|
| 2022 |
A |
conf |
CSF
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
|
| 2021 |
J |
jnl |
ACM Trans. Program. Lang. Syst.
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
|
| 2021 |
B |
ed. |
CPP
Catalin Hritcu, Andrei Popescu
|
| 2021 |
A |
conf |
CSF
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
|
| 2021 |
A |
conf |
CSF
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
|
| 2021 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
|
| 2021 |
J |
jnl |
Dagstuhl Reports
David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
|
| 2021 |
J |
jnl |
CoRR
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
|
| 2020 |
J |
jnl |
CoRR
Maximilian Algehed, Jean-Philippe Bernardy, Catalin Hritcu
|
| 2020 |
— |
ch. |
Foundations of Probabilistic Programming
Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes
|
| 2020 |
B |
ed. |
CPP
Jasmin Blanchette, Catalin Hritcu
|
| 2020 |
J |
jnl |
Proc. ACM Program. Lang.
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
|
| 2020 |
A |
conf |
ESOP
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
|
| 2019 |
J |
jnl |
CoRR
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
|
| 2019 |
A |
conf |
CSF
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
|
| 2019 |
A |
conf |
ESOP
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
|
| 2019 |
J |
jnl |
CoRR
Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder
|
| 2019 |
— |
book |
Catalin Hritcu
|
| 2019 |
J |
jnl |
CoRR
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
|
| 2018 |
B |
conf |
CPP
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
|
| 2018 |
J |
jnl |
CoRR
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
|
| 2018 |
J |
jnl |
CoRR
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Catalin Hritcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
|
| 2018 |
J |
jnl |
Proc. ACM Program. Lang.
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
|
| 2018 |
J |
jnl |
Dagstuhl Reports
Amal Ahmed, Deepak Garg, Catalin Hritcu, Frank Piessens
|
| 2018 |
— |
conf |
POST
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
|
| 2018 |
A* |
conf |
CCS
Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach
|
| 2018 |
J |
jnl |
CoRR
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach
|
| 2017 |
J |
jnl |
CoRR
Niklas Grimm, Kenji Maillard, Cédric Fournet, Catalin Hritcu, Matteo Maffei, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin
|
| 2017 |
A* |
conf |
POPL
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
|
| 2017 |
A* |
conf |
POPL
Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
|
| 2017 |
— |
conf |
SNAPL
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean Karim Zinzindohoue
|
| 2017 |
J |
jnl |
CoRR
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach
|
| 2017 |
J |
jnl |
CoRR
Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
|
| 2017 |
J |
jnl |
CoRR
Deepak Garg, Catalin Hritcu, Marco Patrignani, Marco Stronati, David Swasey
|
| 2017 |
J |
jnl |
CoRR
Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce
|
| 2017 |
J |
jnl |
CoRR
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
|
| 2017 |
J |
jnl |
Proc. ACM Program. Lang.
Jonathan Protzenko, Jean Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Catalin Hritcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
|
| 2016 |
J |
jnl |
J. Comput. Secur.
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2016 |
J |
jnl |
CoRR
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
|
| 2016 |
J |
jnl |
CoRR
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce
|
| 2016 |
A |
conf |
CSF
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce
|
| 2016 |
A* |
conf |
POPL
Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Béguelin
|
| 2016 |
J |
jnl |
CoRR
Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy
|
| 2016 |
J |
jnl |
J. Funct. Program.
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
|
| 2015 |
J |
jnl |
CoRR
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2015 |
A* |
conf |
ASPLOS
Udit Dhawan, Catalin Hritcu, Raphael Rubin, Nikos Vasilakis, Silviu Chiricescu, Jonathan M. Smith, Thomas F. Knight Jr., Benjamin C. Pierce, André DeHon
|
| 2015 |
B |
conf |
ITP
Zoe Paraskevopoulou, Catalin Hritcu, Maxime Dénès, Leonidas Lampropoulos, Benjamin C. Pierce
|
| 2015 |
— |
conf |
PLAS@ECOOP
Catalin Hritcu
|
| 2015 |
A* |
conf |
IEEE Symposium on Security and Privacy
Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
|
| 2015 |
J |
jnl |
ACM SIGLOG News
Catalin Hritcu
|
| 2015 |
J |
jnl |
CoRR
Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
|
| 2014 |
A* |
conf |
POPL
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach
|
| 2014 |
J |
jnl |
CoRR
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
|
| 2014 |
J |
jnl |
J. Comput. Secur.
Michael Backes, Catalin Hritcu, Matteo Maffei
|
| 2013 |
A* |
conf |
IEEE Symposium on Security and Privacy
Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett
|
| 2013 |
A |
conf |
ICFP
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
|
| 2012 |
— |
conf |
SASO Workshops
Udit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David K. Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan
|
| 2012 |
— |
conf |
NASA Formal Methods
Michael Backes, Alex Busenius, Catalin Hritcu
|
| 2012 |
J |
jnl |
J. Funct. Program.
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
|
| 2012 |
— |
— |
Catalin Hritcu
|
| 2011 |
B |
conf |
CPP
Michael Backes, Catalin Hritcu, Thorsten Tarrach
|
| 2011 |
— |
conf |
TOSCA
Michael Backes, Catalin Hritcu, Matteo Maffei
|
| 2010 |
A |
conf |
ICFP
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
|
| 2009 |
J |
jnl |
Log. Methods Comput. Sci.
Catalin Hritcu, Jan Schwinghammer
|
| 2009 |
A |
conf |
CSF
Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei
|
| 2008 |
A |
conf |
CSF
Michael Backes, Catalin Hritcu, Matteo Maffei
|
| 2008 |
A* |
conf |
CCS
Michael Backes, Catalin Hritcu, Matteo Maffei
|
| 2005 |
Misc |
conf |
SYNASC
Catalin Hritcu, Sabin C. Buraga
|
| 2003 |
J |
jnl |
Int. J. Comput.
Catalin Hritcu, Iulian Goriac, Raluca Mihaela Gordan, Elena Erbiceanu
|