8 citations · 14 across the 6 of their papers we have counts for
8 papers
Translation Tag Team: Formal Rules and LLMs Translate More Macros Together than Apart
Brent Pappas, Joseph Zalusky, Zachary Burkett +1
Modern critical software infrastructure is largely written in C. Since C lacks memory safety, researchers are investigating automatic translation of C to safer languages like Rust.…
From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
Arthur Amorim, Paul Gazzillo, Max Taylor +1
Standard communication protocols for Unmanned Aerial Vehicles (UAVs), such as MAVLink, lack the capability to enforce the contextual validity of message sequences. Autopilots there…
Build Code is Still Code: Finding the Antidote for Pipeline Poisoning
Brent Pappas, Paul Gazzillo
Open source C code underpins society's computing infrastructure. Decades of work has helped harden C code against attackers, but C projects do not consist of only C code. C project…
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times
Necip Fazıl Yıldıran, Jeho Oh, Julia Lawall +1
The Linux kernel is highly-configurable, with a build system that takes a configuration file as input and automatically tailors the source code accordingly. Configurability, howeve…
Semantic Analysis of Macro Usage for Portability
Brent Pappas, Paul Gazzillo
C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go. Existing tools, however, resort to preprocessing the so…
SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels
Andrea Mondelli, Paul Gazzillo, Yan Solihin
One of the most prevalent source of side channel vulnerabilities is the secret-dependent behavior of conditional branches (SDBCB). The state-of-the-art solution relies on Constant-…
Adding Concurrency to Smart Contracts
Thomas Dickerson, Paul Gazzillo, Maurice Herlihy +1
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times,…
Proust: A Design Space for Highly-Concurrent Transactional Data Structures
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy +1
Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and…