Publications

Clarity: From Formal System Designs to Verified RL Controllers

Published in 41st IEEE/ACM International Conference on Automated Software Engineering (ASE '26), 2026

This paper describes Clarity, a system that turns a SysML v2 design into a verified reinforcement learning controller and runtime monitor.

Recommended citation: Austin O'Quinn, Conor Snedeker, Max Taylor, Lance Joneckis, and Christopher Stewart. 2026. Clarity: From Formal System Designs to Verified RL Controllers. In Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE '26), October 12–16, 2026, Munich, Germany. ACM, New York, NY, USA, 12 pages. https://doi.org/10.1145/3832783.3834429 /files/CLARITY.pdf

Cocoon: Static Information Flow Control in Rust

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

SA4U: Practical Static Analysis for Unit Type Error Detection

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

Avis: In-Situ Model Checking for Unmanned Aerial Vehicles

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

A Study on Software Bugs in Unmanned Aerial Systems

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