计算机、机器视觉、图像处理顶级会议的最佳论文Best Paper Awards in Computer Science

[-]

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)

 

AAAI (Artificial Intelligence)

2012

Document Summarization Based on Data Reconstruction

Zhanying He, Zhejiang University; et al.

Chun Chen, Zhejiang University
Jiajun Bu, Zhejiang University
Can Wang, Zhejiang University
Lijan Zhang, Zhejiang University
Deng Cai, Zhejiang University
Xiaofei He, Zhejiang University

Learning SVM Classiiers with Indeinite Kernels

Suicheng Gu & Yuhong Guo, Temple University

2011

Dynamic Resource Allocation in Conservation Planning

Daniel Golovin, California Institute of Technology; et al.

Andreas Krause, ETH Zurich
Beth Gardner, North Carolina State University
Sarah J. Converse, Patuxent Wildlife Research Center
Steve Morey, U.S. Fish and Wildlife Service

Complexity of and Algorithms for Borda Manipulation

Jessica Davies, University of Toronto; et al.

George Katsirelos, Université Paris-Sud
Nina Narodytska, University of New South Wales
Toby Walsh, NICTA

2010

How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Ans...

Giorgos Stoilos, Oxford University; et al.

Bernardo Cuenca Grau, Oxford University
Ian Horrocks, 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
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; et al.

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; et al.

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; et al.

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; et al.

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; et al.

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)

2012

String Re-writing Kernel

Fan Bu, Tsinghua University; et al.

Hang Li, Microsoft Research
Xiaoyan Zhu, Tsinghua University

Bayesian Symbol-Refined Tree Substitution Grammars for Syntactic Parsing

Hiroyuki Shindo, NTT Communication Science Laboratories; et al.

Yusuke Miyao, National Institute of Informatics
Akinori Fujino, NTT Communication Science Laboratories
Masaaki Nagata, NTT Communication Science Laboratories

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)

2012

Uncomfortable Interactions

Steve Benford, University of Nottingham; et al.

Chris Greenhalgh, University of Nottingham
Gabriella Giannachi, University of Exeter
Brendan Walker, University of Nottingham
Joe Marshall, University of Nottingham
Tom Rodden, University of Nottingham

ClayVision: The (Elastic) Image of the City

Yuichiro Takeuchi, Sony Computer Science Laboratories
Ken Perlin, New York University

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
Jakob Tholanderm, Stockholm University

Personas and Decision Making in the Design Process: An Ethnographic Case Study

Erin Friess, University of North Texas

Detecting Error-Related Negativity for Interaction Design

Chi Vi & Sriram Subramanian, University of Bristol

Observational and Experimental Investigation of Typing Behaviour using Virtual Keyboards for Mobil...

Niels Henze, University of Oldenburg; et al.

Enrico Rukzio, University of Duisburg-Essen
Susanne Boll, University of Oldenburg

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
Gilles Bailly, Technische Universität Berlin
Michael Nischt, Technische Universität Berlin
Florian Alt, University of Stuttgart

Touché: Enhancing Touch Interaction on Humans, Screens, Liquids, and Everyday Objects

Munehiko Sato, Disney Research; et al.

Ivan Poupyrev, Disney Research
Chris Harrison, Disney Research

Affordances in HCI: Toward a Mediated Action Perspective

Victor Kaptelinin, University of Bergen
Bonnie Nardi, University of California Irvine

Using Rhythmic Patterns as an Input Method

Emilien Ghomi, Université Paris-Sud; et al.

Guillaume Faure, Université Paris-Sud
Stephane Huot, Université Paris-Sud
Olivier Chapuis, Université Paris-Sud
Michel Beaudouin-Lafon, Université Paris-Sud

The Normal Natural Troubles of Driving with GPS

Barry Brown, Stockholm University
Eric Laurier, University of Edinburgh

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
Kuang Chen, University of California Berkeley
Tapan S. Parikh, University of California Berkeley
Björn Hartmann, University of California Berkeley

