Best paper awards for AAAI, ACL, CHI, CIKM, FOCS, ICML, IJCAI, KDD, OSDI, SIGIR, SIGMOD, SOSP, STOC

转载于：http://jeffhuang.com/best_paper_awards.html

Best paper awards for AAAI, ACL, CHI, CIKM, FOCS, ICML, IJCAI, KDD, OSDI, SIGIR, SIGMOD, SOSP, STOC, UIST, VLDB, WWW

By Conference:   AAAI   ACL   CHI   CIKM   FOCS   ICML   IJCAI   KDD   OSDI   SIGIR   SIGMOD   SOSP   STOC   UIST   VLDB   WWW

Institutions with the most Best Papers

AAAI (Artificial Intelligence)
2010	A Novel Transition Based Encoding Scheme for Planning as Satisfiability	Ruoyun Huang, Washington University in St. Louis; et al.
2008	How Good is Almost Perfect?	Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg
	Optimal False-Name-Proof Voting Rules with Costly Voting	Liad Wagman & Vincent Conitzer, Duke University
2007	PLOW: A Collaborative Task Learning Agent	James Allen, Institute for Human and Machine Cognition; et al.
	Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games	Colin McMillen & Manuela Veloso, Carnegie Mellon University
2006	Model Counting: A New Strategy for Obtaining Good Bounds	Carla P. Gomes, Cornell University; et al.
	Towards an Axiom System for Default Logic	Gerhard Lakemeyer, RWTH Aachen University Hector J. Levesque, University of Toronto
2005	The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection	Vincent A. Cicirello, Drexel University Stephen F. Smith, Carnegie Mellon University
2004	Learning and Inferring Transportation Routines	Lin Liao, University of Washington; et al.
2002	On Computing All Abductive Explanations	Thomas Eiter, Technische Universität Wien Kazuhisa Makino, Osaka University
2000	The Game of Hex: An Automatic Theorem-Proving Approach to Game Programming	Vadim V. Anshelevich, Vanshel Consulting
1999	PROVERB: The Probabilistic Cruciverbalist	Greg A. Keim, Duke University; et al.
1998	Learning Evaluation Functions for Global Optimization and Boolean Satisfiability	Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University
	Acceleration Methods for Numeric CSPs	Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes
	The Interactive Museum Tour-Guide Robot	Wolfram Burgard, University of Bonn; et al.
1997	Statistical Parsing with a Context-Free Grammar and Word Statistics	Eugene Charniak, Brown University
	A Practical Algorithm for Finding Optimal Triangulations	Krill Shoikhet & Dan Geiger, Technion
	Fast Context Switching in Real-Time Propositional Reasoning	P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center
	Building Concept Representations from Reusable Components	Peter Clark, Boeing Bruce Porter, University of Texas at Austin
1996	Verification of Knowledge Bases Based on Containment Checking	Alon Y. Levy, AT&T Laboratories Marie-Christine Rousset, Université Paris-Sud
	A Novel Application of Theory Refinement to Student Modeling	Paul T. Baffes, SciComp Inc Raymond J. Mooney, University of Texas at Austin
	Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search	Henry Kautz & Bart Selman, AT&T Laboratories
ACL (Natural Language Processing)
2011	Unsupervised Part-of-Speech Tagging with Bilingual Graph-Based Projections	Dipanjan Das, Carnegie Mellon University Slav Petrov, Google
2010	Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates	Matthew Gerber & Joyce Y. Chai, Michigan State University
2009	Reinforcement Learning for Mapping Instructions to Actions	S.R.K. Branavan, Massachusetts Institute of Technology; et al.
	K-Best A* Parsing	Adam Pauls & Dan Klein, University of California Berkeley
	Concise Integer Linear Programming Formulations for Dependency Parsing	André F.T. Martins, Instituto de Telecomunicações; et al.
2008	Forest Reranking: Discriminative Parsing with Non-Local Features	Liang Huang, University of Pennsylvania
	A New String-to-Dependency Machine Translation Algorithm with a Target Dependency Language Model	Libin Shen, BBN Technologies; et al.
