Catalin Hritcu

发表

Nikhil Swamy, Chris Hawblitzel, Rustan Leino, 2017, SNAPL.
Benjamin C. Pierce, J. Gregory Morrisett, Catalin Hritcu, 2013, 2013 IEEE Symposium on Security and Privacy.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, POPL.
Nikhil Swamy, Cédric Fournet, Karthikeyan Bhargavan, 2017, Proc. ACM Program. Lang..
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2015 .
Nikhil Swamy, Chris Hawblitzel, Catalin Hritcu, 2018, ArXiv.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Andrew D. Gordon, Gavin M. Bierman, Catalin Hritcu, 2010, ICFP '10.
Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, 2016, POPL.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, ArXiv.
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Robert Atkey, Exequiel Rivas, Catalin Hritcu, 2019, Proc. ACM Program. Lang..
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Michael Backes, Catalin Hritcu, Thorsten Tarrach, 2011, CPP.
Catalin Hritcu, Iulian Goriac, Raluca Mihaela Gordan, 2014 .
Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.
Michael Backes, Catalin Hritcu, Alex Busenius, 2012, NASA Formal Methods.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2018, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2015, ITP.
Benjamin C. Pierce, Leonidas Lampropoulos, Catalin Hritcu, 2016, POPL.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, CCS.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, Proc. ACM Program. Lang..
Frank Piessens, Catalin Hritcu, Deepak Garg, 2018, Dagstuhl Reports.
Jan Schwinghammer, Catalin Hritcu, Catalin Hritcu, 2009, Log. Methods Comput. Sci..
Roberto Blanco, Marco Patrignani, Catalin Hritcu, 2019, ESOP.
Exequiel Rivas, Catalin Hritcu, Kenji Maillard, 2019, Proc. ACM Program. Lang..
Catalin Hritcu, Sabin C. Buraga, S. Buraga, 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).
Marco Patrignani, Catalin Hritcu, Deepak Garg, 2017, ArXiv.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, ArXiv.
Nikhil Swamy, Chris Hawblitzel, Catalin Hritcu, 2018, 1803.06547.
Catalin Hritcu, Jean-Philippe Bernardy, Maximilian Algehed, 2020, ArXiv.
Nikhil Swamy, Catalin Hritcu, Jonathan Protzenko, 2016, POPL.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2011, TOSCA.
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, Catalin Hritcu, Ana Nora Evans, 2017, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Bas Spitters, Théo Winterhalter, Exequiel Rivas, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Catalin Hritcu, Jean-Philippe Bernardy, Maximilian Algehed, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .