A tweak to Instant-Runoff Voting (IRV) to make it a Condorcet method
A Pointer-Ownership Model for C Inspired by Rust (LCTES 2026)
Using LLMs to Adjudicate Static-Analysis Alerts (HICSS 2025)
https://www.wklieber.com/