By Conference: AAAI ACL CHI CIKM CVPR FOCS FSE ICCV ICML ICSE IJCAI KDD OSDI PODS SIGIR SIGMOD SOSP STOC UIST VLDB WWW
Institutions with the most Best Papers
AAAI (Artificial Intelligence) | ||
2011 | Complexity of and Algorithms for Borda Manipulation | Jessica Davies, University of Toronto George Katsirelos, Université Paris-Sud Nina Narodytska, University of New South Wales Toby Walsh, NICTA |
2010 | A Novel Transition Based Encoding Scheme for Planning as Satisfiability | Ruoyun Huang, Washington University in St. Louis Yixin Chen, Washington University in St. Louis Weixiong Zhang, Washington University in St. Louis |
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 Nathanael Chambers, Stanford University George Ferguson, University of Rochester Lucian Galescu, Institute for Human and Machine Cognition Hyuckchul Jung, Institute for Human and Machine Cognition Mary Swift, University of Rochester William Taysom, Institute for Human and Machine Cognition |
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 Ashish Sabharwal, Cornell University Bart Selman, Cornell University |
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 Dieter Fox, University of Washington Henry Kautz, University of Washington |
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 Noam M. Shazeer, Duke University Michael L. Littman, Duke University Sushant Agarwal, Duke University Catherine M. Cheves, Duke University Joseph Fitzgerald, Duke University Jason Grosland, Duke University Fan Jiang, Duke University Shannon Pollard, Duke University Karl Weinmeister, Duke University |
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 Armin B. Cremers, University of Bonn Dieter Fox, University of Bonn Dirk Hähnel, University of Bonn Gerhard Lakemeyer, Aachen University of Technology Dirk Schulz, University of Bonn Walter Steiner, University of Bonn Sebastian Thrun, Carnegie Mellon University | |
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 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. Harr Chen, Massachusetts Institute of Technology Luke S. Zettlemoyer, Massachusetts Institute of Technology Regina Barzilay, Massachusetts Institute of Technology |
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. Noah A. Smith, Carnegie Mellon University Eric P. Xing, Carnegie Mellon University | |
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. Jinxi Xu, BBN Technologies Ralph Weischedel, BBN Technologies | |
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. Daniel Jurafsky, Stanford University Andrew Y. Ng, Stanford University |
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. Rob Koeling, University of Sussex Julie Weeds, University of Sussex John Carroll, University of Sussex |
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. Gabe Reinstein, Massachusetts Institute of Technology Tom Stocky, Massachusetts Institute of Technology Justine Cassell, Massachusetts Institute of Technology | |
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. Michael Jahr, Stanford University Kevin Knight, University of Southern California Daniel Marcu, University of Southern California Kenji Yamada, University of Southern California | |
CHI (Human-Computer Interaction) | ||
2011 | Usable Gestures for Blind People: Understanding Preference and Performance | Shaun K. Kane, University of Washington; et al. Jacob O. Wobbrock, University of Washington Richard E. Ladner, University of Washington |
Effects of Community Size and Contact Rate in Synchronous Social Q&A | Ryen W. White, Microsoft Research Matthew Richardson, Microsoft Research Yandong Liu, Carnegie Mellon University | |
Teenagers and Their Virtual Possessions: Design Opportunities and Issues | William Odom, Carnegie Mellon University; et al. John Zimmerman, Carnegie Mellon University Jodi Forlizzi, Carnegie Mellon University | |
Enhancing Physicality in Touch Interaction with Programmable Friction | Vincent Levesque, University of British Columbia; et al. Louise Oram, University of British Columbia Karon MacLean, University of British Columbia Andy Cockburn, University of Canterbury Nicholas D. Marchuk, Northwestern University Dan Johnson, Northwestern University J. Edward Colgate, Northwestern University | |
Mid-air Pan-and-Zoom on Wall-sized Displays | Mathieu Nancel, Université Paris-Sud; et al. Julie Wagner, INRIA Emmanuel Pietriga, INRIA Olivier Chapuis, Université Paris-Sud Wendy Mackay, INRIA | |
Bricolage: Example-Based Retargeting for Web Design | Ranjitha Kumar, Stanford University; et al. Jerry Talton, Stanford University Salman Ahmad, Stanford University Scott Klemmer, Stanford University | |
Synchronous Interaction Among Hundreds: An Evaluation of a Conference in an Avatar-based Virtual Env... | Thomas Erickson, IBM Research; et al. N. Sadat Shami, IBM Research Wendy A. Kellogg, IBM Research David W. Levine, IBM Research | |
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. David Haslem, Orange Sparkle Ball Andrew Baird, Amazon Ugochi Ofoha, Georgia Institute of Technology Bethany Sumner, Georgia Institute of Technology Rebecca Grinter, Georgia Institute of Technology | |
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. Duncan Rowland, University of Lincoln David S. Kirk, University of Nottingham Steve Benford, University of Nottingham Joel E. Fischer, University of Nottingham Derek McAuley, University of Nottingham Michael A. Peshkin, Northwestern University | |
Your Noise is My Command: Sensing Gestures Using the Body as an Antenna | Gabe Cohn, University of Washington; et al. Daniel Morris, Microsoft Research Shwetak N. Patel, University of Washington Desney Tan, Microsoft Research | |
Review Spotlight: A User Interface for Summarizing User-generated Reviews Using Adjective-Noun Word ... | Koji Yatani, University of Toronto; et al. Michael Novati, University of Toronto Andrew Trusty, University of Toronto Khai N. Truong, University of Toronto | |
2010 | Lumino: Tangible Blocks for Tabletop Computers Based on Glass Fiber Bundles | Patrick Baudisch, Hasso Plattner Institute; et al. Torsten Becker, Hasso Plattner Institute Frederik Rudeck, Hasso Plattner Institute |
Mapping the Landscape of Sustainable HCI | Carl DiSalvo, Georgia Institute of Technology; et al. Phoebe Sengers, Cornell University Hrönn Brynjarsdóttir, Cornell University | |
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. Deepti Chittamuru, University of California Berkeley Anupam Jain, IBM Research Paresh Dave, Development Support Center Tapan S. Parikh, University of California Berkeley | |
How does search behavior change as search becomes more difficult? | Anne Aula, Google; et al. Rehan M. Khan, Google Zhiwei Guan, Google | |
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. Desney Tan, Microsoft Research Dan Morris, Microsoft Research | |
Mobile-izing Health Workers in Rural India | Divya Ramachandran, University of California Berkeley; et al. John Canny, University of California Berkeley Prabhu Dutta Das, Dhirubhai Ambani Institute of Information and Communications Technology Edward Cutrell, Microsoft Research | |
The Design of Eco-Feedback Technology | Jon Froehlich, University of Washington; et al. Leah Findlater, University of Washington James Landay, University of Washington | |
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. Regan L. Mandryk, University of Saskatchewan Carl Gutwin, University of Saskatchewan Aaron Genest, University of Saskatchewan David McDine, University of Saskatchewan Christopher Brooks, University of Saskatchewan | |
2009 | From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences | Steve Benford, University of Nottingham; et al. Gabriella Giannachi, University of Exeter Boriana Koleva, University of Nottingham Tom Rodden, University of Nottingham |
Sizing the Horizon: The Effects of Chart Size and Layering on the Graphical Perception of Time Serie... | Jeffrey Heer, Stanford University; et al. Nicholas Kong, University of California Berkeley Maneesh Agrawala, University of California Berkeley | |
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. Catherine Letondal, Université Paris-Sud Wendy E. Mackay, Université Paris-Sud | |
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. Karyn Moffatt, University of British Columbia Joanna McGrenere, University of British Columbia Jessica Dawson, University of British Columbia | |
Undo and Erase Events as Indicators of Usability Problems | David Akers, Stanford University; et al. Matthew Simpson, Google Robin Jeffries, Google Terry Winograd, Stanford University | |
2008 | In-Car GPS Navigation: Engagement with and Disengagement from the Environment | Gilly Leshed, Cornell University; et al. Theresa Velden, Cornell University Oya Rieger, Cornell University Blazej Kot, Cornell University Phoebe Sengers, Cornell University |
Improving the Performance of Motor-Impaired Users with Automatically-Generated, Ability-Based Interf... | Krzysztof Z. Gajos, University of Washington; et al. Jacob O. Wobbrock, University of Washington Daniel S. Weld, University of Washington | |
Large Scale Analysis of Web Revisitation Patterns | Eytan Adar, University of Washington; et al. Jaime Teevan, Microsoft Research Susan T. Dumais, Microsoft Research | |
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. Karrie Karahalios, University of Illinois at Urbana-Champaign Christian Sandvig, University of Illinois at Urbana-Champaign | |
Multimodal collaborative handwriting training for visually-impaired people | Beryl Plimmer, University of Auckland; et al. Andrew Crossan, University of Glasgow Stephen A. Brewster, University of Glasgow Rachel Blagojevic, University of Auckland | |
An Error Model for Pointing Based on Fitts' Law | Jacob O. Wobbrock, University of Washington; et al. Edward Cutrell, Microsoft Research Susumu Harada, University of Washington I. Scott MacKenzie, York University | |
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, 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. Leith Abdulla, Stanford University Manas Mittal, Massachusetts Institute of Technology Scott R. Klemmer, Stanford University | |
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. April Slayden Mitchell, Hewlett-Packard Labs Alex Vorbau, Hewlett-Packard Labs | |
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. Jérôme Pasquero, McGill University Shannon Little, University of British Columbia Karon MacLean, University of British Columbia Vincent Lévesque, McGill University Vincent Hayward, McGill University | |
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. Andrew J. Ko, Carnegie Mellon University Htet Htet Aung, Carnegie Mellon University Elspeth Golden, Carnegie Mellon University Karen P. Tang, Carnegie Mellon University Scott E. Hudson, Carnegie Mellon University | |
Designing the spectator experience | Stuart Reeves, University of Nottingham; et al. Steve Benford, University of Nottingham Claire O'Malley, University of Nottingham Mike Fraser, University of Bristol | |
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) | ||
2011 | Intent-aware query similarity | Jiafeng Guo, Chinese Academy of Sciences; et al. Xueqi Cheng, Chinese Academy of Sciences Gu Su, Microsoft Research Xiaofei Zhu, Chinese Academy of Sciences |
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. Vagelis Hristidis, Florida International University Michalis Petropoulos, State University of New York at Buffalo | |
2009 | On the Feasibility of Multi-Site Web Search Engines | Ricardo Baeza-Yates, Yahoo! Research; et al. Aristides Gionis, Yahoo! Research Flavio Junqueira, Yahoo! Research Vassilis Plachouras, Yahoo! Research Luca Telloli, Yahoo! Research |
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. Matthias Bender, Max Planck Institut Nikos Ntarmos, RACTI and University of Patras Peter Triantafillou, RACTI and University of Patras Gerhard Weikum, Max Planck Institut Christian Zimmer, Max Planck Institut |
2005 | Towards Automatic Association of Relevant Unstructured Content with Structured Query Results | Prasan Roy, IBM Research; et al. Mukesh Mohania, IBM Research Bhuvan Bamba, Georgia Institute of Technology Shree Raman, University of Massachusetts Amherst |
2004 | Discovering Frequently Changing Structures from Historical Structural Deltas of Unordered XML | Qiankun Zhao, Nanyang Technological University; et al. Sourav S Bhowmick, Nanyang Technological University Mukesh Mohania, IBM Research Yahiko Kambayashi, Kyoto University |
CVPR (Computer Vision) | ||
2011 | Real-time Human Pose Recognition in Parts from Single Depth Images | Jamie Shotton, Microsoft Research; et al. Andrew Fitzgibbon, Microsoft Research Mat Cook, Microsoft Research Toby Sharp, Microsoft Research Mark Finocchio, Microsoft Research Richard Moore, Microsoft Research Alex Kipman, Microsoft Research Andrew Blake, Microsoft Research |
2010 | Efficient Computation of Robust Low-Rank Matrix Approximations in the Presence of Missing Data using... | Anders Eriksson & Anton va den Hendel, University of Adelaide |
2009 | Single Image Haze Removal Using Dark Channel Prior | Kaiming He, The Chinese University of Hong Kong; et al. Jian Sun, Microsoft Research Xiaoou Tang, The Chinese University of Hong Kong |
2008 | Global Stereo Reconstruction under Second Order Smoothness Priors | Oliver Woodford, University of Oxford; et al. Ian Reid, Oxford Brookes University Philip Torr, University of Oxford Andrew Fitzgibbon, Microsoft Research |
Beyond Sliding Windows: Object Localization by Efficient Subwindow Search | Chistoph H. Lampert, Max Planck Institut; et al. Matthew B. Blaschko, Max Planck Institut Thomas Hodmann, Google | |
2007 | Dynamic 3D Scene Analysis from a Moving Vehicle | Bastian Leibe, ETH Zurich; et al. Nico Cornelis, Katholieke Universiteit Leuven Kurt COrnelis, Katholieke Universiteit Leuven Luc Van Gool, ETH Zurich |
2006 | Putting Objects in Perspective | Derek Hoiem, Carnegie Mellon University; et al. Alexei Efros, Carnegie Mellon University Martial Hebert, Carnegie Mellon University |
2005 | Real-Time Non-Rigid Surface Detection | Julien Pilet, École Polytechnique Fédérale de Lausanne; et al. Vincent Lepetit, École Polytechnique Fédérale de Lausanne Pascal Fua, École Polytechnique Fédérale de Lausanne |
2004 | Programmable Imaging using a Digital Micromirror Array | Shree K. Nayar, Columbia University; et al. Vlad Branzoi, Columbia University Terry E. Boult, University of Colorado |
2003 | Object Class Recognition by Unsupervised Scale-Invariant Learning | Rob Fergus, University of Oxford; et al. Pietro Perona, California Institute of Technology Andrew Zisserman, University of Oxford |
2001 | Morphable 3D models from video | Matthew Brand, Mitsubishi Electric Research Laboratories |
2000 | Real-Time Tracking of Non-Rigid Objects using Mean Shift | Dorin Comaniciu, Siemens Corporate Research; et al. Visvanathan Ramesh, Siemens Corporate Research Peter Meer, Rutgers University |
FOCS (Theory) | ||
2011 | 3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General | Timon Hertli, ETH Zurich |
A Polylogarithmic-Competitive Algorithm for the k-Server Problem | Nikhil Bansal, IBM Research; et al. Niv Buchbinder, Open University Aleksander M&acedil;dry, Massachusetts Institute of Technology Joseph Naor, Technion | |
2010 | Approximation Algorithms for the Edge-Disjoint Paths Problem via Raecke Decompositions | Matthew Andrews, Bell Labs |
Subexponential Algorithms for Unique Games and Related Problems | Sanjeev Arora, Princeton University; et al. Boaz Barak, Princeton University David Steurer, Princeton University | |
Computational Transition at the Uniqueness Threshold | Allan Sly, Microsoft Research | |
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. Craig Gentry, Stanford University Michael Hamburg, Stanford University |
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. Yuval Ishai, Technion Eyal Kushilevitz, Technion |
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 | |
FSE (Software Engineering) | ||
2011 | Proactive Detection of Collaboration Conflicts | Yuriy Brun, University of Washington; et al. Reid Holmes, University of Waterloo Michael D. Ernst, University of Washington David Notkin, University of Washington |
How Do Fixes Become Bugs? | Zuoning Yin, University of Illinois at Urbana-Champaign; et al. Ding Yuan, University of Illinois at Urbana-Champaign Yuanyuan Zhou, University of California San Diego Shankar Pasupathy, NetApp Lakshmi Bairavasundaram, NetApp | |
Proving programs robust | Swarat Chaudhuri, Rice University; et al. Sumit Gulwani, Microsoft Research Roberto Lublinerman, Pennsylvania State University Sara Navidpour, Pennsylvania State University | |
2010 | Creating and evolving developer documentation: understanding the decisions of open source contributo... | Barthélémy Dagenais & Martin P. Robillard, McGill University |
Developer Fluency: Achieving True Mastery in Software Projects | Minghui Zhou, Peking University Audris Mockus, Avaya Labs | |
Staged Concurrent Program Analysis | Nishant Sinha & Chao Wang, NEC Labs America | |
2009 | Asserting and checking determinism for multithreaded programs | Jacob Burnim & Koushik Sen, University of California Berkeley |
Darwin: an approach for debugging evolving programs | Dawei Qi, National University of Singapore; et al. Abhik Roychoudhury, National University of Singapore Zhenkai Liang, National University of Singapore Kapil Vaswani, Microsoft Research | |
Graph-based Mining of Multiple Object Usage Patterns | Tung Thanh Nguyen, Iowa State University; et al. Hoan Anh Nguyen, Iowa State University Nam H. Pham, Iowa State University Jafar M. Al-Kofahi, Iowa State University Tien N. Nguyen, Iowa State University | |
2008 | What makes a good bug report? | Nicolas Bettenburg, Saarland University; et al. Sascha Just, Saarland University Adrian Schröter, University of Victoria Cathrin Weiss, University of Zurich Rahul Premraj, Saarland University Thomas Zimmermann, University of Calgary |
Efficient online monitoring of web-service SLAs | Franco Raimondi, University College London; et al. James Skene, University College London Wolfgang Emmerich, University College London | |
2007 | Automatic consistency assessment for query results in dynamic environments | Jamie Payton, University of North Carolina at Charlotte; et al. Christine Julien, University of Texas at Austin Gruia-Catalin Roman, Washington University in St. Louis |
Globally distributed software development project performance: an empirical analysis | Narayan Ramasubbu & Rajesh Krishna Balan, Singapore Management University | |
Mining specifications of malicious behavior | Mihai Christodorescu, University of Wisconsin; et al. Somesh Jha, University of Wisconsin Christopher Kruegel, Vienna University of Technology | |
Object and reference immutability using Java generics | Yoav Zibin, Massachusetts Institute of Technology; et al. Alex Potanin, Victoria University of Wellington Mahmood Ali, Massachusetts Institute of Technology Shay Artzi, Massachusetts Institute of Technology Adam Kieżun, Massachusetts Institute of Technology Michael D. Ernst, Massachusetts Institute of Technology | |
2006 | Controlling factors in evaluating path-sensitive error detection techniques | Matthew B. Dwyer, University of Nebraska-Lincoln; et al. Suzette Person, University of Nebraska-Lincoln Sebastian Elbaum, University of Nebraska-Lincoln |
SYNERGY: a new algorithm for property checking | Bhargav S. Gulavani, Indian Institute of Technology; et al. Thomas A. Henzinger, École Polytechnique Fédérale de Lausanne Yamini Kannan, Microsoft Research Aditya V. Nori, Microsoft Research Sriram K. Rajamani, Microsoft Research | |
2005 | Automatic Generation of Suggestions for Program Investigation | Martin P. Robillard, McGill University |
CUTE: a concolic unit testing engine for C | Koushik Sen, University of Illinois at Urbana-Champaign; et al. Darko Marinov, University of Illinois at Urbana-Champaign Gul Agha, University of Illinois at Urbana-Champaign | |
Context- and path-sensitive memory leak detection | Yichen Xie & Alex Aiken, Stanford University | |
2004 | Reasoning about partial goal satisfaction for requirements and design engineering | Emmanuel Letier & Axel van Lamsweerde, Université catholique de Louvain |
A classification system and analysis for aspect-oriented programs | Martin Rinard, Massachusetts Institute of Technology; et al. Alexandru Salcianu, Massachusetts Institute of Technology Suhabe Bugrara, Massachusetts Institute of Technology | |
2003 | Eliminating redundancies with a "composition with adaptation" meta-programming technique | Stan Jarzabek, National University of Singapore Li Shubiao, Xi'an Jiaotong University |
A Family of Test Adequacy Criteria for Database-Driven Applications | Gregory M. Kapfhammer & Mary Lou Soffa, University of Pittsburgh | |
Predicting problems caused by component upgrades | Stephen McCamant & Michael D. Ernst, Massachusetts Institute of Technology | |
2002 | Isolating Cause-Effect Chains from Computer Programs | Andreas Zeller, Saarland University |
ICCV (Computer Vision) | ||
2011 | Relative Attributes | Devi Parikh, Toyota Technological Institute at Chicago Kristen Grauman, University of Texas at Austin |
2009 | Discriminative models for multi-class object layout | Chaitanya Desai, University of California Irvine; et al. Deva Ramanan, University of California Irvine Charless Fowlkes, University of California Irvine |
2007 | Population Shape Regression From Random Design Data | Bradley Davis, University of North Carolina at Chapel Hill; et al. P. Thomas Fletcher, University of Utah Elizabeth Bullitt, University of North Carolina at Chapel Hill Sarang Joshi, University of Utah |
2005 | Globally Optimal Estimates for Geometric Reconstruction Problems | Fredrik Kahl, Lund University Didier Henrion, LAAS-CNRS |
2003 | Detecting Pedestrians using Patterns of Motion and Appearance | Paul Viola, Microsoft Research; et al. Michael J. Jones, Mitsubishi Electric Research Laboratories Daniel Snow, Mitsubishi Electric Research Laboratories |
Image Parsing: Unifying Segmentation, Detection and Recognition | Zhuowen Tu, University of California Los Angeles; et al. Xiangrong Chen, University of California Los Angeles Alan L. Yuille, University of California Los Angeles Song-Chun Zhu, University of California Los Angeles | |
Image-based Rendering using Image-based Priors | Andrew Fitzgibbon, University of Oxford; et al. Yonatan Wexler, Weizmann Institute of Science Andrew Zisserman, University of Oxford | |
2001 | Probabilistic Tracking with Exemplars in a Metric Space | Kentaro Toyama & Andrew Blake, Microsoft Research |
The Space of All Stereo Images | Steven Seitz, University of Washington | |
1999 | Euclidean Reconstruction and Reprojection up to Subgroups | Yi Ma, University of California Berkeley; et al. Stefano Soatto, Washington University in St. Louis Jana Kosecka, University of California Berkeley Shankar Sastry, University of California Berkeley |
A Theory of Shape by Space Carving | Kiriakos Kutulakos, University of Rochester Steven Seitz, Carnegie Mellon University | |
1998 | Self-Calibration and Metric Reconstruction in spite of Varying and Unknown Internal Camera Parameter... | Marc Pollefeys, Katholieke Universiteit Leuven; et al. Reinhard Koch, Katholieke Universiteit Leuven Luc Van Gool, Katholieke Universiteit Leuven |
The Problem of Degeneracy in Structure and Motion Recovery from Uncalibrated Image Sequences | Phil Torr, Microsoft Research; et al. Andrew Fitzgibbon, University of Oxford Andrew Zisserman, University of Oxford | |
ICML (Machine Learning) | ||
2011 | Computational Rationalization: The Inverse Equilibrium Problem | Kevin Waugh, Carnegie Mellon University; et al. Brian Ziebart, Carnegie Mellon University Drew Bagnell, Carnegie Mellon University |
2010 | Hilbert Space Embeddings of Hidden Markov Models | Le Song, Carnegie Mellon University; et al. Byron Boots, Carnegie Mellon University Sajid M. Siddiqi, Google Geoffrey Gordon, Carnegie Mellon University Alex Smola, Yahoo! Research |
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. Brian Kulis, University of Texas at Austin Prateek Jain, University of Texas at Austin Suvrit Sra, University of Texas at Austin Inderjit S. Dhillon, University of Texas at Austin |
2006 | Trading convexity for scalability | Ronan Collobert, NEC Labs America; et al. Fabian Sinz, NEC Labs America Jason Weston, NEC Labs America Léon Bottou, NEC Labs America |
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 |
ICSE (Software Engineering) | ||
2011 | Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking | Lucas Cordeiro & Bernd Fischer, University of Southampton |
Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and Pr... | Narayan Ramasubbu, Singapore Management University; et al. Marcelo Cataldo, Carnegie Mellon University Rajesh Krishna Balan, Singapore Management University James D. Herbsleb, Carnegie Mellon University | |
Programs, tests, and oracles: the foundations of testing revisited | Matt Staats, University of Minnesota; et al. Michael W. Whalen, University of Minnesota Mats P.E. Heimdahl, University of Minnesota | |
On-demand Feature Recommendations Derived from Mining Public Product Descriptions | Horatiu Dumitru, DePaul University; et al. Marek Gibiec, DePaul University Negar Hariri, DePaul University Jane Cleland-Huang, DePaul University Bamshad Mobasher, DePaul University Carlos Castro-Herrera, DePaul University Mehdi Mirakhorli, DePaul University | |
Run-Time Efficient Probabilistic Model Checking | Antonio Filieri, Politecnico di Milano; et al. Carlo Ghezzi, Politecnico di Milano Giordano Tamburrelli, Politecnico di Milano | |
2010 | A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements | Jane Cleland-Huang, DePaul University; et al. Adam Czauderna, DePaul University John Emenecker, DePaul University Marek Gibiec, DePaul University |
Collaborative Reliability Prediction of Service-Oriented Systems | Zibin Zheng & Michael R. Lyu, The Chinese University of Hong Kong | |
A Cut-off Approach for Bounded Verification of Parameterized Systems | Qiusong Yang & Mingshu Li, Chinese Academy of Sciences | |
Test Generation through Programming in UDITA | Milos Gligoric, University of Illinois at Urbana-Champaign; et al. Tihomir Gvero, École Polytechnique Fédérale de Lausanne Vilas Jagannath, University of Illinois at Urbana-Champaign Sarfraz Khurshid, University of Texas at Austin Viktor Kuncak, École Polytechnique Fédérale de Lausanne Darko Marinov, University of Illinois at Urbana-Champaign | |
A Degree-of-Knowledge Model to Capture Source Code Familiarity | Thomas Fritz, University of British Columbia; et al. Jingwen Ou, University of British Columbia Gail C. Murphy, University of British Columbia Emerson Murphy-Hill, University of British Columbia | |
2009 | How We Refactor, and How We Know It | Emerson Murphy-Hill, Portland State University; et al. Chris Parnin, Georgia Institute of Technology Andrew P. Black, Portland State University |
Effective Static Deadlock Detection | Mayur Naik, Intel Research; et al. Chang-Seo Park, University of California Berkeley Koushik Sen, University of California Berkeley David Gay, Intel Research | |
Invariant-Based Automatic Testing of AJAX User Interfaces | Ali Mesbah & Arie van Deursen, Delft University of Technology | |
Does Distributed Development Affect Software Quality? An Empirical Case Study of Windows Vista | Christian Bird, University of California Davis; et al. Nachiappan Nagappan, Microsoft Research Premkumar Devanbu, University of California Davis Harald Gall, University of Zurich Brendan Murphy, Microsoft Research | |
Automatically finding patches using genetic programming | Westley Weimer, University of Virginia; et al. ThanhVu Nguyen, University of New Mexico Claire Le Goues, University of Virginia Stephanie Forrest, University of New Mexico | |
2008 | Precise memory leak detection for java software using container profiling | Guoqing Xu & Atanas Rountev, Ohio State University |
Debugging reinvented: asking and answering why and why not questions about program behavior | Andrew J. Ko & Brad A. Myers, Carnegie Mellon University | |
Recommending adaptive changes for framework evolution | Barthélémy Dagenais & Martin P. Robillard, McGill University | |
Predicting Accurate and Actionable Static Analysis Warnings: An Experimental Approach | Joseph Ruthruff, University of Nebraska-Lincoln; et al. John Penix, Google J. David Morgenthaler, Google Sebastian Elbaum, University of Nebraska-Lincoln Gregg Rothermel, University of Nebraska-Lincoln | |
The effect of program and model structure on mc/dc test adequacy coverage | Ajitha Rajan, University of Minnesota; et al. Michael W. Whalen, Rockwell Collins Mats P.E. Heimdahl, University of Minnesota | |
2007 | Refactoring for Parameterizing Java Classes | Adam Kiezun, Massachusetts Institute of Technology; et al. Michael D. Ernst, Massachusetts Institute of Technology Frank Tip, IBM Research Robert M. Fuhrer, IBM Research |
Tracking Code Clones in Evolving Software | Ekwa Duala-Ekoko & Martin P. Robillard, McGill University | |
Matching and Merging of Statecharts Specifications | Shiva Nejati, University of Toronto; et al. Mehrdad Sabetzadeh, University of Toronto Marsha Chechik, University of Toronto Steve Easterbrook, University of Toronto Pamela Zave, AT&T Laboratories | |
Predicting Faults from Cached History | Sunghun Kim, Massachusetts Institute of Technology; et al. Thomas Zimmermann, Saarland University E. James Whitehead Jr., University of California Santa Cruz Andreas Zeller, Saarland University | |
2006 | Model-Based Development of Dynamically Adaptive Software | Ji Zhang & Betty H.C. Cheng, Michigan State University |
Who Should Fix This Bug? | John Anvik, University of British Columbia; et al. Lyndon Hiew, University of British Columbia Gail C. Murphy, University of British Columbia | |
2005 | Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Perf... | Andrew Ko, Carnegie Mellon University; et al. Htet Htet Aung, Carnegie Mellon University Brad Myers, Carnegie Mellon University |
Is Mutation an Appropriate Tool for Testing Experiments? | James Andrews, University of Western Ontario; et al. Lionel Briand, Carleton University Yvan Labiche, Carleton University | |
Using Structural Context to Recommend Source Code Examples | Reid Holmes & Gail Murphy, University of British Columbia | |
Data Structure Repair Using Goal-Directed Reasoning | Brian Demsky & Martin Rinard, Massachusetts Institute of Technology | |
2004 | SNIAFL: Towards a Static Non-Interactive Approach to Feature Location | Wei Zhao, Peking University; et al. Lu Zhang, Peking University Yin Liu, Peking University Jiasu Sun, Peking University Fuqing Yang, Peking University |
Extending the REpresentational State Transfer (REST) Architectural Style for Decentralized Systems | Rohit Khare & Richard N. Taylor, University of California Irvine | |
An Empirical Study of Software Reuse vs. Defect-Density and Stability | Parastoo Mohagheghi, Ericsson Norway-Grimstad; et al. Reidar Conradi, Norwegian University of Science and Technology Ole M. Killi, Norwegian University of Science and Technology Henrik Schwarz, Norwegian University of Science and Technology | |
A Tool for Writing and Debugging Algebraic Specifications | Johannes Henkel & Amer Diwan, University of Colorado | |
Static Checking of Dynamically Generated Queries in Database Applications | Carl Gould, University of California Davis; et al. Zhendong Su, University of California Davis Premkumar Devanbu, University of California Davis | |
2003 | Precise Dynamic Slicing Algorithms | Xiangyu Zhang, University of Arizona; et al. Rajiv Gupta, University of Arizona Youtao Zhang, University of Arizona |
Modular Verification of Software Components in C | Sagar Chaki, Carnegie Mellon University; et al. Edmund Clarke, Carnegie Mellon University Alex Groce, Carnegie Mellon University Somesh Jha, University of Wisconsin Helmut Veith, Technische Universität Wien | |
IJCAI (Artificial Intelligence) | ||
2011 | Unweighted Coalitional Manipulation Under the Borda Rule is NP-Hard | Nadja Betzler, Technische Universität Berlin; et al. Rolf Niedermeier, Technische Universität Berlin Gerhard J. Woeginger, Technische Universität Eindhoven |
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. Yavor Nenov, University of Manchester Ian Pratt-Hartmann, University of Manchester Michael Zakharyaschev, Birkbeck College London | |
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. Glenn Fung, Siemens Medical Solutions Sriram Krishnan, Siemens Medical Solutions Romer Rosales, Siemens Medical Solutions Harald Steck, Siemens Medical Solutions R. Bharat Rao, Siemens Medical Solutions Don Polderman, Erasmus University Medical Center Dhanalakshmi Chandrasekaran, No Affiliation |
Building Structure into Local Search for SAT | Duc Nghia Pham, Griffith University; et al. John Thornton, Griffith University Abdul Sattar, Griffith University | |
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. Russell Greiner, University of Alberta Dale Schuurmans, University of Alberta |
Solving Checkers | Jonathan Schaeffer, University of Alberta; et al. Yngvi Bjornsson, University of Alberta Neil Burch, University of Alberta Akihiro Kishimoto, University of Alberta Martin Muller, University of Alberta Robert Lake, University of Alberta Paul Lu, University of Alberta Steve Sutphen, University of Alberta | |
A Probabilistic Model of Redundancy in Information Extraction | Doug Downey, University of Washington; et al. Oren Etzioni, University of Washington Stephen Soderland, University of Washington | |
2003 | Approximating Game-Theoretic Optimal Strategies for Full-scale Poker | Darse Billings, University of Alberta; et al. Neil Burch, University of Alberta Aaron Davidson, University of Alberta Robert Holte, University of Alberta Jonathan Schaeffer, University of Alberta Terence Schauenberg, University of Alberta Duane Szafron, University of Alberta |
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 | |
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. Yiming Yang, Carnegie Mellon University Robert E. Frederking, Carnegie Mellon University Ralf D. Brown, Carnegie Mellon University Yibing Geng, Carnegie Mellon University Danny Lee, Carnegie Mellon University | |
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) | ||
2011 | Leakage in Data Mining: Formulation, Detection, and Avoidance | Shachar Kaufman, Tel-Aviv University; et al. Saharon Rosset, Tel-Aviv University Claudia Perlich, Media6Degrees |
2010 | Large linear classification when data cannot fit in memory | Hsiang-Fu Yu, National Taiwan University; et al. Cho-Jui Hsieh, National Taiwan University Kai-Wei Chang, National Taiwan University Chih-Jen Lin, National Taiwan University |
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 at Chapel Hill; et al. Fei Zou, University of North Carolina at Chapel Hill Wei Wang, University of North Carolina at Chapel Hill |
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. Jon Kleinberg, Cornell University Christos Faloutsos, Carnegie Mellon University |
2004 | A probabilistic framework for semi-supervised clustering | Sugato Basu, University of Texas at Austin; et al. Mikhail Bilenko, University of Texas at Austin Raymond J. Mooney, University of Texas at Austin |
2003 | Maximizing the spread of influence through a social network | David Kempe, Cornell University; et al. Jon Kleinberg, Cornell University Éva Tardos, Cornell University |
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. Raymond T. Ng, University of British Columbia Ruben H. Zamar, University of British Columbia |
2000 | Hancock: a language for extracting signatures from data streams | Corinna Cortes, AT&T Laboratories; et al. Kathleen Fisher, AT&T Laboratories Daryl Pregibon, AT&T Laboratories Anne Rogers, AT&T Laboratories |
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. Shu-Chun Weng, Yale University Sen Hu, Yale University Bryan Ford, Yale University |
The Turtles Project: Design and Implementation of Nested Virtualization | Muli Ben-Yehuda, IBM Research; et al. Michael D. Day, IBM Linux Technology Center Zvi Dubitzky, IBM Research Michael Factor, IBM Research Nadav Har'El, IBM Research Abel Gordon, IBM Research Anthony Liguori, IBM Linux Technology Center Orit Wasserman, IBM Research Ben-Ami Yassour, IBM Research | |
2008 | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | Cristian Cadar, Stanford University; et al. Daniel Dunbar, Stanford University Dawson Engler, Stanford University |
Difference Engine: Harnessing Memory Redundancy in Virtual Machines | Diwaker Gupta, University of California San Diego; et al. Sangmin Lee, University of Texas at Austin Michael Vrable, University of California San Diego Stefan Savage, University of California San Diego Alex C. Snoeren, University of California San Diego George Varghese, University of California San Diego Geoffrey M. Voelker, University of California San Diego Amin Vahdat, University of California San Diego | |
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Langu... | Yuan Yu, Microsoft Research; et al. Michael Isard, Microsoft Research Dennis Fetterly, Microsoft Research Mihai Budiu, Microsoft Research Úlfar Erlingsson, Microsoft Research Pradeep Kumar Gunda, Microsoft Research Jon Currey, Microsoft Research | |
2006 | Bigtable: A Distributed Storage System for Structured Data | Fay Chang, Google; et al. Jeffrey Dean, Google Sanjay Ghemawat, Google Wilson C. Hsieh, Google Deborah A. Wallach, Google Mike Burrows, Google Tushar Chandra, Google Andrew Fikes, Google Robert E. Gruber, Google |
Rethink the Sync | Edmund B. Nightingale, University of Michigan; et al. Kaushik Veeraraghavan, University of Michigan Peter M. Chen, University of Michigan Jason Flinn, University of Michigan | |
2004 | Using Model Checking to Find Serious File System Errors | Junfeng Yang, Stanford University; et al. Paul Twohey, Stanford University Dawson Engler, Stanford University Madanlal Musuvathi, Microsoft Research |
Recovering Device Drivers | Michael M. Swift, University of Washington; et al. Muthukaruppan Annamalai, University of Washington Brian N. Bershad, University of Washington Henry M. Levy, University of Washington | |
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. Benjamin Chelf, Stanford University Andy Chou, Stanford University Seth Hallem, Stanford University |
1999 | IO-Lite: A Unified I/O Buffering and Caching System | Vivek S. Pai, Rice University; et al. Peter Druschel, Rice University Willy Zwaenepoel, Rice University |
1996 | Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications | Todd C. Mowry, University of Toronto; et al. Angela K. Demke, University of Toronto Orran Krieger, University of Toronto |
PODS (Databases) | ||
2011 | Data Exchange Beyond Complete Data | Marcelo Arenas, Pontificia Universidad Católica de Chile; et al. Jorge Pérez, Universidad de Chile Juan Reutter, University of Edinburgh |
2010 | An Optimal Algorithm for the Distinct Elements Problem | Daniel M. Kane, Harvard University; et al. Jelani Nelson, Massachusetts Institute of Technology David P. Woodruff, IBM Research |
2009 | Size and Treewidth Bounds for Conjunctive Queries | Georg Gottlob, University of Oxford; et al. Stephanie Lee, University of Oxford Gregory Valient, University of California Berkeley |
2008 | Estimating PageRank on Graph Streams | Atish Das Sarma, Georgia Institute of Technology; et al. Sreenivas Gollapudi, Microsoft Research Rina Panigrahy, Microsoft Research |
2007 | Generalized Hypertree Decompositions: NP-Hardness and Tractable Variants | Georg Gottlob, University of Oxford; et al. Zoltan Miklos, University of Oxford Thomas Schwentick, Universität Dortmund |
2006 | Two-variable logic on data trees and XML reasoning | Mikolaj Bojanczyk, Warsaw University Claire David, Université Paris Anca Muscholl, Université Paris Thomas Schwentick, Universität Dortmund Luc Segoufin, Université Paris |
2005 | On the complexity of division and set joins in the relational algebra | Dirk Leinders & Jan Van den Bussche, Limburgs Universitair Centrum |
XML data exchange: consistency and query answering | Marcelo Arenas & Leonid Libkin, University of Toronto | |
2004 | Conditional XPath, the first order complete XPath dialect | Maarten Marx, University of Amsterdam |
2003 | An Information-Theoretic Approach to Normal Forms for Relational and XML Data | Marcelo Arenas & Leonid Libkin, University of Toronto |
2002 | Monadic Datalog and the Expressive Power of Languages for Web Information Extraction | Georg Gottlob & Christoph Koch, Technische Universität Wien |
2001 | Optimal aggregation algorithms for middleware | Ronald Fagin, IBM Research; et al. Amnon Lotem, University of Maryland Moni Naor, Weizmann Institute of Science |
2000 | Auditing Boolean attributes | Jon Kleinberg, Cornell University; et al. Christos Papadimitriou, University of California Berkeley Prabhakar Raghavan, IBM Research |
1999 | Exact and approximate aggregation in constraint query languages | Michael Benefikt & Leonid Libkin, Bell Labs |
1998 | A lower bound theorem for indexing schemes and its application to multidimensional range queries | Vasilis Samoladas & Daniel P. Miranker, University of Texas at Austin |
Expressiveness of structured document query languages based on attribute grammars | Frank Neven & Jan Van den Bussche, Limburgs Universitair Centrum | |
1997 | On the Complexity of Database Queries | Christos H. Papadimitriou, University of California Berkeley Mihalis Yannakakis, Bell Labs |
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. Qi Guo, Emory University Dmitry Lagun, Emory University Eugene Agichtein, Emory University |
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. Fernando Diaz, Yahoo! Research Jamie Callan, Carnegie Mellon University Jean-Francois Crespo, Yahoo! Research |
2008 | Algorithmic Mediation for Collaborative Exploratory Search | Jeremy Pickens, FX Palo Alto Lab; et al. Gene Golovchinsky, FX Palo Alto Lab Chirag Shah, University of North Carolina at Chapel Hill Pernilla Qvarfordt, FX Palo Alto Lab Maribeth Back, FX Palo Alto Lab |
2007 | Studying the Use of Popular Destinations to Enhance Web Search Interaction | Ryen W. White, Microsoft Research; et al. Mikhail Bilenko, Microsoft Research Silviu Cucerzan, Microsoft Research |
2006 | Minimal Test Collections for Retrieval Evaluation | Ben Carterette, University of Massachusetts Amherst; et al. James Allan, University of Massachusetts Amherst Ramesh Sitaraman, University of Massachusetts Amherst |
2005 | Learning to estimate query difficulty: including applications to missing content detection and distr... | Elad Yom-Tov, IBM Research; et al. Shai Fine, IBM Research David Carmel, IBM Research Adam Darlow, IBM Research |
2004 | A Formal Study of Information Retrieval Heuristics | Hui Fang, University of Illinois at Urbana-Champaign; et al. Tao Tao, University of Illinois at Urbana-Champaign ChengXiang Zhai, University of Illinois at Urbana-Champaign |
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. Jamie Callan, Carnegie Mellon University Thomas Minka, Carnegie Mellon University |
2001 | Temporal summaries of new topics | James Allan, University of Massachusetts Amherst; et al. Rahul Gupta, University of Massachusetts Amherst Vikas Khandelwal, University of Massachusetts Amherst |
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. Michel Simard, Université de Montréal Pierre Isabelle, Université de Montréal Richard Durand, Université de Montré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. Wei Boon Goh, Ministry of Defence Kok Leong Low, Ministry of Defence |
1996 | Retrieving spoken documents by combining multiple index sources | Gareth Jones, University of Cambridge; et al. Jonathan Foote, University of Cambridge Karen Spärck Jones, University of Cambridge Steve Young, University of Cambridge |
SIGMOD (Databases) | ||
2011 | Entangled Queries: Enabling Declarative Data-Driven Coordination | Nitin Gupta, Cornell University; et al. Lucja Kot, Cornell University Sudip Roy, Cornell University Gabriel Bender, Cornell University Johannes Gehrke, Cornell University Christoph Koch, École Polytechnique Fédérale de Lausanne |
2010 | FAST: fast architecture sensitive tree search on modern CPUs and GPUs | Changkyu Kim, Intel; et al. Jatin Chhugani, Intel Nadathur Satish, Intel Eric Sedlar, Oracle Anthony D. Nguyen, Intel Tim Kaldewey, Oracle Victor W. Lee, Intel Scott A. Brandt, University of California Santa Cruz Pradeep Dubey, Intel |
2009 | Generating example data for dataflow programs | Christopher Olston, Yahoo! Research; et al. Shubham Chopra, Yahoo! Research Utkarsh Srivastava, Yahoo! Research |
2008 | Serializable isolation for snapshot databases | Michael J. Cahill, University of Sydney; et al. Uwe Röhm, University of Sydney Alan D. Fekete, University of Sydney |
2007 | Compiling mappings to bridge applications and databases | Sergey Melnik, Microsoft Research; et al. Atul Adya, Microsoft Philip A. Bernstein, Microsoft Research |
2006 | To search or to crawl?: towards a query optimizer for text-centric tasks | Panagiotis G. Ipeirotis, New York University; et al. Eugene Agichtein, Microsoft Research Pranay Jain, Columbia University Luis Gravano, Columbia University |
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. Srikanth Bellakonda, Oracle Tolga Bozkaya, Oracle Gregory Dorman, Oracle Nathan Folkert, Oracle Abhinav Gupta, Oracle Lei Shen, Oracle Sankar Subramanian, Oracle |
2001 | Locally adaptive dimensionality reduction for indexing large time series databases | Eamonn Keogh, University of California Irvine; et al. Kaushik Chakrabarti, University of California Irvine Michael Pazzani, University of California Irvine Sharad Mehrotra, University of California Irvine |
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. Christian Böml, University of Munich Bernhard Braunmüller, University of Munich Daniel A. Keim, University of Munich Hans-Peter Kriegel, University of Munich |
1996 | Implementing data cubes efficiently | Venky Harinarayan, Stanford University; et al. Anand Rajaraman, Stanford University Jeffrey D. Ullman, Stanford University |
SOSP (Operating Systems) | ||
2011 | A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications | Tyler Harter, University of Wisconsin; et al. Chris Dragga, University of Wisconsin Michael Vaughn, University of Wisconsin Andrea C. Arpaci-Dusseau, University of Wisconsin Remzi H. Arpaci-Dusseau, University of Wisconsin |
Cells: A Virtual Mobile Smartphone Architecture | Jeremy Andrus, Columbia University; et al. Christoffer Dall, Columbia University Alexander Van't Hof, Columbia University Oren Laadan, Columbia University Jason Nieh, Columbia University | |
2009 | FAWN: A Fast Array of Wimpy Nodes | David G. Andersen, Carnegie Mellon University; et al. Jason Franklin, Carnegie Mellon University Michael Kaminsky, Intel Research Amar Phanishayee, Carnegie Mellon University Lawrence Tan, Carnegie Mellon University Vijay Vasudevan, Carnegie Mellon University |
seL4: Formal Verification of an OS Kernel | Gerwin Klein, NICTA; et al. Kevin Elphinstone, NICTA Gernot Heiser, NICTA June Andronick, NICTA David Cock, NICTA Philip Derrin, NICTA Dhammika Elkaduwe, NICTA Kai Engelhardt, NICTA Rafal Kolanski, NICTA Michael Norrish, NICTA Thomas Sewell, NICTA Harvey Tuch, NICTA Simon Winwood, NICTA | |
RouteBricks: Exploiting Parallelism to Scale Software Routers | Mihai Dobrescu, École Polytechnique Fédérale de Lausanne; et al. Norbert Egi, Lancaster University Katerina Argyraki, École Polytechnique Fédérale de Lausanne Byung-Gon Chun, Intel Research Kevin Fall, Intel Research Gianluca Iannaccone, Intel Research Allan Knies, Intel Research Maziar Manesh, Intel Research Sylvia Ratnasamy, Intel Research | |
2007 | Zyzzyva: speculative byzantine fault tolerance | Ramakrishna Kotla, University of Texas at Austin; et al. Lorenzo Alvisi, University of Texas at Austin Mike Dahlin, University of Texas at Austin Allen Clement, University of Texas at Austin Edmund Wong, University of Texas at Austin |
Sinfonia: a new paradigm for building scalable distributed systems | Marcos K. Aguilera, Hewlett-Packard Labs; et al. Arif Merchant, Hewlett-Packard Labs Mehul Shah, Hewlett-Packard Labs Alistair Veitch, Hewlett-Packard Labs Christos Karamanolis, VMware | |
Secure Web Applications via Automatic Partitioning | Stephen Chong, Cornell University; et al. Jed Liu, Cornell University Andrew C. Myers, Cornell University Xin Qi, Cornell University K. Vikram, Cornell University Lantian Zheng, Cornell University Xin Zheng, Cornell University | |
2005 | Rx: treating bugs as allergies - a safe method to survive software failures | Feng Qin, University of Illinois at Urbana-Champaign; et al. Joseph Tucek, University of Illinois at Urbana-Champaign Jagadeesan Sundaresan, University of Illinois at Urbana-Champaign Yuanyuan Zhou, University of Illinois at Urbana-Champaign |
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. David S. H. Rosenthal, Stanford University Mema Roussopoulos, Stanford University Mary Baker, Stanford University TJ Giuli, Stanford University Yanto Muliadi, Stanford University | |
Improving the Reliability of Commodity Operating Systems | Michael M. Swift, University of Washington; et al. Brian N. Bershad, University of Washington Henry M. Levy, University of Washington | |
2001 | BASE: using abstraction to improve fault tolerance | Rodrigo Rodrigues, Massachusetts Institute of Technology; et al. Miguel Castro, Microsoft Research Barbara Liskov, Massachusetts Institute of Technology |
Untrusted hosts and confidentiality: secure program partitioning | Steve Zdancewic, Cornell University; et al. Lantian Zheng, Cornell University Nathaniel Nystrom, Cornell University Andrew C. Myers, Cornell University | |
1999 | Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors | Kinshuk Govil, Stanford University; et al. Dan Teodosiu, Hewlett-Packard Labs Yongqiang Huang, Stanford University Mendel Rosenblum, Stanford University |
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. Eddie Kohler, Massachusetts Institute of Technology John Jannotti, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology | |
Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail serv... | Yasushi Saito, University of Washington; et al. Brian N. Bershad, University of Washington Henry M. Levy, University of Washington | |
1997 | Continuous profiling: where have all the cycles gone? | Jennifer M. Anderson, Digital Equipment Corporation; et al. Lance M. Berc, Digital Equipment Corporation Jeffrey Dean, Digital Equipment Corporation Sanjay Ghemawat, Digital Equipment Corporation Monika R. Henzinger, Digital Equipment Corporation Shun-Tak A. Leung, Digital Equipment Corporation Richard L. Sites, Digital Equipment Corporation Mark T. Vandevoorde, Digital Equipment Corporation Carl A. Waldspurger, Digital Equipment Corporation William E. Weihl, Digital Equipment Corporation |
Disco: running commodity operating systems on scalable multiprocessors | Edouard Bugnion, Stanford University; et al. Scott Devine, Stanford University Mendel Rosenblum, Stanford University | |
Eraser: a dynamic data race detector for multithreaded programs | Stefan Savage, University of Washington; et al. Michael Burrows, Digital Equipment Corporation Greg Nelson, Digital Equipment Corporation Patrick Sobalvarro, Digital Equipment Corporation Thomas Anderson, University of California Berkeley | |
STOC (Theory) | ||
2011 | Electrical flows, laplacian systems, and faster approximation of maximum flow in undirected graphs | Paul Christiano, Massachusetts Institute of Technology; et al. Jonathan A. Kelner, Massachusetts Institute of Technology Aleksander Madry, Massachusetts Institute of Technology Daniel A. Spielman, Yale University Shang-Hua Teng, University of Southern California |
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm | Oliver Friedmann, University of Munich; et al. Thomas Dueholm Hansen, Aarhus University Uri Zwick, Tel-Aviv University | |
2010 | An improved LP-based approximation for steiner tree | Jaroslaw Byrka, École Polytechnique Fédérale de Lausanne; et al. Fabrizio Grandoni, University of Tor Vergata Thomas Rothvoß, École Polytechnique Fédérale de Lausanne Laura Sanità, École Polytechnique Fédérale de Lausanne |
QIP = PSPACE | Rahul Jain, National University of Singapore; et al. Zhengfeng Ji, Perimeter Institute for Theoretical Physics Sarvagya Upadhyay, University of Waterloo John Watrous, University of Waterloo | |
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. Satish Rao, University of California Berkeley Umesh Vazirani, University of California Berkeley | |
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) | ||
2011 | SideBySide: Ad-hoc Multi-user Interaction with Handheld Projectors | Karl D.D. Willis, Carnegie Mellon University; et al. Ivan Poupyrev, Disney Research Scott E. Hudson, Carnegie Mellon University Moshe Mahler, Disney Research |
2010 | VizWiz: nearly real-time answers to visual questions | Jeffrey P. Bigham, University of Rochester; et al. Chandrika Jayant, University of Washington Hanjie Ji, University of Rochester Greg Little, Massachusetts Institute of Technology Andrew Miller, University of Central Florida Robert C. Miller, Massachusetts Institute of Technology Robin Miller, University of Rochester Aubrey Tatarowicz, Massachusetts Institute of Technology Brandyn White, University of Maryland Samual White, University of Rochester Tom Yeh, University of Maryland |
2009 | Mouse 2.0: Multi-touch meets the Mouse | Nicolas Villar, Microsoft Research; et al. Shahram Izadi, Microsoft Research Dan Rosenfeld, Microsoft Hrvoje Benko, Microsoft Research John Helmes, Microsoft Research Jonathan Westhues, Microsoft Research Steve Hodges, Microsoft Research Eyal Ofek, Microsoft Alex Butler, Microsoft Research Xiang Cao, Microsoft Research Billy Chen, Microsoft |
2008 | Bringing Physics to the Surface | Andrew D. Wilson, Microsoft Research; et al. Shahram Izadi, Microsoft Research Otmar Hilliges, Microsoft Research Armando Garcia-Mendoza, Microsoft Research David Kirk, Microsoft Research |
2007 | ThinSight: Versatile Multi-touch Sensing for Thin Form-factor Displays | Steve Hodges, Microsoft Research; et al. Shahram Izadi, Microsoft Research Alex Butler, Microsoft Research Alban Rrustemi, Microsoft Research Bill Buxton, Microsoft Research |
2006 | Reflective Physical Prototyping through Integrated Design, Test, and Analysis | Björn Hartmann, Stanford University; et al. Scott Klemmer, Stanford University Michael Bernstein, Stanford University Leith Abdulla, Stanford University Brandon Burr, Stanford University Avi Robinson-Mosher, Stanford University Jennifer Gee, Stanford University |
2005 | Automation and Customization of Rendered Web Pages | Michael Bolin, Massachusetts Institute of Technology; et al. Matthew Webber, Massachusetts Institute of Technology Philip Rha, Massachusetts Institute of Technology Tom Wilson, Massachusetts Institute of Technology Robert C. Miller, Massachusetts Institute of Technology |
2004 | Multi-Finger Gestural Interaction with 3D Volumetric Displays | Tovi Grossman, University of Toronto; et al. Daniel Wigdor, University of Toronto Ravin Balakrishnan, University of Toronto |
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. David Fleet, Palo Alto Research Center Daniel Larner, Palo Alto Research Center James Mahoney, Palo Alto Research Center |
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. Jeff Pierce, Microsoft Research Mike Sinclair, Microsoft Research Eric Horvitz, Microsoft Research |
1996 | Indigo: A Local Propagation Algorithm for Inequality Constraints | Alan Borning, University of Washington; et al. Richard Anderson, University of Washington Bjorn Freeman-Benson, Object Technology International |
VLDB (Databases) | ||
2011 | RemusDB: Transparent High-Availability for Database Systems | Umar Farooq Minhas, University of Waterloo; et al. Shriram Rajagopalan, University of British Columbia Brendan Cully, University of British Columbia Ashraf Aboulnaga, University of Waterloo Ken Salem, University of Waterloo Andrew Warfield, University of British Columbia |
2010 | Towards Certain Fixes with Editing Rules and Master Data | Shuai Ma, University of Edinburgh; et al. Wenfei Fan, University of Edinburgh Jianzhong Li, Harbin Institute of Technology Wenyuan Yu, University of Edinburgh Nan Tang, University of Edinburgh |
2009 | A Unified Approach to Ranking in Probabilistic Databases | Jian Li, University of Maryland; et al. Barna Saha, University of Maryland Amol Deshpande, University of Maryland |
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. Adam Marcus, Massachusetts Institute of Technology Samuel R. Madden, Massachusetts Institute of Technology Kate Hollenbach, Massachusetts Institute of Technology |
2006 | Trustworthy Keyword Search for Regulatory-Compliant Records Retention | Soumyadeb Mitra, University of Illinois at Urbana-Champaign; et al. Windsor W. Hsu, University of Illinois at Urbana-Champaign Marianne Winslett, University of Illinois at Urbana-Champaign |
2005 | Cache-conscious Frequent Pattern Mining on a Modern Processor | Amol Ghoting, Ohio State University; et al. Gregory Buehrer, Ohio State University Srinivasan Parthasarathy, Ohio State University Daehyun Kim, Intel Anthony D. Nguyen, Intel Yen-Kuang Chen, Intel Pradeep Dubey, Intel |
2004 | Model-Driven Data Acquisition in Sensor Networks | Amol Deshpande, University of California Berkeley; et al. Carlos Guestrin, Intel Research Samuel R. Madden, Massachusetts Institute of Technology Joseph M. Hellerstein, University of California Berkeley Wei Hong, Intel Research |
2001 | Weaving Relations for Cache Performance | Anastassia Ailamaki, Carnegie Mellon University; et al. David J. DeWitt, University of Wisconsin Mark D. Hill, University of Wisconsin Marios Skounakis, University of Wisconsin |
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. Anindya Ghose, New York University Panagiotis G. Ipeirotis, New York University |
2010 | Factorizing personalized Markov chains for next-basket recommendation | Steffen Rendle, Osaka University; et al. Christoph Freudenthaler, University of Hildesheim Lars Schmidt-Thieme, University of Hildesheim |
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. Derek Leonard, Texas A&M University Xiaoming Wang, Texas A&M University Dmitri Loguinov, Texas A&M University |
2007 | Wherefore art thou r3579x?: anonymized social networks, hidden patterns, and structural steganograph... | Lars Backstrom, Cornell University; et al. Cynthia Dwork, Microsoft Research Jon Kleinberg, Cornell University |
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. Arun Iyengar, IBM Research Ling Liu, Georgia Institute of Technology Fred Douglis, IBM Research |
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. Nadav Eiron, IBM Research David Gibson, IBM Research Daniel Gruhl, IBM Research R. Guha, IBM Research Anant Jhingran, IBM Research Tapas Kanungo, IBM Research Sridhar Rajagopalan, IBM Research Andrew Tomkins, IBM Research John A. Tomlin, IBM Research Jason Y. Zien, IBM Research | |
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. Lorenzo Alvisi, University of Texas at Austin Mike Dahlin, University of Texas at Austin Arun Iyengar, IBM Research |
2000 | Graph Structure in the Web | Andrei Broder, AltaVista; et al. Ravi Kumar, IBM Research Farzin Maghoul, AltaVista Prabhakar Raghavan, IBM Research Sridhar Rajagopalan, IBM Research Raymie Stata, Compaq Systems Research Center Andrew Tomkins, IBM Research Janet Wiener, Compaq Systems Research Center |
1999 | Focused Crawling: A New Approach to Topic-Specific Web Resource Discovery | Soumen Chakrabarti, Indian Institute of Technology; et al. Martin van den Berg, FX Palo Alto Lab Byron Dom, IBM Research |
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 with Best Papers | |
Carnegie Mellon University | 19.8 |
Microsoft Research | 19.0 |
University of Washington | 17.3 |
Stanford University | 17.1 |
Massachusetts Institute of Technology | 13.3 |
Cornell University | 9.9 |
University of California Berkeley | 9.9 |
University of Toronto | 9.4 |
University of Illinois at Urbana-Champaign | 8.3 |
IBM Research | 7.9 |
University of British Columbia | 7.8 |
University of Texas at Austin | 7.4 |
University of Oxford | 6.2 |
Georgia Institute of Technology | 5.8 |
Weizmann Institute of Science | 4.5 |
Yahoo! Research | 4.4 |
McGill University | 4.4 |
University of Maryland | 4.3 |
AT&T Laboratories | 4.1 |
University of California Irvine | 4.0 |
3.4 | |
Brown University | 3.3 |
Technion | 3.1 |
University of Massachusetts Amherst | 3.1 |
Columbia University | 3.1 |
University of Michigan | 3.0 |
University of Alberta | 3.0 |
University of California San Diego | 3.0 |
École Polytechnique Fédérale de Lausanne | 2.8 |
ETH Zurich | 2.6 |
Max Planck Institut | 2.6 |
Princeton University | 2.5 |
Rice University | 2.5 |
University of Wisconsin | 2.4 |
University of Nottingham | 2.4 |
Duke University | 2.3 |
Bell Labs | 2.3 |
Hewlett-Packard Labs | 2.2 |
Université Paris-Sud | 2.1 |
Saarland University | 2.1 |
National University of Singapore | 2.0 |
University of Cambridge | 2.0 |
Universidade Técnica de Lisboa | 2.0 |
Tel-Aviv University | 2.0 |
Indiana University at Bloomington | 2.0 |
DePaul University | 2.0 |
NASA Ames Research Center | 2.0 |
NEC Labs America | 2.0 |
Credit is given in decreasing author order as customary in many 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.
Back to Jeff Huang's Homepage
Page last updated: 2011-12-23