The paper is entitled "Model Counting: A New Strategy for Obtaining Good Bounds" and was one of two award papers out of nearly 800 submissions. Ashish is currently an IISI postdoc and did his Ph.D. at U Washington.