Cătălin Hriţcu

发表

Bas Spitters, Théo Winterhalter, Exequiel Rivas, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Théo Winterhalter, Exequiel Rivas, Stefan Ciobaca, 2023, Proc. ACM Program. Lang..
Jonathan M. Smith, Benjamin C. Pierce, Thomas F. Knight, 2015, ASPLOS.
Théo Winterhalter, Exequiel Rivas, Cătălin Hriţcu, 2023, ArXiv.
Santiago Zanella Béguelin, K. Bhargavan, Antoine Delignat-Lavaud, 2017, Proc. ACM Program. Lang..
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
Catalin Hritcu, Sabin C. Buraga, S. Buraga, 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).
Jonathan M. Smith, Benjamin C. Pierce, J. Gregory Morrisett, 2012, 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Arthur Azevedo de Amorim, B. Pierce, Yannis Juglaret, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Cǎtǎlin Hriţcu, Cătălin Hriţcu, 2015, PLAS@ECOOP.
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
D. Garg, Carmine Abate, Roberto Blanco, 2019, ESOP.
B. Pierce, Diane Gallois-Wong, Li-yao Xia, 2020, Foundations of Probabilistic Programming.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2016, POPL.
B. Pierce, Catalin Hritcu, Leonidas Lampropoulos, 2015 .