2007	Learning synchronous grammars for semantic parsing with lambda calculus	Yuk Wah Wong & Raymond J. Mooney, University of Texas at Austin
2006	Semantic taxonomy induction from heterogenous evidence	Rion Snow, Stanford University; et al.
2005	A Hierarchical Phrase-Based Model for Statistical Machine Translation	David Chiang, University of Maryland
2004	Finding Predominant Word Senses in Untagged Text	Diana McCarthy, University of Sussex; et al.
2003	Accurate Unlexicalized Parsing	Dan Klein & Christopher D. Manning, Stanford University
	Towards a Model of Face-to-Face Grounding	Yukiko I. Nakano, RISTEX; et al.
2002	Discriminative Training and Maximum Entropy Models for Statistical Machine Translation	Franz Josef Och & Hermann Ney, RWTH Aachen University
2001	Immediate-Head Parsing for Language Models	Eugene Charniak, Brown University
	Fast Decoding and Optimal Decoding for Machine Translation	Ulrich Germann, University of Southern California; et al.
CHI (Human-Computer Interaction)
2011	Usable Gestures for Blind People: Understanding Preference and Performance	Shaun K. Kane, University of Washington; et al.
	Effects of Community Size and Contact Rate in Synchronous Social Q&A	Ryen W. White, Microsoft Research; et al.
	Teenagers and Their Virtual Possessions: Design Opportunities and Issues	William Odom, Carnegie Mellon University; et al.
	Enhancing Physicality in Touch Interaction with Programmable Friction	Vincent Levesque, University of British Columbia; et al.
	Mid-air Pan-and-Zoom on Wall-sized Displays	Mathieu Nancel, Université Paris-Sud; et al.
	Bricolage: Example-Based Retargeting for Web Design	Ranjitha Kumar, Stanford University; et al.
	Synchronous Interaction Among Hundreds: An Evaluation of a Conference in an Avatar-based Virtual Env...	Thomas Erickson, IBM Research; et al.
	In the Shadow of Misperception: Assistive Technology Use and Social Interactions	Kristen Shinohara & Jacob O. Wobbrock, University of Washington
	Why is My Internet Slow?: Making Network Speeds Visible	Marshini Chetty, Georgia Institute of Technology; et al.
	Ease of Juggling: Studying the Effects of Manual Multitasking	Antti Oulasvirta & Joanna Bergstrom-Lehtovirta, Aalto University
	Automics: souvenir generating photoware for theme parks	Abigail Durrant, University of Nottingham; et al.
	Your Noise is My Command: Sensing Gestures Using the Body as an Antenna	Gabe Cohn, University of Washington; et al.
	Review Spotlight: A User Interface for Summarizing User-generated Reviews Using Adjective-Noun Word ...	Koji Yatani, University of Toronto; et al.
2010	Lumino: Tangible Blocks for Tabletop Computers Based on Glass Fiber Bundles	Patrick Baudisch, Hasso Plattner Institute; et al.
	Mapping the Landscape of Sustainable HCI	Carl DiSalvo, Georgia Institute of Technology; et al.
	Occlusion-Aware Interfaces	Daniel Vogel & Ravin Balakrishnan, University of Toronto
	Avaaj Otalo — A Field Study of an Interactive Voice Forum for Small Farmers in Rural India	Neil Patel, Stanford University; et al.
	How does search behavior change as search becomes more difficult?	Anne Aula, Google; et al.
	The Tower of Babel Meets Web 2.0: User-Generated Content and its Applications in a Multilingual Cont...	Brent Hecht & Darren Gergle, Northwestern University
	Skinput: Appropriating the Body as an Input Surface	Chris Harrison, Carnegie Mellon University; et al.
	Mobile-izing Health Workers in Rural India	Divya Ramachandran, University of California Berkeley; et al.
	The Design of Eco-Feedback Technology	Jon Froehlich, University of Washington; et al.
	Feminist HCI: Taking Stock and Outlining an Agenda for Design	Shaowen Bardzell, Indiana University at Bloomington
	Prefab: Implementing Advanced Behaviors Using Pixel-Based Reverse Engineering of Interface Structure	Morgan Dixon & James Fogarty, University of Washington
	Useful Junk? The Effects of Visual Embellishment on Comprehension and Memorability of Charts	Scott Bateman, University of Saskatchewan; et al.
