5 papers:
SIGIR-2014-KaneT- Skewed partial bitvectors for list intersection (AK, FWT), pp. 263–272.
SAS-2010-FarzanK #analysis #composition #concurrent #source code- Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.
DATE-2009-HeH #algorithm #encoding #performance #verification- An efficient path-oriented bitvector encoding width computation algorithm for bit-precise verification (NH, MSH), pp. 1602–1607.
STOC-2000-BuhrmanMRV #question- Are bitvectors optimal? (HB, PBM, JR, SV), pp. 449–458.
TACAS-1995-KnoopSV #analysis #exclamation #explosion #for free #parallel- Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.
