BestPaper Awards in Computer Science (since 1996)
By Conference: AAAI ACL CHI CIKM CVPR FOCS FSE ICCV ICML ICSE IJCAI INFOCOM KDD NSDI OSDI PLDI PODS S&P SIGCOMM SIGIR SIGMETRICS SIGMOD SODA SOSP STOC UIST VLDB WWW
Institutionswith the most Best Papers
Much of this data was entered byhand (obtained by contacting past conference organizers, retrieving cachedconference websites, and searching CVs) so please email me if you notice anyerrors or omissions: bestpaper-AT-jeffhuang.com. I tried to collect best paperawards from the top-tier conferences in each area, but some conferences do nothave such an award (e.g. SIGGRAPH, CAV). "Distinguished paper award"and "outstanding paper award" are included but not "best studentpaper" (e.g. NIPS) or "best 10-year old paper" (e.g. POPL)
2012 | Zhanying He, Zhejiang University; et al. Chun Chen, Zhejiang University | |
Suicheng Gu & Yuhong Guo, Temple University | ||
2011 | Daniel Golovin, California Institute of Technology; et al. Andreas Krause, ETH Zurich | |
Jessica Davies, University of Toronto; et al. George Katsirelos, Université Paris-Sud | ||
2010 | Giorgos Stoilos, Oxford University; et al. Bernardo Cuenca Grau, Oxford University | |
A Novel Transition Based Encoding Scheme for Planning as Satisfiability | Ruoyun Huang, Washington University in St. Louis; et al. Yixin Chen, Washington University in St. Louis | |
2008 | Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg | |
Liad Wagman & Vincent Conitzer, Duke University | ||
2007 | James Allen, Institute for Human and Machine Cognition; et al. Nathanael Chambers, Stanford University | |
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games | Colin McMillen & Manuela Veloso, Carnegie Mellon University | |
2006 | Carla P. Gomes, Cornell University; et al. Ashish Sabharwal, Cornell University | |
Gerhard Lakemeyer, RWTH Aachen University | ||
2005 | The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection | Vincent A. Cicirello, Drexel University |
2004 | Lin Liao, University of Washington; et al. Dieter Fox, University of Washington | |
2002 | Thomas Eiter, Technische Universität Wien | |
2000 | The Game of Hex: An Automatic Theorem-Proving Approach to Game Programming | Vadim V. Anshelevich, Vanshel Consulting |
1999 | Greg A. Keim, Duke University; et al. Noam M. Shazeer, Duke University | |
1998 | Learning Evaluation Functions for Global Optimization and Boolean Satisfiability | Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University |
Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes | ||
Wolfram Burgard, University of Bonn; et al. Armin B. Cremers, University of Bonn | ||
1997 | Statistical Parsing with a Context-Free Grammar and Word Statistics | Eugene Charniak, Brown University |
Krill Shoikhet & Dan Geiger, Technion | ||
P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center | ||
Peter Clark, Boeing | ||
1996 | Verification of Knowledge Bases Based on Containment Checking | Alon Y. Levy, AT&T Laboratories |
A Novel Application of Theory Refinement to Student Modeling | Paul T. Baffes, SciComp | |
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search | Henry Kautz & Bart Selman, AT&T Laboratories | |
2012 | Fan Bu, Tsinghua University; et al. Hang Li, Microsoft Research | |
Bayesian Symbol-Refined Tree Substitution Grammars for Syntactic Parsing | Hiroyuki Shindo, NTT Communication Science Laboratories; et al. Yusuke Miyao, National Institute of Informatics | |
2011 | Unsupervised Part-of-Speech Tagging with Bilingual Graph-Based Projections | Dipanjan Das, Carnegie Mellon University |
2010 | Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates | Matthew Gerber & Joyce Y. Chai, Michigan State University |
2009 | S.R.K. Branavan, Massachusetts Institute of Technology; et al. Harr Chen, Massachusetts Institute of Technology | |
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 | |
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 | |
2007 | Learning synchronous grammars for semantic parsing with lambda calculus | Yuk Wah Wong & Raymond J. Mooney, University of Texas at Austin |
2006 | Rion Snow, Stanford University; et al. Daniel Jurafsky, Stanford University | |
2005 | A Hierarchical Phrase-Based Model for Statistical Machine Translation | David Chiang, University of Maryland |
2004 | Diana McCarthy, University of Sussex; et al. Rob Koeling, University of Sussex | |
2003 | Dan Klein & Christopher D. Manning, Stanford University | |
Yukiko I. Nakano, RISTEX; et al. Gabe Reinstein, Massachusetts Institute of Technology | ||
2002 | Discriminative Training and Maximum Entropy Models for Statistical Machine Translation | Franz Josef Och & Hermann Ney, RWTH Aachen University |
2001 | Eugene Charniak, Brown University | |
Ulrich Germann, University of Southern California; et al. Michael Jahr, Stanford University | ||
2012 | Steve Benford, University of Nottingham; et al. Chris Greenhalgh, University of Nottingham | |
Yuichiro Takeuchi, Sony Computer Science Laboratories | ||
Revisiting the Jacquard Loom: Threads of History and Current Patterns in HCI | Ylva Fernaeus, KTH Royal Institute of Technology; et al. Martin Jonssonm, Södertörn University | |
Personas and Decision Making in the Design Process: An Ethnographic Case Study | Erin Friess, University of North Texas | |
Chi Vi & Sriram Subramanian, University of Bristol | ||
Niels Henze, University of Oldenburg; et al. Enrico Rukzio, University of Duisburg-Essen | ||
Looking Glass: A Field Study on Noticing Interactivity of Shop Windows | Jörg Müller, Technische Universität Berlin; et al. Robert Walter, Technische Universität Berlin | |
Touché: Enhancing Touch Interaction on Humans, Screens, Liquids, and Everyday Objects | Munehiko Sato, Disney Research; et al. Ivan Poupyrev, Disney Research | |
Victor Kaptelinin, University of Bergen | ||
Emilien Ghomi, Université Paris-Sud; et al. Guillaume Faure, Université Paris-Sud | ||
Barry Brown, Stockholm University | ||
Communitysourcing: Engaging Local Crowds to Perform Expert Work Via Physical Kiosks | Kurtis Heimerl, University of California Berkeley; et al. Brian Gawalt, University of California Berkeley | |
Joey Scarr, University of Canterbury; et al. Andy Cockburn, University of Canterbury | ||
Stephen Lindsay, Newcastle University; et al. Katie Britain, Newcastle University | ||
2011 | Usable Gestures for Blind People: Understanding Preference and Performance | Shaun K. Kane, University of Washington; et al. Jacob O. Wobbrock, University of Washington |
Effects of Community Size and Contact Rate in Synchronous Social Q&A | Ryen W. White, Microsoft Research; et al. Matthew Richardson, Microsoft Research | |
Teenagers and Their Virtual Possessions: Design Opportunities and Issues | William Odom, Carnegie Mellon University; et al. John Zimmerman, 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 | |
Mathieu Nancel, Université Paris-Sud; et al. Julie Wagner, INRIA | ||
Ranjitha Kumar, Stanford University; et al. Jerry Talton, Stanford University | ||
Thomas Erickson, IBM Research; et al. N. Sadat Shami, IBM Research | ||
In the Shadow of Misperception: Assistive Technology Use and Social Interactions | Kristen Shinohara & Jacob O. Wobbrock, University of Washington | |
Marshini Chetty, Georgia Institute of Technology; et al. David Haslem, Orange Sparkle Ball | ||
Ease of Juggling: Studying the Effects of Manual Multitasking | Antti Oulasvirta & Joanna Bergstrom-Lehtovirta, Aalto University | |
Abigail Durrant, University of Nottingham; et al. Duncan Rowland, University of Lincoln | ||
Your Noise is My Command: Sensing Gestures Using the Body as an Antenna | Gabe Cohn, University of Washington; et al. Daniel Morris, Microsoft Research | |
Koji Yatani, University of Toronto; et al. Michael Novati, 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 |
Carl DiSalvo, Georgia Institute of Technology; et al. Phoebe Sengers, Cornell University | ||
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 | |
How does search behavior change as search becomes more difficult? | Anne Aula, Google; et al. Rehan M. Khan, Google | |
Brent Hecht & Darren Gergle, Northwestern University | ||
Chris Harrison, Carnegie Mellon University; et al. Desney Tan, Microsoft Research | ||
Divya Ramachandran, University of California Berkeley; et al. John Canny, University of California Berkeley | ||
Jon Froehlich, University of Washington; et al. Leah Findlater, 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 | |
2009 | From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences | Steve Benford, University of Nottingham; et al. Gabriella Giannachi, University of Exeter |
Jeffrey Heer, Stanford University; et al. Nicholas Kong, University of California Berkeley | ||
Eric Gilbert & Karrie Karahalios, University of Illinois at Urbana-Champaign | ||
Theophanis Tsandilas, Université Paris-Sud; et al. Catherine Letondal, Université Paris-Sud | ||
Social Immersive Media: Pursuing Best Practices for Multi-user Interactive Camera/Projector Exhibits | Scott S. Snibbe, Sona Research | |
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 | |
David Akers, Stanford University; et al. Matthew Simpson, Google | ||
2008 | In-Car GPS Navigation: Engagement with and Disengagement from the Environment | Gilly Leshed, Cornell University; et al. Theresa Velden, Cornell University |
Krzysztof Z. Gajos, University of Washington; et al. Jacob O. Wobbrock, University of Washington | ||
Eytan Adar, University of Washington; et al. Jaime Teevan, 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 | |
Multimodal collaborative handwriting training for visually-impaired people | Beryl Plimmer, University of Auckland; et al. Andrew Crossan, University of Glasgow | |
Jacob O. Wobbrock, University of Washington; et al. Edward Cutrell, Microsoft Research | ||
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 | |
Björn Hartmann, Stanford University; et al. Leith Abdulla, Stanford University | ||
Sustainable interaction design: invention & disposal, renewal & reuse | Eli Blevis, Indiana University at Bloomington | |
Kenton O'Hara, Hewlett-Packard Labs; et al. April Slayden Mitchell, Hewlett-Packard Labs | ||
2006 | 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 | |
2005 | Making space for stories: ambiguity in the design of personal communication systems | Paul M. Aoki, Palo Alto Research Center |
Examining Task Engagement in Sensor-Based Statistical Models of Human Interruptibility | James Fogarty, Carnegie Mellon University; et al. Andrew J. Ko, Carnegie Mellon University | |
Stuart Reeves, University of Nottingham; et al. Steve Benford, University of Nottingham | ||
The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor's activation area | Tovi Grossman & Ravin Balakrishnan, University of Toronto | |
2012 | Hanghang Tong, IBM Research; et al. B. Aditya Prakash, Virginia Tech | |
2011 | Jiafeng Guo, Chinese Academy of Sciences; et al. Xueqi Cheng, Chinese Academy of Sciences | |
2010 | Gerard de Melo & Gerhard Weikum, Max Planck Institut | |
Abhijith Kashyap, State University of New York at Buffalo; et al. Vagelis Hristidis, Florida International University | ||
2009 | Ricardo Baeza-Yates, Yahoo! Research; et al. Aristides Gionis, Yahoo! Research | |
2008 | David Milne & Ian H. Witten, Univerisity of Waikato | |
2007 | 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 |
2005 | Towards Automatic Association of Relevant Unstructured Content with Structured Query Results | Prasan Roy, IBM Research; et al. Mukesh Mohania, IBM Research |
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 |
2012 | A Simple Prior-free Method for Non-Rigid Structure-from-Motion Factorization | Yuchao Dai, Northwestern Polytechnical University; et al. Hongdong Li, Australian National University |
2011 | Real-time Human Pose Recognition in Parts from Single Depth Images | Jamie Shotton, Microsoft Research; et al. Andrew Fitzgibbon, Microsoft Research |
2010 | Anders Eriksson & Anton va den Hendel, University of Adelaide | |
2009 | Kaiming He, The Chinese University of Hong Kong; et al. Jian Sun, Microsoft Research | |
2008 | Global Stereo Reconstruction under Second Order Smoothness Priors | Oliver Woodford, University of Oxford; et al. Ian Reid, Oxford Brookes University |
Beyond Sliding Windows: Object Localization by Efficient Subwindow Search | Chistoph H. Lampert, Max Planck Institut; et al. Matthew B. Blaschko, Max Planck Institut | |
2007 | Bastian Leibe, ETH Zurich; et al. Nico Cornelis, Katholieke Universiteit Leuven | |
2006 | Derek Hoiem, Carnegie Mellon University; et al. Alexei Efros, Carnegie Mellon University | |
2005 | Julien Pilet, École Polytechnique Fédérale de Lausanne; et al. Vincent Lepetit, École Polytechnique Fédérale de Lausanne | |
2004 | Shree K. Nayar, Columbia University; et al. Vlad Branzoi, Columbia University | |
2003 | Object Class Recognition by Unsupervised Scale-Invariant Learning | Rob Fergus, University of Oxford; et al. Pietro Perona, California Institute of Technology |
2001 | Matthew Brand, Mitsubishi Electric Research Laboratories | |
2000 | Dorin Comaniciu, Siemens Corporate Research; et al. Visvanathan Ramesh, Siemens Corporate Research | |
2012 | A multi-prover interactive proof for NEXP sound against entangled provers | Tsuyoshi Ito, NEC Labs America |
A Polylogarithimic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2 | Julia Chuzhoy, Toyota Technological Institute at Chicago | |
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 | |
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 | |
Allan Sly, Microsoft Research | ||
2008 | Dana Moshkovitz & Ran Raz, Weizmann Institute of Science | |
2007 | Dan Boneh, Stanford University; et al. Craig Gentry, Stanford University | |
2006 | Xi Chen, Tsinghua University | |
2005 | Subhash A. Khot, Georgia Institute of Technology | |
Correcting Errors Beyond the Guruswami-Sudan Radius in Polynomial Time | Farzad Parvaresh & Alexander Vardy, University of California San Diego | |
2004 | Benny Applebaum, Technion; et al. Yuval Ishai, Technion | |
Hardness of Approximating the Shortest Vector Problem in Lattices | Subhash Khot, Georgia Institute of Technology | |
2003 | Bo Brinkman & Moses Charikar, Princeton University | |
2002 | Andrei A. Bulatov, University of Oxford | |
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 | |
2011 | Yuriy Brun, University of Washington; et al. Reid Holmes, University of Waterloo | |
Zuoning Yin, University of Illinois at Urbana-Champaign; et al. Ding Yuan, University of Illinois at Urbana-Champaign | ||
Swarat Chaudhuri, Rice University; et al. Sumit Gulwani, Microsoft Research | ||
2010 | Barthélémy Dagenais & Martin P. Robillard, McGill University | |
Developer Fluency: Achieving True Mastery in Software Projects | Minghui Zhou, Peking University | |
Nishant Sinha & Chao Wang, NEC Labs America | ||
2009 | Asserting and checking determinism for multithreaded programs | Jacob Burnim & Koushik Sen, University of California Berkeley |
Dawei Qi, National University of Singapore; et al. Abhik Roychoudhury, National University of Singapore | ||
Tung Thanh Nguyen, Iowa State University; et al. Hoan Anh Nguyen, Iowa State University | ||
2008 | Nicolas Bettenburg, Saarland University; et al. Sascha Just, Saarland University | |
Franco Raimondi, University College London; et al. James Skene, 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 |
Globally distributed software development project performance: an empirical analysis | Narayan Ramasubbu & Rajesh Krishna Balan, Singapore Management University | |
Mihai Christodorescu, University of Wisconsin; et al. Somesh Jha, University of Wisconsin | ||
Yoav Zibin, Massachusetts Institute of Technology; et al. Alex Potanin, Victoria University of Wellington | ||
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 |
Bhargav S. Gulavani, Indian Institute of Technology; et al. Thomas A. Henzinger, École Polytechnique Fédérale de Lausanne | ||
2005 | Automatic Generation of Suggestions for Program Investigation | Martin P. Robillard, McGill University |
Koushik Sen, University of Illinois at Urbana-Champaign; et al. Darko Marinov, University of Illinois at Urbana-Champaign | ||
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 | |
2003 | Eliminating redundancies with a "composition with adaptation" meta-programming technique | Stan Jarzabek, National University of Singapore |
A Family of Test Adequacy Criteria for Database-Driven Applications | Gregory M. Kapfhammer & Mary Lou Soffa, University of Pittsburgh | |
Stephen McCamant & Michael D. Ernst, Massachusetts Institute of Technology | ||
2002 | Andreas Zeller, Saarland University | |
2011 | Devi Parikh, Toyota Technological Institute at Chicago | |
2009 | Chaitanya Desai, University of California Irvine; et al. Deva Ramanan, University of California Irvine | |
2007 | Bradley Davis, University of North Carolina at Chapel Hill; et al. P. Thomas Fletcher, University of Utah | |
2005 | Globally Optimal Estimates for Geometric Reconstruction Problems | Fredrik Kahl, Lund University |
2003 | Detecting Pedestrians using Patterns of Motion and Appearance | Paul Viola, Microsoft Research; et al. Michael J. Jones, 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 | |
Andrew Fitzgibbon, University of Oxford; et al. Yonatan Wexler, Weizmann Institute of Science | ||
2001 | Kentaro Toyama & Andrew Blake, Microsoft Research | |
Steven Seitz, University of Washington | ||
1999 | Yi Ma, University of California Berkeley; et al. Stefano Soatto, Washington University in St. Louis | |
Kiriakos Kutulakos, University of Rochester | ||
1998 | Marc Pollefeys, Katholieke Universiteit Leuven; et al. Reinhard Koch, 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 | |
2012 | Bayesian Posterior Sampling via Stochastic Gradient Fisher Scoring | Sungjin Ahn, University of California Irvine; et al. Anoop Korattikara, University of California Irvine |
2011 | Computational Rationalization: The Inverse Equilibrium Problem | Kevin Waugh, Carnegie Mellon University; et al. Brian Ziebart, Carnegie Mellon University |
2010 | Le Song, Carnegie Mellon University; et al. Byron Boots, Carnegie Mellon University | |
2009 | Blake Shaw & Tony Jebara, Columbia University | |
2008 | Shai Shalev-Shwartz & Nathan Srebro, Toyota Technological Institute at Chicago | |
2007 | Jason V. Davis, University of Texas at Austin; et al. Brian Kulis, University of Texas at Austin | |
2006 | Ronan Collobert, NEC Labs America; et al. Fabian Sinz, NEC Labs America | |
2005 | A support vector method for multivariate performance measures | Thorsten Joachims, Cornell University |
1999 | Justin A. Boyan, NASA Ames Research Center | |
2012 | Will Dietz, University of Illinois at Urbana-Champaign; et al. Peng Li, University of Utah | |
Using Dynamic Analysis to Discover Polynomial and Array Invariants | ThanhVu Nguyen, University of New Mexico; et al. Deepak Kapur, University of New Mexico | |
Pingyu Zhang & Sebastian Elbaum, University of Nebraska-Lincoln | ||
Partial Models: Towards Modeling and Reasoning with Uncertainty | Michalis Famelis, University of Toronto; et al. Rick Salay, University of Toronto | |
Tobias Roehm, Technische Universität München; et al. Rebecca Tiarks, University of Bremen | ||
A Tactic-Centric Approach for Automating Traceability of Quality Concerns | Mehdi Mirakhorli, DePaul University; et al. Yonghee Shin, DePaul University | |
Automated Detection of Client-State Manipulation Vulnerabilities | Anders Møller & Mathias Schwarz, Aarhus University | |
2011 | Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking | Lucas Cordeiro & Bernd Fischer, University of Southampton |
Narayan Ramasubbu, Singapore Management University; et al. Marcelo Cataldo, 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 | |
On-demand Feature Recommendations Derived from Mining Public Product Descriptions | Horatiu Dumitru, DePaul University; et al. Marek Gibiec, DePaul University | |
Antonio Filieri, Politecnico di Milano; et al. Carlo Ghezzi, 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 |
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 | |
Milos Gligoric, University of Illinois at Urbana-Champaign; et al. Tihomir Gvero, École Polytechnique Fédérale de Lausanne | ||
A Degree-of-Knowledge Model to Capture Source Code Familiarity | Thomas Fritz, University of British Columbia; et al. Jingwen Ou, University of British Columbia | |
2009 | Emerson Murphy-Hill, Portland State University; et al. Chris Parnin, Georgia Institute of Technology | |
Mayur Naik, Intel Research; et al. Chang-Seo Park, University of California Berkeley | ||
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 | |
Westley Weimer, University of Virginia; et al. ThanhVu Nguyen, 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 | |
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 | |
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 | |
2007 | Adam Kiezun, Massachusetts Institute of Technology; et al. Michael D. Ernst, Massachusetts Institute of Technology | |
Ekwa Duala-Ekoko & Martin P. Robillard, McGill University | ||
Shiva Nejati, University of Toronto; et al. Mehrdad Sabetzadeh, University of Toronto | ||
Sunghun Kim, Massachusetts Institute of Technology; et al. Thomas Zimmermann, Saarland University | ||
2006 | Ji Zhang & Betty H.C. Cheng, Michigan State University | |
John Anvik, University of British Columbia; et al. Lyndon Hiew, University of British Columbia | ||
2005 | Andrew Ko, Carnegie Mellon University; et al. Htet Htet Aung, Carnegie Mellon University | |
James Andrews, University of Western Ontario; et al. Lionel Briand, Carleton University | ||
Reid Holmes & Gail Murphy, University of British Columbia | ||
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 |
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; et al. Reidar Conradi, Norwegian University of Science and Technology | |
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 | |
2003 | Xiangyu Zhang, University of Arizona; et al. Rajiv Gupta, University of Arizona | |
Sagar Chaki, Carnegie Mellon University; et al. Edmund Clarke, Carnegie Mellon University | ||
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 |
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 | |
2009 | Yevgeny Kazakov, University of Oxford | |
Frederic Koriche, Université Montpellier II | ||
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 |
Duc Nghia Pham, Griffith University; et al. John Thornton, Griffith University | ||
Luc Mercier & Pascal Van Hentenryck, Brown University | ||
2005 | Yuhong Guo, University of Alberta; et al. Russell Greiner, University of Alberta | |
Jonathan Schaeffer, University of Alberta; et al. Yngvi Bjornsson, University of Alberta | ||
A Probabilistic Model of Redundancy in Information Extraction | Doug Downey, University of Washington; et al. Oren Etzioni, 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 |
Thin Junction Tree Filters for Simultaneous Localization and Mapping | Mark A. Paskin, University of California Berkeley | |
2001 | Thomas Eiter & Thomas Lukasiewicz, Vienna University of Technology | |
1999 | Dan Roth, University of Illinois at Urbana-Champaign | |
A Distributed Case-Based Reasoning Application for Engineering Sales Support | Ian Watson, University of Salford | |
1997 | 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 | |
Fangzhen Lin, The Hongkong University of Science and Technology | ||
2012 | Multi-resource allocation: Fairness-efficiency tradeoffs in a unifying framework | Carlee Joe-Wong, Princeton University; et al. Soumya Sen, Princeton University |
2011 | Minghong Lin, California Institute of Technology; et al. Adam Wierman, California Institute of Technology | |
2010 | On the Feasibility and Efficacy of Protection Routing in IP Networks | Kin-Wah Kwong, University of Pennsylvania; et al. Lixin Gao, University of Massachusetts Amherst |
2009 | Queuing Network Models for Multi-Channel P2P Live Streaming Systems | Di Wu, Polytechnic Institute of New York University; et al. Yong Liu, Polytechnic Institute of New York University |
2008 | On the Feasibility of the Link Abstraction in (Rural) Mesh Networks | Dattatraya Gokhal, Indian Navy; et al. Sayandeep Sen, University of Wisconsin |
Theoretical Results on Base Station Movement Problem for Sensor Networks | Yi Shi & Y. Thomas Hou, Virginia Tech | |
Changhee Joo, Ohio State University; et al. Xiaojun Lin, Purdue University | ||
2007 | Pierre Francois, Université catholique de Louvain; et al. Mike Shand, Cisco Systems | |
2006 | Delay and Capacity Trade-offs in Mobile Ad Hoc Networks: A Global Perspective | Gaurav Sharma, Purdue University; et al. Ravi Mazumdar, University of Waterloo |
2005 | Perfect Simulation and Stationarity of a Class of Mobility Models | Jean-Yves Le Boude, École Polytechnique Fédérale de Lausanne |
2004 | Abbas El Gamal, Stanford University; et al. James Mammen, Stanford University | |
2003 | User-Level Performance of Channel-Aware Scheduling Algorithms in Wireless Data Networks | Sem Borst, Bell Labs |
2002 | Peter Marbach, University of Toronto | |
2001 | Matthias Grossglauser, AT&T Laboratories | |
2000 | András Veres, Ericsson | |
1999 | Laurent Massoulié, Microsoft Research | |
1998 | Effective Bandwidths in Wireless Networks with Multiuser Receivers | David Tse, University of California Berkeley |
1996 | An algorithm for multicast tree generation in networks with asymmetric links | Ram Ramanathan, BBN Technologies |
2012 | Searching and Mining Trillions of Time Series Subsequences under Dynamic Time Warping | Thanawin Rakthanmanon, University of California Riverside; et al. Bilson Campana, University of California Riverside |
2011 | Leakage in Data Mining: Formulation, Detection, and Avoidance | Shachar Kaufman, Tel-Aviv University; et al. Saharon Rosset, Tel-Aviv University |
2010 | Hsiang-Fu Yu, National Taiwan University; et al. Cho-Jui Hsieh, National Taiwan University | |
Dafna Shahaf & Carlos Guestrin, Carnegie Mellon University | ||
2009 | 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 |
2007 | Predictive discrete latent factor models for large scale dyadic data | Deepak Agarwal & Srujana Merugu, Yahoo! Research |
2006 | 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 |
2004 | Sugato Basu, University of Texas at Austin; et al. Mikhail Bilenko, University of Texas at Austin | |
2003 | David Kempe, Cornell University; et al. Jon Kleinberg, Cornell University | |
2002 | Darya Chudova & Padhraic Smyth, University of California Irvine | |
2001 | Edwin M. Knorr, University of British Columbia; et al. Raymond T. Ng, 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 |
1999 | MetaCost: a general method for making classifiers cost-sensitive | Pedro Domingos, Universidade Técnica de Lisboa |
1998 | Pedro Domingos, Universidade Técnica de Lisboa | |
1997 | Foster Provost & Tom Fawcett, NYNEX Science and Technology | |
2012 | Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing | Matei Zaharia, University of California Berkeley; et al. Mosharaf Chowdhury, University of California Berkeley |
2011 | Design, Implementation and Evaluation of Congestion Control for Multipath TCP | Damon Wischik, University College London; et al. Costin Raiciu, University College London |
ServerSwitch: A Programmable and High Performance Platform for Data Center Networks | Guohan Lu, Microsoft Research; et al. Chuanxiong Guo, Microsoft Research | |
2010 | Ethan Katz-Bassett, University of Washington; et al. Harsha V. Madhyastha, University of California San Diego | |
2009 | Dave Levin, University of Maryland; et al. John R. Douceur, Microsoft Research | |
2008 | Remus: High Availability via Asynchronous Virtual Machine Replication | Brendan Cully, University of British Columbia; et al. Geoffrey Lefebvre, University of British Columbia |
John P. John, University of Washington; et al. Ethan Katz-Bassett, University of Washington | ||
2007 | Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code | Charles Killian, University of California San Diego; et al. James W. Anderson, University of California San Diego |
2006 | Experience with an Object Reputation System for Peer-to-Peer Filesharing | Kevin Walsh & Emin Gün Sirer, Cornell University |
Dennis Geels, University of California Berkeley; et al. Gautam Altekar, University of California Berkeley | ||
2005 | Nick Feamster & Hari Balakrishnan, Massachusetts Institute of Technology | |
2004 | Philip Levis, University of California Berkeley; et al. Neil Patel, University of California Berkeley | |
2012 | James C. Corbett, Google; et al. Jeffrey Dean, Google | |
2010 | Amittai Aviram, Yale University; et al. Shu-Chun Weng, 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 | |
2008 | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | Cristian Cadar, Stanford University; et al. Daniel Dunbar, 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 | |
Yuan Yu, Microsoft Research; et al. Michael Isard, Microsoft Research | ||
2006 | Fay Chang, Google; et al. Jeffrey Dean, Google | |
Edmund B. Nightingale, University of Michigan; et al. Kaushik Veeraraghavan, University of Michigan | ||
2004 | Junfeng Yang, Stanford University; et al. Paul Twohey, Stanford University | |
Michael M. Swift, University of Washington; et al. Muthukaruppan Annamalai, University of Washington | ||
2002 | 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 |
1999 | Vivek S. Pai, Rice University; et al. Peter Druschel, 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 |
George C. Necula & Peter Lee, Carnegie Mellon University | ||
2012 | Peter Hawkins, Stanford University; et al. Alex Aiken, Stanford University | |
2011 | Peter Hawkins, Stanford University; et al. Alex Aiken, Stanford University | |
2010 | Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System | Jean Yang, Massachusetts Institute of Technology |
2009 | Binary Analysis for Measurement and Attribution of Program Performance | Nathan Tallent, Rice University; et al. John Mellor-Crummey, Rice University |
2007 | Frances Perry, Princeton University; et al. Lester Mackey, Princeton University | |
The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code | Ben Hardekopf & Calvin Lin, University of Texas at Austin | |
2005 | Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap | Chris Lattner & Vikram Adve, University of Illinois at Urbana-Champaign |
Armando Solar-Lezama, University of California Berkeley; et al. Rodric Rabbah, Massachusetts Institute of Technology | ||
2004 | Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams | John Whaley & Monica S. Lam, Stanford University |
2003 | Automatically Proving the Correctness of Compiler Optimizations | Sorin Lerner, University of Washington; et al. Todd Millstein, University of Washington |
2000 | Vasanth Bala, Hewlett-Packard Labs; et al. Evelyn Duesterwald, Hewlett-Packard Labs | |
1999 | James R. Larus, Microsoft Research | |
2012 | Hung Q. Ngo, University at Buffalo; et al. Ely Porat, Bar-Ilan University | |
2011 | Marcelo Arenas, Pontificia Universidad Católica de Chile; et al. Jorge Pérez, Universidad de Chile | |
2010 | Daniel M. Kane, Harvard University; et al. Jelani Nelson, Massachusetts Institute of Technology | |
2009 | Georg Gottlob, University of Oxford; et al. Stephanie Lee, University of Oxford | |
2008 | Atish Das Sarma, Georgia Institute of Technology; et al. Sreenivas Gollapudi, Microsoft Research | |
2007 | Generalized Hypertree Decompositions: NP-Hardness and Tractable Variants | Georg Gottlob, University of Oxford; et al. Zoltan Miklos, University of Oxford |
2006 | Mikolaj Bojanczyk, Warsaw University; et al. Claire David, Université Paris | |
2005 | On the complexity of division and set joins in the relational algebra | Dirk Leinders & Jan Van den Bussche, Limburgs Universitair Centrum |
Marcelo Arenas & Leonid Libkin, University of Toronto | ||
2004 | 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 | Ronald Fagin, IBM Research; et al. Amnon Lotem, University of Maryland | |
2000 | Jon Kleinberg, Cornell University; et al. Christos Papadimitriou, University of California Berkeley | |
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 | Christos H. Papadimitriou, University of California Berkeley | |
2012 | Don't Trust Satellite Phones: A Security Analysis of Two Satphone Standards | Benedikt Driessen, Ruhr-Universität Bochum; et al. Ralf Hund, Ruhr-Universität Bochum |
2011 | Phonotactic Reconstruction of Encrypted VoIP Conversations: Hookt on fon-iks | Andrew M. White, University of North Carolina at Chapel Hill; et al. Austin Matthews, University of North Carolina at Chapel Hill |
2010 | Margarita Osadchy, University of Haifa; et al. Benny Pinkas, University of Haifa | |
2009 | Native Client: A Sandbox for Portable, Untrusted x86 Native Code | Bennet Yee, Google; et al. David Sehr, Google |
2008 | Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses | Daniel Halperin, University of Washington; et al. Thomas S. Heydt-Benjamin, University of Massachusetts Amherst |
2012 | Ali Ghodsi, University of California Berkeley; et al. Vyas Sekar, Intel Research | |
2011 | They Can Hear Your Heartbeats: Non-Invasive Security for Implanted Medical Devices | Shyamnath Gollakota, Massachusetts Institute of Technology; et al. Haitham Hassanieh, Massachusetts Institute of Technology |
2010 | Efficient Error Estimating Coding: Feasibility and Applications | Binbin Chen, National University of Singapore; et al. Ziling Chou, National University of Singapore |
2009 | Paramvir Bahl, Microsoft Research; et al. Ranveer Chandra, Microsoft Research | |
2008 | ZigZag Decoding: Combating Hidden Terminals in Wireless Networks | Shyamnath Gollakota & Dina Katabi, Massachusetts Institute of Technology |
2012 | Mark Smucker & Charles Clarke, University of Waterloo | |
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 |
2010 | Assessing the Scenic Route: Measuring the Value of Search Trails in Web Logs | Ryen W. White, Microsoft Research |
2009 | Jaime Arguello, Carnegie Mellon University; et al. Fernando Diaz, Yahoo! Research | |
2008 | Jeremy Pickens, FX Palo Alto Lab; et al. Gene Golovchinsky, 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 |
2006 | Ben Carterette, University of Massachusetts Amherst; et al. James Allan, University of Massachusetts Amherst | |
2005 | Elad Yom-Tov, IBM Research; et al. Shai Fine, IBM Research | |
2004 | Hui Fang, University of Illinois at Urbana-Champaign; et al. Tao Tao, University of Illinois at Urbana-Champaign | |
2003 | Re-examining the potential effectiveness of interactive query expansion | Ian Ruthven, University of Strathclyde |
2002 | Yi Zhang, Carnegie Mellon University; et al. Jamie Callan, Carnegie Mellon University | |
2001 | James Allan, University of Massachusetts Amherst; et al. Rahul Gupta, University of Massachusetts Amherst | |
2000 | IR evaluation methods for retrieving highly relevant documents | Kalervo Järvelin & Jaana Kekäläinen, University of Tampere |
1999 | Jian-Yun Nie, Université de Montréal; et al. Michel Simard, 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 |
1996 | Retrieving spoken documents by combining multiple index sources | Gareth Jones, University of Cambridge; et al. Jonathan Foote, University of Cambridge |
2012 | Temperature management in data centers: why some (might) like it hot | Nosayba El-Sayed, University of Toronto; et al. Ioan Stefanovici, University of Toronto |
2011 | Topology Discovery of Sparse Random Graphs With Few Participants | Animashree Anandkumar, University of California Irvine; et al. Avinatan Hassidim, Google |
2010 | Load balancing via random local search in closed and open systems | Ayalvadi Ganesh, University of Bristol; et al. Sarah Lilienthal, Cambridge University |
2009 | Augustin Chaintreau, Technicolor; et al. Jean-Yves Le Boudec, École Polytechnique Fédérale de Lausanne | |
2008 | Counter Braids: A Novel Counter Architecture for Per-Flow Measurement | Yi Lu, Stanford University; et al. Andrea Montanari, Stanford University |
2007 | Michael P. Mesnier, Intel; et al. Matthew Wachs, Carnegie Mellon University | |
2006 | Eytan Modiano, Massachusetts Institute of Technology; et al. Devavrat Shah, Massachusetts Institute of Technology | |
2005 | Laurent Massoulié & Milan Vojnović, Microsoft Research | |
2004 | On performance bounds for the integration of elastic and adaptive streaming flows | Thomas Bonald & Alexandre Proutiere, France Telecom |
1996 | James D. Salehi, University of Massachusetts Amherst; et al. Zhi-Li Zhang, University of Massachusetts Amherst | |
Exploiting process lifetime distributions for dynamic load balancing | Mor Harchol-Balter & Allen B. Downey, University of California Berkeley | |
2012 | Barzan Mozafari, Massachusetts Institute of Technology; et al. Kai Zeng, University of California Los Angeles | |
2011 | Entangled Queries: Enabling Declarative Data-Driven Coordination | Nitin Gupta, Cornell University; et al. Lucja Kot, Cornell University |
2010 | FAST: fast architecture sensitive tree search on modern CPUs and GPUs | Changkyu Kim, Intel; et al. Jatin Chhugani, Intel |
2009 | Christopher Olston, Yahoo! Research; et al. Shubham Chopra, Yahoo! Research | |
2008 | Michael J. Cahill, University of Sydney; et al. Uwe Röhm, University of Sydney | |
2007 | Sergey Melnik, Microsoft Research; et al. Atul Adya, Microsoft | |
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 |
2004 | Indexing spatio-temporal trajectories with Chebyshev polynomials | Yuhan Cai & Raymond T. Ng, University of British Columbia |
2003 | Andrew Witkowski, Oracle; et al. Srikanth Bellakonda, 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 |
2000 | Hartmut Liefke, University of Pennsylvania | |
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 | Stefan Berchtold, University of Munich; et al. Christian Böml, University of Munich | |
1996 | Venky Harinarayan, Stanford University; et al. Anand Rajaraman, Stanford University | |
2012 | Martin Čadek, Masaryk University; et al. Marek Krčál, Charles University | |
2011 | An Almost Optimal Unrestricted Fast Johnson-Lindenstrauss Transform | Nir Ailon, Technion |
2010 | An O(log n/log log n)-approximation Algorithm for the Asymmetric Traveling Salesman Problem | Arash Asadpour, Stanford University; et al. Michel X. Goemans, Massachusetts Institute of Technology |
2009 | Bernard Chazelle, Princeton University | |
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 |
Jeremy Andrus, Columbia University; et al. Christoffer Dall, Columbia University | ||
2009 | David G. Andersen, Carnegie Mellon University; et al. Jason Franklin, Carnegie Mellon University | |
Gerwin Klein, NICTA; et al. Kevin Elphinstone, NICTA | ||
RouteBricks: Exploiting Parallelism to Scale Software Routers | Mihai Dobrescu, École Polytechnique Fédérale de Lausanne; et al. Norbert Egi, Lancaster University | |
2007 | Ramakrishna Kotla, University of Texas at Austin; et al. Lorenzo Alvisi, 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 | |
Stephen Chong, Cornell University; et al. Jed Liu, Cornell University | ||
2005 | Edmund B. Nightingale, University of Michigan; et al. Peter M. Chen, University of Michigan | |
Amitanand S. Aiyer, University of Texas at Austin; et al. Lorenzo Alvisi, University of Texas at Austin | ||
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 | |
Manuel Costa, University of Cambridge; et al. Jon Crowcroft, University of Cambridge | ||
2003 | Samuel T. King & Peter M. Chen, University of Michigan | |
Petros Maniatis, Stanford University; et al. David S. H. Rosenthal, Stanford University | ||
Michael M. Swift, University of Washington; et al. Brian N. Bershad, University of Washington | ||
2001 | Rodrigo Rodrigues, Massachusetts Institute of Technology; et al. Miguel Castro, Microsoft Research | |
Untrusted hosts and confidentiality: secure program partitioning | Steve Zdancewic, Cornell University; et al. Lantian Zheng, 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 |
Soft timers: efficient microsecond software timer support for network processing | Mohit Aron & Peter Druschel, Rice University | |
Robert Morris, Massachusetts Institute of Technology; et al. Eddie Kohler, Massachusetts Institute of Technology | ||
Yasushi Saito, University of Washington; et al. Brian N. Bershad, University of Washington | ||
1997 | Jennifer M. Anderson, Digital Equipment Corporation; et al. Lance M. Berc, Digital Equipment Corporation | |
Disco: running commodity operating systems on scalable multiprocessors | Edouard Bugnion, Stanford University; et al. Scott Devine, Stanford University | |
Eraser: a dynamic data race detector for multithreaded programs | Stefan Savage, University of Washington; et al. Michael Burrows, Digital Equipment Corporation | |
2012 | Linear vs. Semidefinite Extended Formulations: Exponential Separation and Strong Lower Bounds | Samuel Fiorini, Université libre de Bruxelles; et al. Serge Massar, Université libre de Bruxelles |
Kasper Larsen, Aarhus University | ||
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 |
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm | Oliver Friedmann, University of Munich; et al. Thomas Dueholm Hansen, Aarhus University | |
2010 | Jaroslaw Byrka, École Polytechnique Fédérale de Lausanne; et al. Fabrizio Grandoni, University of Tor Vergata | |
Rahul Jain, National University of Singapore; et al. Zhengfeng Ji, Perimeter Institute for Theoretical Physics | ||
2009 | 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 | Martin Fürer, Pennsylvania State University | |
Towards 3-query locally decodable codes of subexponential length | Sergey Yekhanin, Massachusetts Institute of Technology | |
2006 | Irit Dinur, Hebrew University | |
2005 | 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 |
Sanjeev Arora, Princeton University; et al. Satish Rao, University of California Berkeley | ||
2003 | Derandomizing polynomial identity tests means proving circuit lower bounds | Valentine Kabanets & Russell Impagliazzo, University of California San Diego |
Oded Regev, Tel-Aviv University | ||
2012 | CrowdScape: interactively visualizing user behavior and output | Jeffrey Rzeszotarski & Aniket Kitur, Carnegie Mellon University |
Neel Joshi, Microsoft Research; et al. Sisil Mehta, Georgia Institute of Technology | ||
Sean Follmer, Massachusetts Institute of Technology; et al. Daniel Leithinger, Massachusetts Institute of Technology | ||
2011 | SideBySide: Ad-hoc Multi-user Interaction with Handheld Projectors | Karl D.D. Willis, Carnegie Mellon University; et al. Ivan Poupyrev, Disney Research |
2010 | Jeffrey P. Bigham, University of Rochester; et al. Chandrika Jayant, University of Washington | |
2009 | Nicolas Villar, Microsoft Research; et al. Shahram Izadi, Microsoft Research | |
2008 | Andrew D. Wilson, Microsoft Research; et al. Shahram Izadi, Microsoft Research | |
2007 | ThinSight: Versatile Multi-touch Sensing for Thin Form-factor Displays | Steve Hodges, Microsoft Research; et al. Shahram Izadi, Microsoft Research |
2006 | Reflective Physical Prototyping through Integrated Design, Test, and Analysis | Björn Hartmann, Stanford University; et al. Scott Klemmer, Stanford University |
2005 | Michael Bolin, Massachusetts Institute of Technology; et al. Matthew Webber, 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 |
Georg Apitz & François Guimbretière, University of Maryland | ||
2003 | Eric Saund, Palo Alto Research Center; et al. David Fleet, Palo Alto Research Center | |
2002 | Takeo Igarashi, University of Tokyo | |
2001 | Phidgets: Easy Development of Physical Interfaces through Physical Widgets | Saul Greenberg & Chester Fitchett, University of Calgary |
2000 | Ken Hinckley, Microsoft Research; et al. Jeff Pierce, Microsoft Research | |
1996 | Indigo: A Local Propagation Algorithm for Inequality Constraints | Alan Borning, University of Washington; et al. Richard Anderson, University of Washington |
2012 | Dense Subgraph Maintenance under Streaming Edge Weight Updates for Real-time Story Identification | Albert Angel, University of Toronto; et al. Nick Koudas, University of Toronto |
2011 | Umar Farooq Minhas, University of Waterloo; et al. Shriram Rajagopalan, University of British Columbia | |
2010 | Shuai Ma, University of Edinburgh; et al. Wenfei Fan, University of Edinburgh | |
2009 | Jian Li, University of Maryland; et al. Barna Saha, University of Maryland | |
2008 | Graham Cormode & Marios Hadjieleftheriou, AT&T Laboratories | |
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 |
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 |
2005 | Cache-conscious Frequent Pattern Mining on a Modern Processor | Amol Ghoting, Ohio State University; et al. Gregory Buehrer, Ohio State University |
2004 | Amol Deshpande, University of California Berkeley; et al. Carlos Guestrin, Intel Research | |
2001 | Anastassia Ailamaki, Carnegie Mellon University; et al. David J. DeWitt, University of Wisconsin | |
1997 | Wee Teck Ng & Peter M. Chen, University of Michigan | |
2012 | Counting Beyond a Yottabyte, or how SPARQL 1.1 Property Paths will Prevent Adoption of the Standard | Marcelo Arenas, Pontificia Universidad Católica de Chile; et al. Sebastián Conca, Pontificia Universidad Católica de Chile |
2011 | Beibei Li, New York University; et al. Anindya Ghose, New York University | |
2010 | Factorizing personalized Markov chains for next-basket recommendation | Steffen Rendle, Osaka University; et al. Christoph Freudenthaler, University of Hildesheim |
2009 | Ashish Goel, Stanford University | |
2008 | Hsin-Tsang Lee, Texas A&M University; et al. Derek Leonard, Texas A&M University | |
2007 | Lars Backstrom, Cornell University; et al. Cynthia Dwork, Microsoft Research | |
2006 | Ziv Bar-Yossef & Maxim Gurevich, Technion | |
2005 | Three-level caching for efficient query processing in large Web search engines | Xiaohui Long & Torsten Suel, Polytechnic Institute of New York University |
2004 | Automatic detection of fragments in dynamically generated web pages | Lakshmish Ramaswamy, Georgia Institute of Technology; et al. Arun Iyengar, IBM Research |
2003 | 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 | |
2002 | 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 |
2000 | Andrei Broder, AltaVista; et al. Ravi Kumar, IBM Research | |
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 |
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 |
Microsoft Research | 26.2 |
Carnegie Mellon University | 22.5 |
Stanford University | 22.0 |
Massachusetts Institute of Technology | 20.6 |
University of Washington | 20.3 |
University of California Berkeley | 17.3 |
University of Toronto | 13.3 |
Cornell University | 10.9 |
University of Illinois at Urbana-Champaign | 9.9 |
University of Texas at Austin | 9.4 |
University of British Columbia | 8.8 |
IBM Research | 8.4 |
University of Oxford | 6.2 |
Georgia Institute of Technology | 6.0 |
University of California Irvine | 5.9 |
| 5.7 |
Princeton University | 5.6 |
University of Massachusetts Amherst | 5.2 |
AT&T Laboratories | 4.9 |
University of Maryland | 4.8 |
Yahoo! Research | 4.8 |
Weizmann Institute of Science | 4.5 |
McGill University | 4.4 |
University of California San Diego | 4.1 |
University of Michigan | 4.0 |
École Polytechnique Fédérale de Lausanne | 3.9 |
Technion | 3.8 |
Rice University | 3.5 |
Brown University | 3.3 |
Bell Labs | 3.3 |
University of Nottingham | 3.3 |
Université Paris-Sud | 3.1 |
Columbia University | 3.1 |
National University of Singapore | 3.0 |
DePaul University | 3.0 |
University of Alberta | 3.0 |
Hewlett-Packard Labs | 3.0 |
University of Wisconsin | 2.8 |
ETH Zurich | 2.8 |
University of North Carolina at Chapel Hill | 2.8 |
NEC Labs America | 2.7 |
University of Nebraska-Lincoln | 2.6 |
Max Planck Institut | 2.6 |
University of Cambridge | 2.6 |
Ohio State University | 2.4 |
University of Waterloo | 2.4 |
Duke University | 2.3 |
Toyota Technological Institute at Chicago | 2.3 |
University of Pennsylvania | 2.3 |
Aarhus University | 2.3 |
Tel-Aviv University | 2.2 |
Saarland University | 2.1 |
Polytechnic Institute of New York University | 2.0 |
University College London | 2.0 |
Universidade Técnica de Lisboa | 2.0 |
Indiana University at Bloomington | 2.0 |
BBN Technologies | 2.0 |
NASA Ames Research Center | 2.0 |
Credit is given in decreasingauthor 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 reflectthe current state of best paper awards, and is not an official list. If you arenot satisfied with the ranking listed here, please disregard it.