2009	From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences	Steve Benford, The University of Nottingham; et al.
	Sizing the Horizon: The Effects of Chart Size and Layering on the Graphical Perception of Time Serie...	Jeffrey Heer, Stanford University; et al.
	Predicting Tie Strength With Social Media	Eric Gilbert & Karrie Karahalios, University of Illinois at Urbana-Champaign
	Musink: Composing Music through Augmented Drawing	Theophanis Tsandilas, Université Paris-Sud; et al.
	Social Immersive Media: Pursuing Best Practices for Multi-user Interactive Camera/Projector Exhibits	Scott S. Snibbe, Sona Research Hayes S. Raffle, Massachusetts Institute of Technology
	Ephemeral Adaptation: The Use of Gradual Onset to Improve Menu Selection Performance	Leah Findlater, University of British Columbia; et al.
	Undo and Erase Events as Indicators of Usability Problems	David Akers, Stanford University; et al.
2008	In-Car GPS Navigation: Engagement with and Disengagement from the Environment	Gilly Leshed, Cornell University; et al.
	Improving the Performance of Motor-Impaired Users with Automatically-Generated, Ability-Based Interf...	Krzysztof Z. Gajos, University of Washington; et al.
	Large Scale Analysis of Web Revisitation Patterns	Eytan Adar, University of Washington; et al.
	Designs on Dignity: Perceptions of Technology Among the Homeless	Christopher A. Le Dantec & W. Keith Edwards, Georgia Institute of Technology
	The Network in the Garden: An Empirical Analysis of Social Media in Rural Life	Eric Gilbert, University of Illinois at Urbana-Champaign; et al.
	Multimodal collaborative handwriting training for visually-impaired people	Beryl Plimmer, University of Auckland; et al.
	An Error Model for Pointing Based on Fitts' Law	Jacob O. Wobbrock, University of Washington; et al.
2007	Multiview: improving trust in group video conferencing through spatial faithfulness	David T. Nguyen & John Canny, University of California Berkeley
	Software or wetware?: discovering when and why people use digital prosthetic memory	Vaiva Kalnikaité & Steve Whittaker, The University of Sheffield
	Shift: a technique for operating pen-based interfaces using touch	Daniel Vogel, University of Toronto Patrick Baudisch, Microsoft Research
	Authoring sensor-based interactions by demonstration with direct manipulation and pattern recognitio...	Björn Hartmann, Stanford University; et al.
	Sustainable interaction design: invention & disposal, renewal & reuse	Eli Blevis, Indiana University at Bloomington
	Consuming video on Mobile devices	Kenton O'Hara, Hewlett-Packard Labs; et al.
2006	Trackball text entry for people with motor impairments	Jacob O. Wobbrock & Brad Myers, Carnegie Mellon University
	Embedded phenomena: supporting science learning with classroom-sized distributed simulations	Tom Moher, University of Illinois at Chicago
	A role for haptics in mobile interaction: initial design using a handheld tactile display prototype	Joseph Luk, University of British Columbia; et al.
2005	Making space for stories: ambiguity in the design of personal communication systems	Paul M. Aoki, Palo Alto Research Center Allison Woodruff, Intel Research
	Examining Task Engagement in Sensor-Based Statistical Models of Human Interruptibility	James Fogarty, Carnegie Mellon University; et al.
	Designing the spectator experience	Stuart Reeves, The University of Nottingham; et al.
	The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area	Tovi Grossman & Ravin Balakrishnan, University of Toronto
CIKM (Knowledge Management)
2010	MENTA: Inducing Multilingual Taxonomies from Wikipedia	Gerard de Melo & Gerhard Weikum, Max Planck Institut
	FACeTOR: cost-driven exploration of faceted query results	Abhijith Kashyap, State University of New York at Buffalo; et al.
2009	On the Feasibility of Multi-Site Web Search Engines	Ricardo Baeza-Yates, Yahoo! Research; et al.
2008	Learning to Link with Wikipedia	David Milne & Ian H. Witten, Univerisity of Waikato
2007	Autonomously Semantifying Wikipedia	Fei Wu & Daniel S. Weld, University of Washington
2006	Discovering and Exploiting Keyword and Attribute-Value Co-occurrences to Improve P2P Routing Indices	Segabtian Michel, Max Planck Institut; et al.
2005	Towards Automatic Association of Relevant Unstructured Content with Structured Query Results	Prasan Roy, IBM Research; et al.
2004	Discovering Frequently Changing Structures from Historical Structural Deltas of Unordered XML	Qiankun Zhao, Nanyang Technological University; et al.
FOCS (Theory)
2010	Subexponential Algorithms for Unique Games and Related Problems	Sanjeev Arora, Princeton University; et al.
2008	Two Query PCP with Sub-Constant Error	Dana Moshkovitz & Ran Raz, Weizmann Institute of Science
2007	Space-Efficient Identity Based Encryption Without Pairings	Dan Boneh, Stanford University; et al.
2006	Settling the Complexity of 2-Player Nash Equilibrium	Xi Chen, Tsinghua University Xiaotie Deng, City University of Hong Kong
2005	The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type Met...	Subhash A. Khot, Georgia Institute of Technology Nisheeth K. Vishnoi, IBM Research
	Correcting Errors Beyond the Guruswami-Sudan Radius in Polynomial Time	Farzad Parvaresh & Alexander Vardy, University of California San Diego
