Arthur Azevedo de Amorim

College of Art and Design College of Engineering Technology College of Health Sciences and Technology College of Liberal Arts College of Science Golisano College of Computing and Information Sciences International Campuses Kate Gleason College of Engineering National Technical Institute for the Deaf Saunders College of Business School of Individualized Study

Arthur Azevedo de Amorim

Assistant Professor
Golisano College of Computing and Information Sciences
Computer Science
Department of Cybersecurity

2024 Submissions

Published Conference Proceedings

Zhang, Cheng, Arthur Azevedo de Amorim, and Marco Gaboardi. "Domain Reasoning in TopKAT." Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, {ICALP} 2024, July 8-12, 2024, Tallinn, Estonia. Ed. Karl Bringmann, et al. Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Print. *

Rinaldi, Francis, et al. "Pipelines and Beyond: Graph Types for ADTs with Futures." Proceedings of the POPL'2024, London, UK. Ed. ACM. London, UK: n.p., 2024. Print. «

Thibault, Jérémy, et al. "SECOMP: Formally Secure Compilation of Compartmentalized C Programs." Proceedings of the {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2024, Salt Lake City, UT, USA. Ed. Bo Luo, et al. New York, NY: ACM, Print. «

2023 Submissions

Published Conference Proceedings

wunder, june, et al. "Bunched Fuzz: Sensitivity for Vector Metrics." Proceedings of the European Symposium on Programming. Ed. Thomas Wies. Paris, France: Springer, 2023. Print. *