We propose an interactive approach to resolve static analysis alarms. Our approach
synergistically combines a sound but imprecise analysis with precise but unsound …

Despite the advanced static analysis tools available within modern integrated development
environments (IDEs), the error messages these tools produce remain perplexing for …

This paper proposes an incipient sensor fault estimation and accommodation method for
three‐phase PWM inverter devices in electric railway traction systems. First, the dynamics of …

With the increasing complexity of upcoming HPC systems, so-called “co-design” efforts to
develop the hardware and applications in concert for these systems also become more …

Emerging HPC platforms are becoming more difficult to program as a result of systems with
different node architectures, some with a small number of" fat" heterogenous nodes …

Emerging HPC platforms are becoming extraordinarily difficult to program as a result of
complex, deep and heterogeneous memory hierarchies, heterogeneous cores, and the …

Building a successful program analysis requires solving high-level conceptual issues, such
as finding an abstraction of programs that keeps just enough information for a given …