David Kyle

Software Engineering Institute, Carnegie Mellon University

Papers

Total Citations

H-Index

About

David Kyle is a researcher specializing in the design, verification, and analysis of distributed real-time and mixed-criticality software systems. His work addresses the fundamental challenge of ensuring correctness and reliability in software that must simultaneously handle tasks of varying importance—from safety-critical to best-effort—across distributed nodes. Kyle’s most significant contribution is the development of DMPL, a domain-specific language that enables programmers to specify and verify distributed mixed-synchrony and mixed-criticality software. This language supports nodes executing periodic real-time threads scheduled by priority and criticality, bridging the gap between synchronous and asynchronous communication models. His research has garnered over 17 citations from his top papers, reflecting its relevance to the embedded systems and formal verification communities. Kyle has also advanced the state of the art in statistical model checking, notably introducing logistic regression as a novel input attribution technique to improve the efficiency and interpretability of verification for adaptive real-time systems. His work provides critical tools for engineers building dependable cyber-physical systems.