Improving Command Selection with CommandMaps

Joey Scarr, University of Canterbury; et al.

Andy Cockburn, University of Canterbury
Carl Gutwin, University of Saskatchewan
Andrea Bunt, University of Manitoba

Empathy, Participatory Design and People with Dementia

Stephen Lindsay, Newcastle University; et al.

Katie Britain, Newcastle University
Daniel Jackson, Newcastle University
Cassim Ladha, Newcastle University
Karim Ladha, Newcastle University
Patrick Olivier, 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
Richard E. Ladner, 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
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 E...

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 Wor...

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 Co...

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 Ser...

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 Inte...

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 recognit...

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)

2012

Gelling, and Melting, Large Graphs by Edge Manipulation

Hanghang Tong, IBM Research; et al.

B. Aditya Prakash, Virginia Tech
Tina Eliassi-Rad, Rutgers University
Michalis Faloutsos, University of California Riverside
Christos Faloutsos, Carnegie Mellon University

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)

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
Mingyi He, Northwestern Polytechnical University

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 usi...

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)

2012

A multi-prover interactive proof for NEXP sound against entangled provers

Tsuyoshi Ito, NEC Labs America
Thomas Vidick, Massachusetts Institute of Technology

A Polylogarithimic Approximation Algorithm for Edge-Disjoint Paths with Congestion 2

Julia Chuzhoy, Toyota Technological Institute at Chicago
Shi Li, Princeton University

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 M...

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 contribu...

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 Paramet...

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)

2012

Bayesian Posterior Sampling via Stochastic Gradient Fisher Scoring

Sungjin Ahn, University of California Irvine; et al.

Anoop Korattikara, University of California Irvine
Max Welling, University of California Irvine

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, Toyota Technological Institute at 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)

2012

Understanding Integer Overflow in C/C++

Will Dietz, University of Illinois at Urbana-Champaign; et al.

Peng Li, University of Utah
John Regehr, University of Utah
Vikram Adve, University of Illinois at Urbana-Champaign

Using Dynamic Analysis to Discover Polynomial and Array Invariants

ThanhVu Nguyen, University of New Mexico; et al.

Deepak Kapur, University of New Mexico
Westley Weimer, University of New Mexico
Stephanie Forrest, University of New Mexico

Amplifying Tests to Validate Exception Handling Code

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
Marsha Chechik, University of Toronto

How Do Professional Developers Comprehend Software?

Tobias Roehm, Technische Universität München; et al.

Rebecca Tiarks, University of Bremen
Rainer Koschke, University of Bremen
Walid Maalej, Technische Universität München

A Tactic-Centric Approach for Automating Traceability of Quality Concerns

Mehdi Mirakhorli, DePaul University; et al.

Yonghee Shin, DePaul University
Jane Cleland-Huang, DePaul University
Murat Cinar, 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

Configuring Global Software Teams: A Multi-Company Analysis of Project Productivity, Quality, and ...

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 Pe...

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; 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 Pro...

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 Prolo...

Fangzhen Lin, The Hongkong University of Science and Technology

INFOCOM (Networking)

2012

Multi-resource allocation: Fairness-efficiency tradeoffs in a unifying framework

Carlee Joe-Wong, Princeton University; et al.

Soumya Sen, Princeton University
Tian Lan, George Washington University
Mung Chiang, Princeton University

2011

Dynamic right-sizing for power-proportional data centers

Minghong Lin, California Institute of Technology; et al.

Adam Wierman, California Institute of Technology
Lachlan Andrew, Swinburne University of Technology
Eno Thereska, Microsoft Research

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
Roch Guérin, University of Pennsylvania
Zhi-Li Zhang, University of Minnesota

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
Keith W. Ross, 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
Kameswari Chebrolu, Indian Institute of Technology
Bhaskaran Rama, Indian Institute of Technology

Theoretical Results on Base Station Movement Problem for Sensor Networks

Yi Shi & Y. Thomas Hou, Virginia Tech

