Carla Gomes, Ashish Sabharwal, and Bart Selman will receive an Outstanding Paper Award at the upcoming 21st National Conference on Artificial Intelligence (AAAI-06).
http://www.aaai.org/Conferences/AAAI/aaai06.php
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.