Cherupattamoolayil, S., Bhattar, A., Glosner, C. E., & Machiry, A. (2025). Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper). Proceedings of the ACM on software engineering, 2(ISSTA), 1212-1233. https://doi.org/10.1145/3728929
Chicago Style (17th ed.) CitationCherupattamoolayil, Sourag, Arunkumar Bhattar, Connor Everett Glosner, and Aravind Machiry. "Adding Spatial Memory Safety to EDK II Through Checked C (Experience Paper)." Proceedings of the ACM on Software Engineering 2, no. ISSTA (2025): 1212-1233. https://doi.org/10.1145/3728929.
MLA (9th ed.) CitationCherupattamoolayil, Sourag, et al. "Adding Spatial Memory Safety to EDK II Through Checked C (Experience Paper)." Proceedings of the ACM on Software Engineering, vol. 2, no. ISSTA, 2025, pp. 1212-1233, https://doi.org/10.1145/3728929.