2004	Cryptography in NC0	Benny Applebaum, Technion; et al.
	Hardness of Approximating the Shortest Vector Problem in Lattices	Subhash Khot, Georgia Institute of Technology
2003	On the Impossibility of Dimension Reduction in L1	Bo Brinkman & Moses Charikar, Princeton University
2002	A Dichotomy Theorem for Constraints on a Three-Element Set	Andrei A. Bulatov, University of Oxford
	Minimizing Congestion in General Networks	Harald Räcke, Paderborn University
	Constant-Round Coin-Tossing with a Man in the Middle or Realizing the Shared Random String Model	Boaz Barak, Weizmann Institute of Science
ICML (Machine Learning)
2011	Computational Rationalization: The Inverse Equilibrium Problem	Kevin Waugh, Carnegie Mellon University; et al.
2010	Hilbert Space Embeddings of Hidden Markov Models	Le Song, Carnegie Mellon University; et al.
2009	Structure preserving embedding	Blake Shaw & Tony Jebara, Columbia University
2008	SVM Optimization: Inverse Dependence on Training Set Size	Shai Shalev-Shwartz & Nathan Srebro, University of Chicago
2007	Information-theoretic metric learning	Jason V. Davis, University of Texas at Austin; et al.
2006	Trading convexity for scalability	Ronan Collobert, NEC Labs America; et al.
2005	A support vector method for multivariate performance measures	Thorsten Joachims, Cornell University
1999	Least-Squares Temporal Difference Learning	Justin A. Boyan, NASA Ames Research Center
IJCAI (Artificial Intelligence)
2011	Unweighted Coalitional Manipulation Under the Borda Rule is NP-Hard	Nadja Betzler, Technische Universität Berlin; et al.
	Nested Rollout Policy Adaptation for Monte Carlo Tree Search	Christopher D. Rosin, Parity Computing
	On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces	Roman Kontchakov, Birkbeck College London; et al.
2009	Consequence-Driven Reasoning for Horn SHIQ Ontologies	Yevgeny Kazakov, University of Oxford
	Learning Conditional Preference Networks with Queries	Frederic Koriche, Université Montpellier II Bruno Zanuttini, Université de Caen Basse-Normandie
2007	Automated Heart Wall Motion Abnormality Detection From Ultrasound Images using Bayesian Networks	Maleeha Qazi, Siemens Medical Solutions; et al.
	Building Structure into Local Search for SAT	Duc Nghia Pham, Griffith University; et al.
	Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Progr...	Luc Mercier & Pascal Van Hentenryck, Brown University
2005	Learning Coordination Classifiers	Yuhong Guo, University of Alberta; et al.
	Solving Checkers	Jonathan Schaeffer, University of Alberta; et al.
	A Probabilistic Model of Redundancy in Information Extraction	Doug Downey, University of Washington; et al.
2003	Approximating Game-Theoretic Optimal Strategies for Full-scale Poker	Darse Billings, University of Alberta; et al.
	Thin Junction Tree Filters for Simultaneous Localization and Mapping	Mark A. Paskin, University of California Berkeley
2001	Complexity Results for Structure-Based Causality	Thomas Eiter & Thomas Lukasiewicz, Vienna University of Technology
1999	Learning in Natural Language	Dan Roth, University of Illinois at Urbana-Champaign
	A Distributed Case-Based Reasoning Application for Engineering Sales Support	Ian Watson, University of Salford Dan Gardingen, Western Air Ltd.
