BFA: Bloom filter concurrency controller automation design | IEEE Conference Publication | IEEE Xplore