Arthur Azevedo de Amorim

发表

Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, POPL.
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2013, Journal of Functional Programming.
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2015 .
Benjamin C. Pierce, Leonidas Lampropoulos, Antal Spector-Zabusky, 2016, Journal of Functional Programming.
Arthur Azevedo de Amorim, 2017 .
Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, 2018, ArXiv.
Benjamin C. Pierce, Antal Spector-Zabusky, Catalin Hritcu, 2015, 2015 IEEE Symposium on Security and Privacy.
Arthur Azevedo de Amorim, Justin Hsu, Marco Gaboardi, 2014, IFL.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Roberto Blanco, Benjamin C. Pierce, Catalin Hritcu, 2018, CCS.
Benjamin C. Pierce, Catalin Hritcu, David Pichardie, 2014, J. Comput. Secur..
Benjamin C. Pierce, Antal Spector-Zabusky, Arthur Azevedo de Amorim, 2014 .
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2017, POST.
Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, 2017, POPL.
Limin Jia, Matt Fredrikson, Arthur Azevedo de Amorim, 2020, LICS.
Matt Fredrikson, Arthur Azevedo de Amorim, Yuvraj Agarwal, 2021, VMCAI.
Arthur Azevedo de Amorim, 2016, MFPS.
Shin-ya Katsumata, Arthur Azevedo de Amorim, Justin Hsu, 2018, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Limin Jia, Corina S. Pasareanu, Arthur Azevedo de Amorim, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Benjamin C. Pierce, Catalin Hritcu, Ana Nora Evans, 2017, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016, ArXiv.
Corina S. Pasareanu, Arthur Azevedo de Amorim, Zichao Zhang, 2021, International Workshop on Formal Aspects of Component Software.
Marco Gaboardi, Arthur Azevedo de Amorim, Cheng Zhang, 2021, ArXiv.
Benjamin C. Pierce, Catalin Hritcu, Arthur Azevedo de Amorim, 2016 .
Benjamin C. Pierce, John Hughes, Leonidas Lampropoulos, 2013 .
Arthur Azevedo de Amorim, Justin Hsu, Marco Gaboardi, 2014 .
Arthur Azevedo de Amorim, Marco Gaboardi, Cheng Zhang, 2021, Proc. ACM Program. Lang..
Arthur Azevedo de Amorim, 2022, ArXiv.
Arthur Azevedo de Amorim, Marco Gaboardi, Patrick Baillot, 2022, ESOP.
Arthur Azevedo de Amorim, B. Pierce, Yannis Juglaret, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).