1997	Object Identification in a Bayesian Context	Timothy Huang & Stuart Russell, University of California Berkeley
	Translingual Information Retrieval: A Comparative Evaluation	Jaime G. Carbonell, Carnegie Mellon University; et al.
	Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog ...	Fangzhen Lin, The Hongkong University of Science and Technology
KDD (Data Mining)
2010	Large linear classification when data cannot fit in memory	Hsiang-Fu Yu, National Taiwan University; et al.
	Connecting the dots between news articles	Dafna Shahaf & Carlos Guestrin, Carnegie Mellon University
2009	Collaborative Filtering with Temporal Dynamics	Yehuda Koren, Yahoo! Research
2008	Fastanova: an efficient algorithm for genome-wide association study	Xiang Zhang, University of North Carolina; et al.
2007	Predictive discrete latent factor models for large scale dyadic data	Deepak Agarwal & Srujana Merugu, Yahoo! Research
2006	Training linear SVMs in linear time	Thorsten Joachims, Cornell University
2005	Graphs over time: densification laws, shrinking diameters and possible explanations	Jure Leskovec, Carnegie Mellon University; et al.
2004	A probabilistic framework for semi-supervised clustering	Sugato Basu, University of Texas at Austin; et al.
2003	Maximizing the spread of influence through a social network	David Kempe, Cornell University; et al.
2002	Pattern discovery in sequences under a Markov assumption	Darya Chudova & Padhraic Smyth, University of California Irvine
2001	Robust space transformations for distance-based operations	Edwin M. Knorr, University of British Columbia; et al.
2000	Hancock: a language for extracting signatures from data streams	Corinna Cortes, AT&T Laboratories; et al.
1999	MetaCost: a general method for making classifiers cost-sensitive	Pedro Domingos, Universidade Técnica de Lisboa
1998	Occam's Two Razors: The Sharp and the Blunt	Pedro Domingos, Universidade Técnica de Lisboa
1997	Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Dist...	Foster Provost & Tom Fawcett, NYNEX Science and Technology
OSDI (Operating Systems)
2010	Efficient System-Enforced Deterministic Parallelism	Amittai Aviram, Yale University; et al.
	The Turtles Project: Design and Implementation of Nested Virtualization	Muli Ben-Yehuda, IBM Research; et al.
2008	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs	Cristian Cadar, Stanford University; et al.
	Difference Engine: Harnessing Memory Redundancy in Virtual Machines	Diwaker Gupta, University of California San Diego; et al.
	DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Langu...	Yuan Yu, Microsoft Research; et al.
2006	Bigtable: A Distributed Storage System for Structured Data	Fay Chang, Google; et al.
	Rethink the Sync	Edmund B. Nightingale, University of Michigan; et al.
2004	Using Model Checking to Find Serious File System Errors	Junfeng Yang, Stanford University; et al.
	Recovering Device Drivers	Michael M. Swift, University of Washington; et al.
