John Henry Burns — accepted AI-conference papers

2024

A Compiler Framework for Proactive UAV Regulation Enforcement

Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu

ICRA 2024poster

In the rapidly evolving landscape of Unmanned Aerial Vehicles (UAVs), regulation enforcement is critical. Unfortunately, existing practices are largely manual and reactive in nature. We present Themis1, a novel compiler-directed approach for automated and proactive regulation enforcement. By express…

Cited by 0 Source ↗Scholar ↗

2021

JCopter: Reliable UAV Software Through Managed Languages

Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek

IROS 2021poster

UAVs are deployed in various applications including disaster search-and-rescue, precision agriculture, law enforcement and first response. As UAV software systems grow more complex, the drawbacks of developing them in low-level languages become more pronounced. For example, the lack of memory safety…

Cited by 2 Source ↗Scholar ↗