Understanding the Capacity Region of the Greedy Maximal Scheduling Algorithm in Multi-hop Wireless...

Changhee Joo, Ohio State University; et al.

Xiaojun Lin, Purdue University
Ness B. Shroff, Ohio State University

2007

Disruption free topology reconfiguration in OSPF networks

Pierre Francois, Université catholique de Louvain; et al.

Mike Shand, Cisco Systems
Olicier Bonaventure, Université catholique de Louvain

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
Ness Shroff, Purdue University

2005

Perfect Simulation and Stationarity of a Class of Mobility Models

Jean-Yves Le Boude, École Polytechnique Fédérale de Lausanne
Milan Vojnović, Microsoft Research

2004

Throughput-Delay Trade-Off in Wireless Networks

Abbas El Gamal, Stanford University; et al.

James Mammen, Stanford University
Balaji Prabhakar, Stanford University
Devavrat Shah, Stanford University

2003

User-Level Performance of Channel-Aware Scheduling Algorithms in Wireless Data Networks

Sem Borst, Bell Labs

2002

Priority Service and Max-Min Fairness

Peter Marbach, University of Toronto

2001

Mobility increases the capacity of ad-hoc wireless networks

Matthias Grossglauser, AT&T Laboratories
David Tse, University of California Berkeley

2000

The Chaotic Nature of TCP Congestion Control

András Veres, Ericsson
Miklós Boda, Ericsson Research

1999

Bandwidth Sharing: Objectives and Algorithms

Laurent Massoulié, Microsoft Research
James Robert, France Télécom R&D

1998

Effective Bandwidths in Wireless Networks with Multiuser Receivers

David Tse, University of California Berkeley
Stephen Hanly, University of Melbourne

1996

An algorithm for multicast tree generation in networks with asymmetric links

Ram Ramanathan, BBN Technologies

KDD (Data Mining)

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
Abdullah Mueen, University of California Riverside
Gustavo Batista, University of São Paulo
Brandon Westover, Brigham and Women's Hospital
Qiang Zhu, University of California Riverside
Jesin Zakaria, University of California Riverside
Eamonn Keogh, 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
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 Di...

Foster Provost & Tom Fawcett, NYNEX Science and Technology

NSDI (Networking)

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
Tathagata Das, University of California Berkeley
Ankur Dave, University of California Berkeley
Justin Ma, University of California Berkeley
Murphy McCauley, University of California Berkeley
Michael J. Franklin, University of California Berkeley
Scott Shenker, University of California Berkeley
Ion Stoica, 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
Adam Greenhalgh, University College London
Mark Handley, University College London

ServerSwitch: A Programmable and High Performance Platform for Data Center Networks

Guohan Lu, Microsoft Research; et al.

Chuanxiong Guo, Microsoft Research
Yulong Li, Microsoft Research
Zhiqiang Zhou, Tsinghua University
Tong Yuan, Microsoft Research
Haitao Wu, Microsoft Research
Yongqiang Xiong, Microsoft Research
Rui Gao, Microsoft Research
Yongguang Zhang, Microsoft Research

2010

Reverse traceroute

Ethan Katz-Bassett, University of Washington; et al.

Harsha V. Madhyastha, University of California San Diego
Vijay Kumar Adhikari, University of Minnesota
Colin Scott, University of Washington
Justine Sherry, University of Washington
Peter van Wesep, University of Washington
Thomas Anderson, University of Washington
Arvind Krishnamurthy, University of Washington

2009

TrInc: Small Trusted Hardware for Large Distributed Systems

Dave Levin, University of Maryland; et al.

John R. Douceur, Microsoft Research
Jacob R. Lorch, Microsoft Research
Thomas Moscibroda, 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
Dutch Meyer, University of British Columbia
Mike Feeley, University of British Columbia
Norm Hutchinson, University of British Columbia
Andrew Warfield, University of British Columbia

Consensus Routing: The Internet as a Distributed System

John P. John, University of Washington; et al.