2002	Memory Resource Management in VMware ESX Server	Carl A. Waldspurger, VMware
2000	Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions	Dawson Engler, Stanford University; et al.
1999	IO-Lite: A Unified I/O Buffering and Caching System	Vivek S. Pai, Rice University; et al.
1996	Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications	Todd C. Mowry, University of Toronto; et al.
SIGIR (Information Retrieval)
2011	Find It If You Can: A Game for Modeling Different Types of Web Search Success Using Interaction Data	Mikhail Ageev, Moscow State University; et al.
2010	Assessing the Scenic Route: Measuring the Value of Search Trails in Web Logs	Ryen W. White, Microsoft Research Jeff Huang, University of Washington
2009	Sources of evidence for vertical selection	Jaime Arguello, Carnegie Mellon University; et al.
2008	Algorithmic Mediation for Collaborative Exploratory Search	Jeremy Pickens, FX Palo Alto Lab; et al.
2007	Studying the Use of Popular Destinations to Enhance Web Search Interaction	Ryen W. White, Microsoft Research; et al.
2006	Minimal Test Collections for Retrieval Evaluation	Ben Carterette, University of Massachusetts Amherst; et al.
2005	Learning to estimate query difficulty: including applications to missing content detection and distr...	Elad Yom-Tov, IBM Research; et al.
2004	A Formal Study of Information Retrieval Heuristics	Hui Fang, University of Illinois at Urbana-Champaign; et al.
2003	Re-examining the potential effectiveness of interactive query expansion	Ian Ruthven, University of Strathclyde
2002	Novelty and redundancy detection in adaptive filtering	Yi Zhang, Carnegie Mellon University; et al.
2001	Temporal summaries of new topics	James Allan, University of Massachusetts Amherst; et al.
2000	IR evaluation methods for retrieving highly relevant documents	Kalervo Järvelin & Jaana Kekäläinen, University of Tampere
1999	Cross-language information retrieval based on parallel texts and automatic mining of parallel texts ...	Jian-Yun Nie, Université de Montréal; et al.
1998	A theory of term weighting based on exploratory data analysis	Warren R. Greiff, University of Massachusetts Amherst
1997	Feature selection, perceptron learning, and a usability case study for text categorization	Hwee Tou Ng, DSO National Laboratories; et al.
1996	Retrieving spoken documents by combining multiple index sources	Gareth Jones, University of Cambridge; et al.
SIGMOD (Databases)
2011	Entangled Queries: Enabling Declarative Data-Driven Coordination	Nitin Gupta, Cornell University; et al.
2010	FAST: fast architecture sensitive tree search on modern CPUs and GPUs	Changkyu Kim, Intel; et al.
2009	Generating example data for dataflow programs	Christopher Olston, Yahoo! Research; et al.
2008	Serializable isolation for snapshot databases	Michael J. Cahill, University of Sydney; et al.
2007	Compiling mappings to bridge applications and databases	Sergey Melnik, Microsoft Research; et al.
2006	To search or to crawl?: towards a query optimizer for text-centric tasks	Panagiotis G. Ipeirotis, New York University; et al.
2004	Indexing spatio-temporal trajectories with Chebyshev polynomials	Yuhan Cai & Raymond T. Ng, University of British Columbia
2003	Spreadsheets in RDBMS for OLAP	Andrew Witkowski, Oracle; et al.
2001	Locally adaptive dimensionality reduction for indexing large time series databases	Eamonn Keogh, University of California Irvine; et al.
2000	XMill: an efficient compressor for XML data	Hartmut Liefke, University of Pennsylvania Dan Suciu, AT&T Laboratories
1999	DynaMat: a dynamic view management system for data warehouses	Yannis Kotidis & Nick Roussopoulos, University of Maryland
1998	Efficient transparent application recovery in client-server information systems	David Lomet & Gerhard Weikum, Microsoft Research
1997	Fast parallel similarity search in multimedia databases	Stefan Berchtold, University of Munich; et al.
1996	Implementing data cubes efficiently	Venky Harinarayan, Stanford University; et al.
SOSP (Operating Systems)
2009	FAWN: A Fast Array of Wimpy Nodes	David G. Andersen, Carnegie Mellon University; et al.
	seL4: Formal Verification of an OS Kernel	Gerwin Klein, NICTA; et al.
	RouteBricks: Exploiting Parallelism to Scale Software Routers	Mihai Dobrescu, École Polytechnique Fédérale de Lausanne; et al.
2007	Zyzzyva: speculative byzantine fault tolerance	Ramakrishna Kotla, University of Texas at Austin; et al.
	Sinfonia: a new paradigm for building scalable distributed systems	Marcos K. Aguilera, Hewlett-Packard Labs; et al.
	Secure Web Applications via Automatic Partitioning	Stephen Chong, Cornell University; et al.
2005	Rx: treating bugs as allergies - a safe method to survive software failures	Feng Qin, University of Illinois at Urbana-Champaign; et al.
2003	Backtracking intrusions	Samuel T. King & Peter M. Chen, University of Michigan
	Preserving peer replicas by rate-limited sampled voting	Petros Maniatis, Stanford University; et al.
	Improving the Reliability of Commodity Operating Systems	Michael M. Swift, University of Washington; et al.
2001	BASE: using abstraction to improve fault tolerance	Rodrigo Rodrigues, Massachusetts Institute of Technology; et al.
	Untrusted hosts and confidentiality: secure program partitioning	Steve Zdancewic, Cornell University; et al.
1999	Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors	Kinshuk Govil, Stanford University; et al.
	Soft timers: efficient microsecond software timer support for network processing	Mohit Aron & Peter Druschel, Rice University
	The Click modular router	Robert Morris, Massachusetts Institute of Technology; et al.
	Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail serv...	Yasushi Saito, University of Washington; et al.
