Posts by Collection

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

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

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

Advanced C

Undergraduate course, The Ohio State University, Department of Computer Science and Engineering, 2019

Taught an undergraduate course on the C programming language.

Advanced C

Undergraduate course, The Ohio State University, Department of Computer Science and Engineering, 2020

Taught an undergraduate course on the C programming language.

Software I

Undergraduate course, The Ohio State University, Department of Computer Science and Engineering, 2020

Taught an undergraduate course on the foundations of software engineering in Java.

Software I

Undergraduate course, The Ohio State University, Department of Computer Science and Engineering, 2021

Taught an undergraduate course on the foundations of software engineering in Java.

Software I

Undergraduate course, The Ohio State University, Department of Computer Science and Engineering, 2021

Taught an undergraduate course on the foundations of software engineering in Java.

Advanced Operating Systems

Grader for Graduate Course, The Ohio State University, Department of Computer Science and Engineering, 2022

Graded the graduate level operating systems course.