Ethan Katz-Bassett, University of Washington
Arvind Krishnamurthy, University of Washington
Thomas Anderson, University of Washington
Arun Venkataramani, University of Massachusetts Amherst

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
Ranjit Jhala, University of California San Diego
Amin Vahdat, 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

Replay Debugging for Distributed Applications

Dennis Geels, University of California Berkeley; et al.

Gautam Altekar, University of California Berkeley
Scott Shenker, University of California Berkeley
Ion Stoica, University of California Berkeley

2005

Detecting BGP Configuration Faults with Static Analysis

Nick Feamster & Hari Balakrishnan, Massachusetts Institute of Technology

2004

Trickle: A Self-Regulating Algorithm for Code Propagation and Maintenance in Wireless Sensor Netwo...

Philip Levis, University of California Berkeley; et al.

Neil Patel, University of California Berkeley
David Culler, University of California Berkeley
Scott Shenker, University of California Berkeley

OSDI (Operating Systems)

2012

Spanner: Google's Globally-Distributed Database

James C. Corbett, Google; et al.

Jeffrey Dean, Google
Michael Epstein, Google
Andrew Fikes, Google
Christopher Frost, Google
JJ Furman, Google
Sanjay Ghemawat, Google
Andrey Gubarev, Google
Christopher Heiser, Google
Peter Hochschild, Google
Wilson Hsieh, Google
Sebastian Kanthak, Google
Eugene Kogan, Google
Hongyi Li, Google
Alexander Lloyd, Google
Sergey Melnik, Google
David Mwaura, Google
David Nagle, Google
Sean Quinlan, Google
Rajesh Rao, Google
Lindsay Rolig, Google
Yasushi Saito, Google
Michal Szymaniak, Google
Christopher Taylor, Google
Ruth Wang, Google
Dale Woodford, Google

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 Lan...

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

Safe Kernel Extensions Without Run-Time Checking

George C. Necula & Peter Lee, Carnegie Mellon University

PLDI (Programming Languages)

2012

Concurrent Data Representation Synthesis

Peter Hawkins, Stanford University; et al.

Alex Aiken, Stanford University
Kathleen Fisher, Tufts University
Martin Rinard, Massachusetts Institute of Technology
Mooly Sagiv, Tel-Aviv University

2011

Data Representation Synthesis

Peter Hawkins, Stanford University; et al.

Alex Aiken, Stanford University
Kathleen Fisher, Tufts University
Martin Rinard, Massachusetts Institute of Technology
Mooly Sagiv, Tel-Aviv University

2010

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Jean Yang, Massachusetts Institute of Technology
Chris Hawblitzel, Microsoft Research

2009

Binary Analysis for Measurement and Attribution of Program Performance

Nathan Tallent, Rice University; et al.

John Mellor-Crummey, Rice University
Michael Fagan, Rice University

2007

Fault-tolerant Typed Assembly Language

Frances Perry, Princeton University; et al.

Lester Mackey, Princeton University
George A. Reis, Princeton University
Jay Ligatti, University of South Florida
David I. August, Princeton University
David Walker, 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

Programming by Sketching for Bit-Streaming Programs

Armando Solar-Lezama, University of California Berkeley; et al.

Rodric Rabbah, Massachusetts Institute of Technology
Rastislav Bodik, University of California Berkeley
Kemal Ebcioğlu, IBM Research

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
Craig Chambers, University of Washington

2000

Dynamo: a transparent dynamic optimization system

Vasanth Bala, Hewlett-Packard Labs; et al.

Evelyn Duesterwald, Hewlett-Packard Labs
Sanjeev Banerjia, InCert

1999

Whole program paths

James R. Larus, Microsoft Research

PODS (Databases)

2012

Worst-case Optimal Join Algorithms

Hung Q. Ngo, University at Buffalo; et al.

Ely Porat, Bar-Ilan University
Christopher Ré, University of Wisconsin
Atri Rudra, University at Buffalo

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; et al.

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