1997	Continuous profiling: where have all the cycles gone?	Jennifer M. Anderson, Digital Equipment Corporation; et al.
	Disco: running commodity operating systems on scalable multiprocessors	Edouard Bugnion, Stanford University; et al.
	Eraser: a dynamic data race detector for multithreaded programs	Stefan Savage, University of Washington; et al.
STOC (Theory)
2011	Electrical flows, laplacian systems, and faster approximation of maximum flow in undirected graphs	Paul Christiano, Massachusetts Institute of Technology; et al.
	Subexponential lower bounds for randomized pivoting rules for the simplex algorithm	Oliver Friedmann, University of Munich; et al.
2010	An improved LP-based approximation for steiner tree	Jaroslaw Byrka, École Polytechnique Fédérale de Lausanne; et al.
	QIP = PSPACE	Rahul Jain, National University of Singapore; et al.
2009	A constructive proof of the Lovász local lemma	Robin A. Moser, ETH Zurich
	Public-Key Cryptosystems from the Worst-Case Shortest Vector Problem	Chris Peikert, SRI International
2008	Optimal algorithms and inapproximability results for every CSP?	Prasad Raghavendra, University of Washington
	Optimal hierarchical decompositions for congestion minimization in networks	Harald Räcke, University of Warwick
2007	Faster integer multiplication	Martin Fürer, Pennsylvania State University
	Towards 3-query locally decodable codes of subexponential length	Sergey Yekhanin, Massachusetts Institute of Technology
2006	The PCP theorem by gap amplification	Irit Dinur, Hebrew University
2005	Undirected ST-connectivity in log-space	Omer Reingold, Weizmann Institute of Science
2004	Multi-linear formulas for permanent and determinant are of super-polynomial size	Ran Raz, Weizmann Institute of Science
	Expander flows, geometric embeddings and graph partitioning	Sanjeev Arora, Princeton University; et al.
2003	Derandomizing polynomial identity tests means proving circuit lower bounds	Valentine Kabanets & Russell Impagliazzo, University of California San Diego
	New lattice-based cryptographic constructions	Oded Regev, Tel-Aviv University
UIST (User Interface)
2010	VizWiz: nearly real-time answers to visual questions	Jeffrey P. Bigham, University of Rochester; et al.
2009	Mouse 2.0: Multi-touch meets the Mouse	Nicolas Villar, Microsoft Research; et al.
2008	Bringing Physics to the Surface	Andrew D. Wilson, Microsoft Research; et al.
2007	ThinSight: Versatile Multi-touch Sensing for Thin Form-factor Displays	Steve Hodges, Microsoft Research; et al.
2006	Reflective Physical Prototyping through Integrated Design, Test, and Analysis	Björn Hartmann, Stanford University; et al.
2005	Automation and Customization of Rendered Web Pages	Michael Bolin, Massachusetts Institute of Technology; et al.
2004	Multi-Finger Gestural Interaction with 3D Volumetric Displays	Tovi Grossman, University of Toronto; et al.
	CrossY: A Crossing-Based Drawing Application	Georg Apitz & François Guimbretière, University of Maryland
2003	Perceptually-Supported Image Editing of Text and Graphics	Eric Saund, Palo Alto Research Center; et al.
2002	Clothing Manipulation	Takeo Igarashi, University of Tokyo John F. Hughes, Brown University
2001	Phidgets: Easy Development of Physical Interfaces through Physical Widgets	Saul Greenberg & Chester Fitchett, University of Calgary
2000	Sensing Techniques for Mobile Interaction	Ken Hinckley, Microsoft Research; et al.
1996	Indigo: A Local Propagation Algorithm for Inequality Constraints	Alan Borning, University of Washington; et al.
VLDB (Databases)
2010	Towards Certain Fixes with Editing Rules and Master Data	Shuai Ma, University of Edinburgh; et al.
2009	A Unified Approach to Ranking in Probabilistic Databases	Jian Li, University of Maryland; et al.
2008	Finding Frequent Items in Data Streams	Graham Cormode & Marios Hadjieleftheriou, AT&T Laboratories
	Constrained Physical Design Tuning	Nicolas Bruno & Surajit Chaudhuri, Microsoft Research
