publication venue for A bit too precise? Verification of quantized digital filters 2014 Static analysis for concurrent programs with applications to data race detection 2013