Published in OOPSLA 24, 2024
Security type system implemented in Rust.
Recommended citation: Ada Lamba, Max Taylor, Vincent Beardsley, Jacob Bambeck, Michael D. Bond, and Zhiqiang Lin. 2024. Cocoon: Static Information Flow Control in Rust. Proc. ACM Program. Lang. 8, OOPSLA1, Article 100 (April 2024), 28 pages. https://doi.org/10.1145/3649817 https://dl.acm.org/doi/pdf/10.1145/3649817
Published in 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), 2022
This paper describes SA4U, a tool for detecting unit type errors in C++ programs.
Recommended citation: Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, and Xiangyu Zhang. 2022. SA4U: Practical Static Analysis for Unit Type Error Detection. In 37th IEEE/ACM International Conference on Automated Software Engineering (ASE ’22), October 10–14, 2022, Rochester, MI, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3551349.3556937 /files/sa4u.pdf
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021
This paper describes Avis, an in-situ model checker for UAS firmware.
Recommended citation: M. Taylor, H. Chen, F. Qin and C. Stewart, "Avis: In-Situ Model Checking for Unmanned Aerial Vehicles," 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2021, pp. 471-483, doi: 10.1109/DSN48987.2021.00057. https://arxiv.org/abs/2106.14959
Published in 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 2021
This paper studies over 200 previously reported bugs in UAS control firmware.
Recommended citation: M. Taylor, J. Boubin, H. Chen, C. Stewart and F. Qin, "A Study on Software Bugs in Unmanned Aircraft Systems," 2021 International Conference on Unmanned Aircraft Systems (ICUAS), 2021, pp. 1439-1448, doi: 10.1109/ICUAS51884.2021.9476844. https://www.researchgate.net/publication/351607363_A_Study_on_Software_Bugs_in_Unmanned_Aircraft_Systems