2007	Scalable Semantic Web Data Management Using Vertical Partitioning	Daniel J. Abadi, Massachusetts Institute of Technology; et al.
2006	Trustworthy Keyword Search for Regulatory-Compliant Records Retention	Soumyadeb Mitra, University of Illinois at Urbana-Champaign; et al.
2005	Cache-conscious Frequent Pattern Mining on a Modern Processor	Amol Ghoting, The Ohio State University; et al.
2004	Model-Driven Data Acquisition in Sensor Networks	Amol Deshpande, University of California Berkeley; et al.
2001	Weaving Relations for Cache Performance	Anastassia Ailamaki, Carnegie Mellon University; et al.
1997	Integrating Reliable Memory in Databases	Wee Teck Ng & Peter M. Chen, University of Michigan
WWW (World Wide Web)
2011	Towards a theory model for product search	Beibei Li, New York University; et al.
2010	Factorizing personalized Markov chains for next-basket recommendation	Steffen Rendle, Osaka University; et al.
2009	Hybrid keyword search auctions	Ashish Goel, Stanford University Kamesh Munagala, Duke University
2008	IRLbot: Scaling to 6 billion pages and beyond	Hsin-Tsang Lee, Texas A&M University; et al.
2007	Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganograph...	Lars Backstrom, Cornell University; et al.
2006	Random Sampling from a Search Engine's Index	Ziv Bar-Yossef & Maxim Gurevich, Technion
2005	Three-level caching for efficient query processing in large Web search engines	Xiaohui Long & Torsten Suel, Polytechnic University
2004	Automatic detection of fragments in dynamically generated web pages	Lakshmish Ramaswamy, Georgia Institute of Technology; et al.
2003	Scaling personalized web search	Glen Jeh & Jennifer Widom, Stanford University
	SemTag and seeker: bootstrapping the semantic web via automated semantic annotation	Stephen Dill, IBM Research; et al.
2002	Abstracting application-level web security	David Scott & Richard Sharp, University of Cambridge
2001	Engineering Server Driven Consistency for Large Scale Dynamic Web Services	Jian Yin, University of Texas at Austin; et al.
2000	Graph Structure in the Web	Andrei Broder, AltaVista Company; et al.
1999	Focused Crawling: A New Approach to Topic-Specific Web Resource Discovery	Soumen Chakrabarti, Indian Institute of Technology; et al.
1998	The Interactive Multimedia Jukebox (IMJ): a new paradigm for the on-demand delivery of audio/video	Kevin C. Almeroth, University of California Santa Barbara Mostafa H. Ammar, Georgia Institute of Technology

This data was entered by hand (obtained by contacting past conference organizers, retrieving cached conference websites, and searching Resumes) so please email me if you notice any errors or omissions: bestpapers-AT-jeffhuang.com. I tried to collect best paper awards from the top-tier conferences in each area, but some conferences do not have such an award (e.g. SIGGRAPH, CAV). "Distinguished paper award" and "outstanding paper award" were also collected but "best student paper" (e.g. NIPS) or "best 10-year old paper" (e.g. POPL, PLDI) were not collected.

Institutions and Best Papers
Stanford University	16.1
University of Washington	15.6
Carnegie Mellon University	14.7
Microsoft Research	12.9
Cornell University	9.4
Massachusetts Institute of Technology	7.8
University of California Berkeley	6.6
IBM Research	6.2
University of Illinois at Urbana-Champaign	6.0
University of Toronto	6.0
University of Texas at Austin	5.7
Georgia Institute of Technology	5.0
Yahoo! Research	4.4
University of British Columbia	4.4
University of Maryland	4.0
Weizmann Institute of Science	4.0
AT&T Laboratories	4.0
Brown University	3.3
University of Massachusetts Amherst	3.1
University of Michigan	3.0
University of Alberta	3.0
Technion	3.0
Google	2.9
University of California San Diego	2.8
Princeton University	2.5
Duke University	2.3
Hewlett-Packard Labs	2.2
Rice University	2.0
University of Cambridge	2.0
Universidade Técnica de Lisboa	2.0
Indiana University at Bloomington	2.0
University of Oxford	2.0
NASA Ames Research Center	2.0
University of California Irvine	2.0

Credit is given in decreasing author order as customary in most fields. First authors are given 1 point, second authors are given 0.5 points, third authors are given 0.33 points, etc. These points are then divided by the sum of points for that paper, i.e. normalizing it. This ranking may be inaccurate or incomplete, may not reflect the current state of best paper awards, and is not an official list. If you are not satisfied with the ranking listed here, please disregard it.