S&P (Security and Privacy)

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
Carsten Willems, Ruhr-Universität Bochum
Christof Paar, Ruhr-Universität Bochum
Thorsten Holz, 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
Kevin Snow, University of North Carolina at Chapel Hill
Fabian Monrose, University of North Carolina at Chapel Hill

2010

SCiFI - A System for Secure Face Identification

Margarita Osadchy, University of Haifa; et al.

Benny Pinkas, University of Haifa
Ayman Jarrous, University of Haifa
Boaz Moskovich, University of Haifa

2009

Native Client: A Sandbox for Portable, Untrusted x86 Native Code

Bennet Yee, Google; et al.

David Sehr, Google
Gregory Dardyk, Google
Bradley Chen, Google
Robert Muth, Google
Tavis Ormandy, Google
Shiki Okasaka, Google
Neha Narula, Google
Nicholas Fullagar, 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
Benjamin Ransford, University of Massachusetts Amherst
Shane S. Clark, University of Massachusetts Amherst
Benessa Defend, University of Massachusetts Amherst
Will Morgan, University of Massachusetts Amherst
Kevin Fu, University of Massachusetts Amherst
Tadayoshi Kohno, University of Washington
William H. Maisel, Harvard University

SIGCOMM (Networking)

2012

Multi-Resource Fair Queueing for Packet Processing

Ali Ghodsi, University of California Berkeley; et al.

Vyas Sekar, Intel Research
Matei Zaharia, University of California Berkeley
Ion Stoica, University of California Berkeley

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
Benjamin Ransford, University of Massachusetts Amherst
Dina Katabi, Massachusetts Institute of Technology
Kevin Fu, University of Massachusetts Amherst

2010

Efficient Error Estimating Coding: Feasibility and Applications

Binbin Chen, National University of Singapore; et al.

Ziling Chou, National University of Singapore
Yuda Zhao, National University of Singapore
Haifeng Yu, National University of Singapore

2009

White Space Networking with Wi-Fi like Connectivity

Paramvir Bahl, Microsoft Research; et al.

Ranveer Chandra, Microsoft Research
Thomas Moscibroda, Microsoft Research
Rohan Murty, Harvard University
Matt Welsh, Harvard University

2008

ZigZag Decoding: Combating Hidden Terminals in Wireless Networks

Shyamnath Gollakota & Dina Katabi, Massachusetts Institute of Technology

SIGIR (Information Retrieval)

2012

Time-Based Calibration of Effectiveness Measures

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
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 dis...

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 text...

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

SIGMETRICS (Performance)

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
George Amvrosiadis, University of Toronto
Andy A. Hwang, University of Toronto
Bianca Schroeder, University of Toronto

2011

Topology Discovery of Sparse Random Graphs With Few Participants

Animashree Anandkumar, University of California Irvine; et al.

Avinatan Hassidim, Google
Jonathan Kelner, Massachusetts Institute of Technology

2010

Load balancing via random local search in closed and open systems

Ayalvadi Ganesh, University of Bristol; et al.

Sarah Lilienthal, Cambridge University
D. Manjunath, Indian Institute of Technology
Alexandre Proutière, Microsoft Research
Florian Simatos, INRIA

2009

The Age of Gossip: Spatial Mean Field Regime

Augustin Chaintreau, Technicolor; et al.

Jean-Yves Le Boudec, École Polytechnique Fédérale de Lausanne
Nikodin Ristanovic, É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
Balaji Prabhakar, Stanford University
Sarang Dharmapurikar, Cisco Systems
Abdul Kabbani, Stanford University

2007

Modeling the Relative Fitness of Storage

Michael P. Mesnier, Intel; et al.

Matthew Wachs, Carnegie Mellon University
Raja R. Sambasivan, Carnegie Mellon University
Alice X. Zheng, Carnegie Mellon University
Gregory R. Ganger, Carnegie Mellon University

2006

Maximizing throughput in wireless networks via gossiping

Eytan Modiano, Massachusetts Institute of Technology; et al.

Devavrat Shah, Massachusetts Institute of Technology
Gil Zussman, Massachusetts Institute of Technology

