27 citations · 35 across the 6 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.PL2017
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation
Markus Kusano, Chao Wang
We propose a constraint-based flow-sensitive static analysis for concurrent programs by iteratively composing thread-modular abstract interpreters via the use of a system of lightw…
cs.PL2017★ 2 cited
Modular Verification of Interrupt-Driven Software
Chungha Sung, Markus Kusano, Chao Wang
Interrupts have been widely used in safety-critical computer systems to handle outside stimuli and interact with the hardware, but reasoning about interrupt-driven software remains…
cs.PL2017★ 2 cited
Thread-Modular Static Analysis for Relaxed Memory Models
Markus Kusano, Chao Wang
We propose a memory-model-aware static program analysis method for accurately analyzing the behavior of concurrent software running on processors with weak consistency models such…