2005

Coupon replication systems

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

Supporting stored video: reducing rate variability and end-to-end resource requirements through op...

James D. Salehi, University of Massachusetts Amherst; et al.

Zhi-Li Zhang, University of Massachusetts Amherst
James F. Kurose, University of Massachusetts Amherst
Don Towsley, University of Massachusetts Amherst

Exploiting process lifetime distributions for dynamic load balancing

Mor Harchol-Balter & Allen B. Downey, University of California Berkeley

SIGMOD (Databases)

2012

High-Performance Complex Event Processing over XML Streams

Barzan Mozafari, Massachusetts Institute of Technology; et al.

Kai Zeng, University of California Los Angeles
Carlo Zaniolo, University of California Los Angeles

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

SODA (Theory)

2012

Computing all maps into a sphere

Martin Čadek, Masaryk University; et al.

Marek Krčál, Charles University
Jiří Matoušel, Charles University
Francis Sergeraert, Université Joseph Fourier
Lukáš Vokřínel, Masaryk University
Uli Wagner, Charles University

2011

An Almost Optimal Unrestricted Fast Johnson-Lindenstrauss Transform

Nir Ailon, Technion
Edo Liberty, Yahoo! Research

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
Aleksander Madry, Massachusetts Institute of Technology
Shayan Oveis Gharan, Stanford University
Amin Saberi, Stanford University

2009

Natural Algorithms

Bernard Chazelle, Princeton 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

Speculative Execution in a Distributed File System

Edmund B. Nightingale, University of Michigan; et al.

Peter M. Chen, University of Michigan
Jason Flinn, University of Michigan

BAR Tolerance for Cooperative Services

Amitanand S. Aiyer, University of Texas at Austin; et al.

Lorenzo Alvisi, University of Texas at Austin
Allen Clement, University of Texas at Austin
Mike Dahlin, University of Texas at Austin
Jean-Philippe Martin, University of Texas at Austin
Carl Porth, 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
Jagadeesan Sundaresan, University of Illinois at Urbana-Champaign
Yuanyuan Zhou, University of Illinois at Urbana-Champaign

Vigilante: End-to-End Containment of Internet Worms

Manuel Costa, University of Cambridge; et al.

Jon Crowcroft, University of Cambridge
Miguel Castro, Microsoft Research
Antony Rowstron, Microsoft Research
Lidong Zhou, Microsoft Research
Lintao Zhang, Microsoft Research
Paul Barham, Microsoft Research

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 se...

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)

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
Sebastian Pokutta, Universität Erlangen Nürnberg
Hans Tiwary, Université libre de Bruxelles
Ronald de Wolf, Centrum Wiskunde & Informatica

The Cell Probe Complexity of Dynamic Range Counting

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
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)

2012

CrowdScape: interactively visualizing user behavior and output

Jeffrey Rzeszotarski & Aniket Kitur, Carnegie Mellon University

Cliplets: juxtaposing still and dynamic imagery

Neel Joshi, Microsoft Research; et al.

Sisil Mehta, Georgia Institute of Technology
Steven Drucker, Microsoft Research
Eric Stollnitz, Microsoft Research
Hugues Hoppe, Microsoft Research
Matt Uyttendaele, Microsoft
Michael Cohen, Microsoft Research

Jamming User Interfaces: Programmable Particle Stiffness and Sensing for Malleable and Shape-Chang...

Sean Follmer, Massachusetts Institute of Technology; et al.

Daniel Leithinger, Massachusetts Institute of Technology
Alex Olwal, Massachusetts Institute of Technology
Nadia Cheng, Massachusetts Institute of Technology
Hiroshi Ishii, 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
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)

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
Nikos Sarkas, University of Toronto
Divesh Srivastava, AT&T Laboratories

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)

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
Jorge Pérez, Universidad de Chile

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 steganogra...

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 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
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

 

Institutions with Best Papers

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

Google

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.

你可能感兴趣的:(图片处理,ios开发)