infocom 2016 paper list

admin/ August 17, 2018/ dissertation


Best Paper Awards in Computer Science (since 1996)

By Conference:   AAAI   ACL   CHI   CIKM   CVPR   FOCS   FSE   ICCV   ICML   ICSE   IJCAI   INFOCOM   KDD   MOBICOM   NSDI   OSDI   PLDI   PODS   S&P   SIGCOMM   SIGIR   SIGMETRICS   SIGMOD   SODA   SOSP   STOC   UIST   VLDB   WWW

Institutions with the most Best Papers

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

AAAI (Artificial Intelligence)
2016 Bidirectional Search That Is Guaranteed to Meet in the Middle Robert C. Holte, University of Alberta ; et al.

Ariel Felner, Ben-Gurion University
Guni Sharon, Ben-Gurion University
Nathan R. Sturtevant, University of Denver
2015 From Non-Negative to General Operator Cost Partitioning Florian Pommerening, University of Basel ; et al.

Malte Helmert, University of Basel
Gabriele Röger, University of Basel
Jendrik Seipp, University of Basel
2014 Recovering from Selection Bias in Causal and Statistical Inference Elias Bareinboim, University of California Los Angeles ; et al.

Jin Tian, Iowa State University
Judea Pearl, University of California Los Angeles
2013 HC-Search: Learning Heuristics and Cost Functions for Structured Prediction Janardhan Rao Doppa, Oregon State University ; et al.

Alan Fern, Oregon State University
Prasad Tadepalli, Oregon State University
SMILe: Shuffled Multiple-Instance Learning Gary Doran & Soumya Ray, Case Western Reserve University
2012 Learning SVM Classifiers with Indefinite Kernels Suicheng Gu & Yuhong Guo, Temple University
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
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)
2016 Finding Non-Arbitrary Form-Meaning Systematicity Using String-Metric Learning for Kernel Regression E. Darío Gutiérrez, University of California Berkeley ; et al.

Roger Levy, Massachusetts Institute of Technology
Benjamin K. Bergen, University of California San Diego
2015 Improving Evaluation of Machine Translation Quality Estimation Yvette Graham, Trinity College Dublin
Learning Dynamic Feature Selection for Fast Sequential Prediction Emma Strubell, University of Massachusetts Amherst ; et al.

Luke Vilnis, University of Massachusetts Amherst
Kate Silverstein, University of Massachusetts Amherst
Andrew McCallum, University of Massachusetts Amherst
2014 Fast and Robust Neural Network Joint Models for Statistical Machine Translation Jacob Devlin, Raytheon BBN Technologies ; et al.

Rabih Zbib, Raytheon BBN Technologies
Zhongqiang Huang, Raytheon BBN Technologies
Thomas Lamar, Raytheon BBN Technologies
Richard Schwartz, Raytheon BBN Technologies
John Makhoul, Raytheon BBN Technologies
2013 Grounded Language Learning from Video Described with Sentences Haonan Yu & Jeffrey Mark Siskind, Purdue University
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)
2016 Building a Personalized, Auto-Calibrating Eye Tracker from User Interactions Michael Xuelin Huang, Hong Kong Polytechnic University ; et al.

Tiffany C.K. Kwok, Hong Kong Polytechnic University
Grace Ngai, Hong Kong Polytechnic University
Stephen C.F. Chan, Hong Kong Polytechnic University
Hong Va Leong, Hong Kong Polytechnic University
Finding Email in a Multi-Account, Multi-Device World Marta E. Cecchinato, University College London ; et al.

Abigail Sellen, Microsoft Research
Milad Shokouhi, Microsoft Research
Gavin Smyth, Microsoft Research
On Looking at the Vagina through Labella Teresa Almeida, Newcastle University ; et al.

Rob Comber, Newcastle University
Gavin Wood, Newcastle University
Dean Saraf, Newcastle University
Madeline Balaam, Newcastle University
Enhancing Cross-Device Interaction Scripting with Interactive Illustrations Pei-Yu (Peggy) Chi, University of California Berkeley ; et al.

Yang Li, Google
Björn Hartmann, University of California Berkeley
Empath: Understanding Topic Signals in Large-Scale Text Ethan Fast, Stanford University ; et al.

Binbin Chen, Stanford University
Michael Bernstein, Stanford University
The Effect of Visual Appearance on the Performance of Continuous Sliders and Visual Analogue Scales Justin Matejka, Autodesk Research ; et al.

Michael Glueck, Autodesk Research
Tovi Grossman, Autodesk Research
George Fitzmaurice, Autodesk Research
HCI Research as Problem-Solving Antti Oulasvirta, Aalto University
Kasper Hornbæk, University of Copenhagen
RapID: A Framework for Fabricating Low-Latency Interactive Objects with RFID Tags Andrew Spielberg, Massachusetts Institute of Technology ; et al.

Alanson Sample, Disney Research
Scott E. Hudson, Carnegie Mellon University
Jennifer Mankoff, Carnegie Mellon University
James McCann, Disney Research
Enabling Designers to Foresee Which Colors Users Cannot See Katharina Reinecke, University of Washington ; et al.

David R. Flatla, University of Dundee
Christopher Brooks, University of Michigan
Designing Movement-based Play With Young People Using Powered Wheelchairs Kathrin Gerling, University of Lincoln ; et al.

Kieran Hicks, University of Lincoln
Michael Kalyn, University of Lincoln
Adam Evans, University of Copenhagen
Conor Linehan, University College Cork
Developing and Validating the User Burden Scale: A Tool for Assessing User Burden in Computing Sys… Hyewon Suh, University of Washington ; et al.

Nina Shahriaree, University of Washington
Eric B. Hekler, Arizona State University
Julie A. Kientz, University of Washington
Momentary Pleasure or Lasting Meaning?: Distinguishing Eudaimonic and Hedonic User Experiences Elisa D. Mekler, University of Basel
Kasper Hornbæk, University of Copenhagen
Understanding and Mitigating the Effects of Device and Cloud Service Design Decisions on the Envir… Chris Preist, University of Bristol ; et al.

Daniel Schien, University of Bristol
Eli Blevis, Indiana University Bloomington
Haptic Wave: A Cross-Modal Interface for Visually Impaired Audio Producers Atau Tanaka & Adam Parkinson, Goldsmiths
“I don’t Want to Wear a Screen”: Probing Perceptions of and Possibilities for Dynamic Displays on … Laura Devendorf, University of California Berkeley ; et al.

Joanne Lo, University of California Berkeley
Noura Howell, University of California Berkeley
Jung Lin Lee, University of California Berkeley
Nan-Wei Gong, Google
M. Emre Karagozler, Google
Shiho Fukuhara, Google
Ivan Poupyrev, Google
Eric Paulos, University of California Berkeley
Kimiko Ryokai, University of California Berkeley
Dear Diary: Teens Reflect on Their Weekly Online Risk Experiences Pamela Wisniewski, University of Central Florida ; et al.

Heng Xu, Pennsylvania State University
Mary Beth Rosson, Pennsylvania State University
Daniel F. Perkins, Pennsylvania State University
John M. Carroll, Pennsylvania State University
Object-Oriented Drawing Haijun Xia, University of Toronto ; et al.

Bruno Araujo, University of Toronto
Tovi Grossman, Autodesk Research
Daniel Wigdor, University of Toronto
Foraging Among an Overabundance of Similar Variants Sruti Srinivasa Ragavan, Oregon State University ; et al.

Sandeep Kaur Kuttal, Oregon State University
Charles Hill, Oregon State University
Anita Sarma, Oregon State University
David Piorkowski, Oregon State University
Margaret Burnett, Oregon State University
Lock n’ LoL: Group-based Limiting Assistance App to Mitigate Smartphone Distractions in Group Acti… Minsam Ko, KAIST ; et al.

Seungwoo Choi, KAIST
Koji Yatani, University of Tokyo
Uichin Lee, KAIST
Learn Piano with BACh: An Adaptive Learning Interface that Adjusts Task Difficulty Based on Brain … Beste F. Yuksel, Tufts University ; et al.

Kurt B. Oleson, Tufts University
Lane Harrison, Worcester Polytechnic Institute
Evan M. Peck, Bucknell University
Daniel Afergan, Tufts University
Remco Chang, Tufts University
Robert JK Jacob, Tufts University
FlexCase: Enhancing Mobile Interaction with a Flexible Sensing and Display Cover Christian Rendl, University of Applied Sciences Upper Austria ; et al.

David Kim, Microsoft Research
Patrick Parzer, University of Applied Sciences Upper Austria
Sean Fanello, Microsoft Research
Martin Zirkl, Institute of Surface Technologies and Photonics
Gregor Scheipl, Joanneum Research Forschungsgesellschaft m.b.H
Michael Haller, University of Applied Sciences Upper Austria
Shahram Izadi, Microsoft Research
Project Jacquard: Interactive Digital Textiles at Scale Ivan Poupyrev, Google ; et al.

Nan-Wei Gong, Google
Shiho Fukuhara, Google
Mustafa Emre Karagozler, Google
Carsten Schwesig, Google
Karen E. Robinson, Google
Smart Touch: Improving Touch Accuracy for People with Motor Impairments with Template Matching Martez E. Mott, University of Washington ; et al.

Radu-Daniel Vatavu, University Stefan cel Mare of Suceava
Shaun K. Kane, University of Colorado Boulder
Jacob O. Wobbrock, University of Washington
2015 What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State … Jelmer P. Borst, University of Groningen ; et al.

Niels A. Taatgen, University of Groningen
Hedderik van Rijn, University of Groningen
VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keybo… Keith Vertanen, Montana Tech ; et al.

Haythem Memmi, Montana Tech
Justin Emge, Montana Tech
Shyam Reyal, University of St Andrews
Per Ola Kristensson, University of Cambridge
Sharing is Caring: Assistive Technology Designs on Thingiverse Erin Buehler, University of Maryland Baltimore County ; et al.

Stacy Branham, University of Maryland Baltimore County
Abdullah Ali, University of Maryland Baltimore County
Jeremy J. Chang, University of Maryland Baltimore County
Megan Kelly Hofmann, Colorado State University
Amy Hurst, University of Maryland Baltimore County
Shaun K. Kane, University of Maryland Baltimore County
Tiree Energy Pulse: Exploring Renewable Energy Forecasts on the Edge of the Grid Will Simm, Lancaster University ; et al.

Maria Angela Ferrario, Lancaster University
Adrian Friday, Lancaster University
Peter Newman, Lancaster University
Stephen Forshaw, Lancaster University
Mike Hazas, Lancaster University
Alan Dix, Lancaster University
Unequal Representation and Gender Stereotypes in Image Search Results for Occupations Matthew Kay, University of Washington ; et al.

Cynthia Matuszek, University of Maryland Baltimore County
Sean A. Munson, University of Washington
Resilience Mitigates the Negative Effects of Adolescent Internet Addiction and Online Risk Exposure Pamela Wisniewski, Pennsylvania State University ; et al.

Haiyan Jia, Pennsylvania State University
Na Wang, Pennsylvania State University
Saijing Zheng, Pennsylvania State University
Heng Xu, Pennsylvania State University
Mary Beth Rosson, Pennsylvania State University
John Carroll, Pennsylvania State University
Affordance++: Allowing Objects to Communicate Dynamic Use Pedro Lopes, Hasso Plattner Institute ; et al.

Patrik Jonell, Hasso Plattner Institute
Patrick Baudisch, Hasso Plattner Institute
Designing Political Deliberation Environments to Support Interactions in the Public Sphere Bryan Semaan, Syracuse University ; et al.

Heather Faucett, University of California Irvine
Scott P. Robertson, University of Hawaii at Manoa
Misa Maruyama, University of Hawaii at Manoa
Sara Douglas, University of Hawaii at Manoa
ColourID: Improving Colour Identification for People with Impaired Colour Vision David R. Flatla, University of Dundee ; et al.

Alan R. Andrade, University of Dundee
Ross D. Teviotdale, University of Dundee
Dylan L. Knowles, University of Saskatchewan
Craig Stewart, University of Dundee
Fluid Grouping: Quantifying Group Engagement around Interactive Tabletop Exhibits in the Wild Florian Block, Harvard University ; et al.

James Hammerman, TERC
Michael Horn, Northwestern University
Amy Spiegel, University of Nebraska-Lincoln
Jonathan Christiansen, TERC
Brenda Phillips, Harvard University
Judy Diamond, University of Nebraska State Museum
E. Margaret Evans, University of Michigan
Chia Shen, Harvard University
Sangeet Swara: A Community-Moderated Voice Forum in Rural India Aditya Vashistha, University of Washington ; et al.

Edward Cutrell, Microsoft Research
Gaetano Borriello, University of Washington
William Thies, Microsoft Research
Acoustruments: Passive, Acoustically-Driven, Interactive Controls for Handheld Devices Gierad Laput, Carnegie Mellon University ; et al.

Eric Brockmeyer, Disney Research
Scott E. Hudson, Carnegie Mellon University
Chris Harrison, Carnegie Mellon University
iSkin: Flexible, Stretchable and Visually Customizable On-Body Touch Sensors for Mobile Computing Martin Weigel, Max Planck Institut ; et al.

Tong Lu, Carnegie Mellon University
Gilles Bailly, Telecom ParisTech
Antti Oulasvirta, Aalto University
Carmel Majidi, Carnegie Mellon University
Jürgen Steimle, Max Planck Institut
Patina Engraver: Visualizing Activity Logs as Patina in Fashionable Trackers Moon-Hwan Lee, KAIST ; et al.

Seijin Cha, KAIST
Tek-Jin Nam, KAIST
BaseLase: An Interactive Focus+Context Laser Floor Jörg Müller, Aarhus University ; et al.

Dieter Eberle, Technische Universität Berlin
Constantin Schmidt, Technische Universität Berlin
The Social Impact of a Robot Co-Worker in Industrial Settings Allison Sauppé & Bilge Mutlu, University of Wisconsin
“I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms … Motahhare Eslami, University of Illinois at Urbana-Champaign ; et al.

Aimee Rickman, California State University
Kristen Vaccaro, University of Illinois at Urbana-Champaign
Amirhossein Aleyasen, University of Illinois at Urbana-Champaign
Andy Vuong, University of Illinois at Urbana-Champaign
Karrie Karahalios, University of Illinois at Urbana-Champaign
Kevin Hamilton, University of Illinois at Urbana-Champaign
Christian Sandvig, University of Michigan
Understanding and Supporting Fathers and Fatherhood on Social Media Sites Tawfiq Ammari & Sarita Schoenebeck, University of Michigan
Lightweight Relief Shearing for Enhanced Terrain Perception on Interactive Maps Wesley Willett, INRIA ; et al.

Bernhard Jenny, Oregon State University
Tobias Isenberg, INRIA
Pierre Dragicevic, INRIA
From User-Centered to Adoption-Centered Design: A Case Study of an HCI Research Innovation Becomin… Parmit K. Chilana, University of Waterloo ; et al.

Andrew J. Ko, University of Washington
Jacob Wobbrock, University of Washington
2014 Growing Closer on Facebook: Changes in Tie Strength Through Social Network Site Use Moira Burke, Facebook
Robert Kraut, Carnegie Mellon University
Duet: Exploring Joint Interactions on a Smart Phone and a Smart Watch Xiang Anthony Chen, Carnegie Mellon University ; et al.

Tovi Grossman, Autodesk Research
Daniel Wigdor, University of Toronto
George Fitzmaurice, Autodesk Research
RetroDepth: 3D Silhouette Sensing for High-Precision Input On and Above Physical Surfaces David Kim, Microsoft Research ; et al.

Shahram Izadi, Microsoft Research
Jakub Dostal, University of St Andrews
Christoph Rhemann, Microsoft Research
Cem Keskin, Microsoft Research
Christopher Zach, Microsoft Research
Jamie Shotton, Microsoft Research
Timothy Large, Microsoft Research
Steven Bathiche, Microsoft
Matthias Niessner, Stanford University
D. Alex Butler, Microsoft Research
Sean Fanello, Istituto Italiano di Tecnologia
Vivek Pradeep, Microsoft
Estimating the Social Costs of Friendsourcing Jeffrey Rzeszotarski & Meredith Morris, Microsoft Research
Human Values in Curating a Human Rights Media Archive Abigail Durrant, Newcastle University ; et al.

David Kirk, Newcastle University
Stuart Reeves, University of Nottingham
Emerging Sites of HCI Innovation: Hackerspaces, Hardware Startups & Incubators Silvia Lindtner, University of California Irvine ; et al.

Garnet Hertz, University of California Irvine
Paul Dourish, University of California Irvine
Effects of Display Size and Navigation Type on a Classification Task Can Liu, Université Paris-Sud ; et al.

Olivier Chapuis, Université Paris-Sud
Michel Beaudouin-Lafon, Université Paris-Sud
Eric Lecolinet, Telecom ParisTech
Wendy Mackay, INRIA
George Fitzmaurice, Autodesk Research
Towards Accurate and Practical Predictive Models of Active-Vision-Based Visual Search David Kieras, University of Michigan
Anthony Hornof, University of Oregon
Real-time Feedback for Improving Medication Taking Matthew Lee, Philips Research
Anind Dey, Carnegie Mellon University
Making Sustainability Sustainable: Challenges in the Design of Eco-Interaction Technologies Rayoung Yang, University of Michigan ; et al.

Mark Newman, University of Michigan
Jodi Forlizzi, Carnegie Mellon University
Consumed Endurance: A Metric to Quantify Arm Fatigue of Mid-Air Interactions Anders Markussen, University of Copenhagen ; et al.

Mikkel Jakobsen, University of Copenhagen
Kasper Hornbaek, University of Copenhagen
Type-Hover-Swipe in 96 Bytes: A Motion Sensing Mechanical Keyboard Stuart A Taylor, Microsoft Research ; et al.

Cem Keskin, Microsoft Research
Otmar Hilliges, ETH Zurich
Shahram Izadi, Microsoft Research
John Helmes, Microsoft Research
Structured Labeling for Facilitating Concept Evolution in Machine Learning Todd Kulesza, Oregon State University ; et al.

Saleema Amershi, Microsoft Research
Rich Caruana, Microsoft Research
Danyel Fisher, Microsoft Research
Denis Charles, Microsoft Research
MixFab: a Mixed-Reality Environment for Personal Fabrication Christian Weichel, Lancaster University ; et al.

Manfred Lau, Lancaster University
David Kim, Microsoft Research
Nicolas Villar, Microsoft Research
Hans W Gellersen, Lancaster University
Designing for Slowness, Anticipation and Re-visitation: A Long Term Field Study of the Photobox William Odom, Carnegie Mellon University ; et al.

Abigail Sellen, Microsoft Research
Richard Banks, Microsoft Research
David Kirk, Newcastle University
Tim Regan, Microsoft
Mark Selby, University of Nottingham
Jodi Forlizzi, Carnegie Mellon University
John Zimmerman, Carnegie Mellon University
“Narco” Emotions: Affect and Desensitization in Social Media during the Mexican Drug War Munmun De Choudhury, Microsoft Research ; et al.

Andres Monroy-Hernandez, Microsoft Research
Gloria Mark, University of California Irvine
Understanding Multitasking Through Parallelized Strategy Exploration and Individualized Cognitive … Yunfeng Zhang & Anthony Hornof, University of Oregon
2013 Labor Dynamics in a Mobile Micro-Task Market Mohamed Musthag & Deepak Ganesan, University of Massachusetts Amherst
What is “Critical” About Critical Design? Jeffrey Bardzell & Shaowen Bardzell, Indiana University at Bloomington
SPRWeb: Preserving Subjective Responses to Website Colour Schemes through Automatic Recolouring David R. Flatla, University of Saskatchewan ; et al.

Katharina Reinecke, Harvard University
Carl Gutwin, University of Saskatchewan
Krzysztof Z. Gajos, Harvard University
LaserOrigami: Laser-Cutting 3D Objects Stefanie Mueller, Hasso Plattner Institute ; et al.

Bastian Kruck, Hasso Plattner Institute
Patrick Baudisch, Hasso Plattner Institute
Mind the Theoretical Gap: Interpreting, Using, and Developing Behavioral Theory in HCI Research Eric B. Hekler, Arizona State University ; et al.

Predrag Klasnja, University of Michigan
Jon Froehlich, University of Maryland
Matthew P. Buman, University of Maryland
Screenfinity: Extending the Perception Area of Content on Very Large Public Displays Constantin Schmidt, Technische Universität Berlin ; et al.

Jörg Müller, Technische Universität Berlin
Gilles Bailly, Technische Universität Berlin
Reasons to Question Seven Segment Displays Harold Thimbleby, Swansea University
Improving Navigation-Based File Retrieval Stephen Fitchett, University of Canterbury ; et al.

Andy Cockburn, University of Canterbury
Carl Gutwin, University of Saskatchewan
The Dubuque Electricity Portal: Evaluation of a City-Scale Residential Electricity Consumption Fee… Tom Erickson, IBM Research ; et al.

Ming Li, IBM Research
Younghun Kim, IBM Research
Ajay Deshpande, IBM Research
Sambit Sahu, IBM Research
Tian Chao, IBM Research
Piyawadee Sukaviriya, IBM Research
Milind Naphade, IBM Research
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures Tom Rodden, University of Nottingham ; et al.

Joel E. Fischer, University of Nottingham
Nadia Pantidi, University of Nottingham
Khaled Bachour, University of Nottingham
Stuart Moran, University of Nottingham
Job Opportunities through Entertainment: Virally Spread Speech-Based Services for Low-Literate Users Agha Ali Raza, Carnegie Mellon University ; et al.

Farhan Ul Haq, Lahore University of Management Sciences
Zain Tariq, Lahore University of Management Sciences
Mansoor Pervaiz, Northeastern University
Samia Razaq, Lahore University of Management Sciences
Umar Saif, Lahore University of Management Sciences
Roni Rosenfeld, Carnegie Mellon University
IllumiRoom: Peripheral Projected Illusions for Interactive Experiences Brett Jones, University of Illinois at Urbana-Champaign ; et al.

Hrvoje Benko, Microsoft Research
Eyal Ofek, Microsoft Research
Andrew D. Wilson, Microsoft Research
The Efficacy of Human Post-Editing for Language Translation Spence Green, Stanford University ; et al.

Jeffrey Heer, Stanford University
Christopher D. Manning, Stanford University
Analyzing User-Generated YouTube Videos to Understand Touchscreen Use by People with Motor Impairm… Lisa Anthony, University of Maryland Baltimore County ; et al.

YooJin Kim, University of Maryland
Leah Findlater, University of Maryland
Turkopticon: Interrupting Worker Invisibility in Amazon Mechanical Turk Lilly Irani, University of California Irvine
M. Six Silberman, Bureau of Economic Interpretation
Webzeitgeist: Design Mining the Web Ranjitha Kumar, Stanford University ; et al.

Arvind Satyanarayan, Stanford University
Cesar Torres, Stanford University
Maxine Lim, Stanford University
Salman Ahmad, Massachusetts Institute of Technology
Scott R. Klemmer, Stanford University
Jerry O. Talton, Intel
Weighted Graph Comparison Techniques for Brain Connectivity Analysis Basak Alper, University of California Santa Barbara ; et al.

Benjamin Bach, INRIA
Nathalie Riche, Microsoft Research
Tobias Isenberg, INRIA
Jean-Daniel Fekete, INRIA
The Many Faces of Facebook: Experiencing Social Media as Performance, Exhibition, and Personal Arc… Xuan Zhao, Cornell University ; et al.

Niloufar Salehi, Cornell University
Sasha Naranjit, Cornell University
Sara Alwaalan, Cornell University
Stephen Voida, Cornell University
Dan Cosley, Cornell University
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 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 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 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 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 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 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 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)
2016 Vandalism Detection in Wikidata Stefan Heindorf, Paderborn University ; et al.

Martin Potthast, Bauhaus-Universität Weimar
Benno Stein, Bauhaus-Universität Weimar
Gregor Engels, Paderborn University
2015 Assessing the Impact of Syntactic and Semantic Structures for Answer Passages Reranking Kateryna Tymoshenko, University of Trento
Alessandro Moschitti, Qatar Computing Research Institute
2014 Cross-Device Search George Montanez, Carnegie Mellon University ; et al.

Ryen White, Microsoft Research
Xiao Huang, Microsoft
2013 Penguins in Sweaters, or Serendipitous Entity Search on User-generated Content Ilaria Bordino, Yahoo! Research ; et al.

Yelena Mejova, Yahoo! Research
Mounia Lalmas, Yahoo! Research
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, University 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)
2016 Deep Residual Learning for Image Recognition Kaiming He, Microsoft Research ; et al.

Xiangyu Zhang, Microsoft Research
Shaoqing Ren, Microsoft Research
Jian Sun, Microsoft Research
2015 DynamicFusion: Reconstruction and Tracking of Non-rigid Scenes in Real-Time Richard A. Newcombe, University of Washington ; et al.

Dieter Fox, University of Washington
Steven M. Seitz, University of Washington
2014 What Camera Motion Reveals About Shape with Unknown BRDF Manmohan Chandraker, NEC Labs America
2013 Fast, Accurate Detection of 100,000 Object Classes on a Single Machine Thomas Dean, Google ; et al.

Mark A. Ruzon, Google
Mark Segal, Google
Jonathon Shlens, Google
Sudheendra Vijayanarasimhan, Google
Jay Yagnik, Google
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)
2016 Settling the Complexity of Computing Approximate Two-Player Nash Equilibria Aviad Rubinstein, University of California Berkeley
Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning Ran Raz, Weizmann Institute of Science
2015 An average-case depth hierarchy theorem for Boolean circuits Benjamin Rossman, National Institute of Informatics ; et al.

Rocco A. Servedio, Columbia University
Li-Yang Tan, University of California Berkeley
2014 Path Finding Methods for Linear Programming: Solving Linear Programs in O(sqrt(rank)) Iterations a… Yin Tat Lee & Aaron Sidford, Massachusetts Institute of Technology
2013 Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back Aleksander Mądry, École Polytechnique Fédérale de Lausanne
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 A Randomized Rounding Approach to the Traveling Salesman Problem Shayan Oveis Gharan, Stanford University ; et al.

Amin Saberi, Stanford University
Mohit Singh, McGill University
A Polylogarithmic-Competitive Algorithm for the k-Server Problem Nikhil Bansal, IBM Research ; et al.

Niv Buchbinder, Open University
Aleksander Mądry, Massachusetts Institute of Technology
Joseph Naor, Technion
Approximating Graphic TSP by Matchings Tobia M¨o;mke & Ola Svensson, Royal Institute of Technology
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)
2016 Foraging and Navigations Fundamentally: Developers’ Predictions of Value and Cost David Piorkowski, Oregon State University ; et al.

Austin Z. Henley, University of Memphis
Tahmid Nabi, Oregon State University
Scott D. Fleming, University of Memphis
Christopher Scaffidi, Oregon State University
Margaret Burnett, Oregon State University
Multi-Representational Security Analysis Eunsuk Kang, University of California Berkeley ; et al.

Aleksandar Milicevic, Microsoft
Daniel Jackson, Massachusetts Institute of Technology
Factors Influencing Code Review Processes in Industry Tobias Baum, Leibniz Universität Hannover ; et al.

Olga Liskin, Leibniz Universität Hannover
Kai Niklas, Leibniz Universität Hannover
Kurt Schneider, Leibniz Universität Hannover
API Code Recommendation Using Statistical Learning from Fine-grained Changes Anh Tuan Nguyen, Iowa State University ; et al.

Michael Hilton, Oregon State University
Mihai Codoban, Microsoft
Hoan Anh Nguyen, Iowa State University
Lily Mast, University of Evansville
Eli Rademacher, Oregon State University
Tien N. Nguyen, Iowa State University
Danny Dig, Oregon State University
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis Xiaofei Xie, Tianjin University ; et al.

Bihuan Chen, Nanyang Technological University
Yang Liu, Nanyang Technological University
Wei Le, Iowa State University
Xiaohong Li, Tianjin University
Why We Refactor? Confessions of GitHub Contributors Danilo Silva, Federal University of Minas Gerais ; et al.

Nikolaos Tsantalis, Concordia University
Marco Tulio Valente, Federal University of Minas Gerais
Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis Jianjun Huang, Purdue University ; et al.

Xiangyu Zhang, Purdue University
Lin Tan, University of Waterloo
2015 Optimizing energy consumption of GUIs in Android apps: a multi-objective approach Mario Linares-Vásquez, College of William and Mary ; et al.

Gabriele Bavota, Free University of Bolzano
Carlos Eduardo Bernal Cárdenas, College of William and Mary
Rocco Oliveto, University of Molise
Massimiliano Di Penta, University of Sannio
Denys Poshyvanyk, College of William and Mary
How Practitioners Perceive the Relevance of Software Engineering Research David Lo, Singapore Management University ; et al.

Nachiappan Nagappan, Microsoft Research
Thomas Zimmermann, Microsoft Research
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers Reza Matinnejad, University of Luxembourg ; et al.

Shiva Nejati, University of Luxembourg
Lionel C. Briand, University of Luxembourg
Thomas Bruckmann, Delphi Automotive Systems
Modeling Readability to Improve Unit Tests Ermira Daka, University of Sheffield ; et al.

José Campos, University of Sheffield
Gordon Fraser, University of Sheffield
Jonathan Dorn, University of Virginia
Westley Weimer, University of Virginia
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt Neil A. Ernst, Carnegie Mellon University ; et al.

Stephany Bellomo, Carnegie Mellon University
Ipek Ozkaya, Carnegie Mellon University
Robert L. Nord, Carnegie Mellon University
Ian Gorton, Carnegie Mellon University
A User-Guided Approach to Program Analysis Ravi Mangal, Georgia Institute of Technology ; et al.

Xin Zhang, Georgia Institute of Technology
Aditya V. Nori, Microsoft Research
Mayur Naik, Georgia Institute of Technology
MultiSE: Multi-path Symbolic Execution using Value Summaries Koushik Sen, University of California Berkeley ; et al.

George Necula, University of California Berkeley
Liang Gong, University of California Berkeley
Wontae Choi, University of California Berkeley
Users Beware: Preference Inconsistencies Ahead Farnaz Behrang, Georgia Institute of Technology ; et al.

Myra B. Cohen, University of Nebraska-Lincoln
Alessandro Orso, Georgia Institute of Technology
2014 Selection and Presentation Practices for Code Example Summarization Annie Ying & Martin Robillard, McGill University
Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, University of Washington ; et al.

Darioush Jalali, University of Washington
Laura Inozemtseva, University of Waterloo
Michael Ernst, University of Washington
Reid Holmes, University of Waterloo
Gordon Fraser, University of Sheffield
AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Tsinghua University ; et al.

Yongwei Wu, Tsinghua University
Shan Lu, University of Wisconsin
Shanxiang Qi, University of Illinois at Urbana-Champaign
Jinglei Ren, Tsinghua University
Weimin Zheng, Tsinghua University
Powering the Static Driver Verifier using Corral Akash Lal & Shaz Qadeer, Microsoft Research
Learning Natural Coding Conventions Miltiadis Allamanis, University of Edinburgh ; et al.

Earl T. Barr, University College London
Christian Bird, Microsoft Research
Charles Sutton, University of Edinburgh
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Siemens Corporate Technology ; et al.

Christoph Elsner, Siemens Corporate Technology
Daniel Lohmann, Friedrich-Alexander University
2012 Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries Bradley Cossette & Robert Walker, University of Calgary
Scalable Test Data Generation from Multidimensional Models Emina Torlak, University of California Berkeley
Assessing the Value of Branches with What-if Analysis Christian Bird & Thomas Zimmermann, Microsoft Research
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)
2015 Deep Neural Decision Forests Peter Kontschieder, Microsoft Research ; et al.

Madalina Fiterau, Carnegie Mellon University
Antonio Criminisi, Microsoft Research
Samuel Rota Bulò, Microsoft Research
2013 From Large Scale Image Categorization to Entry-Level Categories Vicente Ordonez, University of North Carolina at Chapel Hill ; et al.

Jia Deng, Stanford University
Yejin Choi, Stony Brook University
Alexander Berg, University of North Carolina at Chapel Hill
Tamara Berg, University of North Carolina at Chapel Hill
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)
2016 Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling Christopher De Sa, Stanford University ; et al.

Chris Re, Stanford University
Kunle Olukotun, Stanford University
Pixel Recurrent Neural Networks Aaron Van den Oord, Google ; et al.

Nal Kalchbrenner, Google
Koray Kavukcuoglu, Google
Dueling Network Architectures for Deep Reinforcement Learning Ziyu Wang, Google ; et al.

Tom Schaul, Google
Matteo Hessel, Google
Hado van Hasselt, Google
Marc Lanctot, Google
Nando de Freitas, University of Oxford
2015 A Nearly-Linear Time Framework for Graph-Structured Sparsity Chinmay Hegde, Massachusetts Institute of Technology ; et al.

Piotr Indyk, Massachusetts Institute of Technology
Ludwig Schmid, Massachusetts Institute of Technology
Optimal and Adaptive Algorithms for Online Boosting Alina Beygelzimer, Yahoo! Research ; et al.

Satyen Kale, Yahoo! Research
Haipeng Luo, Princeton University
2014 Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis Jian Tang, Peking University ; et al.

Zhaoshi Meng, University of Michigan
XuanLong Nguyen, University of Michigan
Qiaozhu Mei, University of Michigan
Ming Zhang, Peking University
2013 Vanishing Component Analysis Roi Livni, The Hebrew University of Jerusalum ; et al.

David Lehavi, Hewlett-Packard Labs
Sagi Schein, Hewlett-Packard Labs
Hila Nachlieli, Hewlett-Packard Labs
Shai Shalev Shwartz, The Hebrew University of Jerusalum
Amir Globerson, The Hebrew University of Jerusalum
Fast Semidifferential-based Submodular Function Optimization Rishabh Iyer, University of Washington ; et al.

Stefanie Jegelka, University of California Berkeley
Jeff Bilmes, University of Washington
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)
2016 Feedback-Directed Instrumentation for Deployed JavaScript Applications Magnus Madsen, University of Waterloo ; et al.

Frank Tip, Samsung Research
Esben Andreasen, Aarhus University
Koushik Sen, University of California Berkeley
Anders Møller, Aarhus University
From Word Embeddings to Document Similarities for Improved Information Retrieval in Software Engin… Xin Ye, Ohio University Athens ; et al.

Hui Shen, Ohio University Athens
Xiao Ma, Ohio University Athens
Razvan Bunescu, Ohio University Athens
Chang Liu, Ohio University Athens
On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE Eric F. Rizzi, Grammatech ; et al.

Sebastian Elbaum, University of Nebraska-Lincoln
Matthew B. Dwyer, University of Nebraska-Lincoln
Work Practices and Challenges in Pull-Based Development: The Contributor’s Perspective Georgios Gousios, Radboud University Nijmegen ; et al.

Margaret-Anne Storey, University of Victoria
Alberto Bacchelli, Delft University of Technology
Termination-Checking for LLVM Peephole Optimizations David Menendez & Santosh Nagarakatte, Rutgers University
Guiding Dynamic Symbolic Execution toward Unverified Program Executions Maria Christakis, ETH Zurich ; et al.

Peter Müller, ETH Zurich
Valentin Wüstholz, ETH Zurich
Efficient Large-Scale Trace Checking Using MapReduce Marcello M. Bersani, Politecnico di Milano ; et al.

Domenico Bianculli, University of Luxembourg
Carlo Ghezzi, Politecnico di Milano
Srđan Krstić, Politecnico di Milano
Pierluigi San Pietro, Politecnico di Milano
VDTest: An Automated Framework to Support Testing for Virtual Devices Tingting Yu, University of Kentucky ; et al.

Xiao Qu, ABB Corporate Research
Myra B. Cohen, University of Nebraska-Lincoln
Energy Profiles of Java Collections Classes Samir Hasan, Auburn University ; et al.

Zachary King, Auburn University
Munawar Hafiz, Auburn University
Mohammed Sayagh, Polytechnique Montréal
Bram Adams, Polytechnique Montréal
Abram Hindle, University of Alberta
2015 Alloy*: A General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic, Massachusetts Institute of Technology ; et al.

Joseph P. Near, Massachusetts Institute of Technology
Eunsuk Kang, Massachusetts Institute of Technology
Daniel Jackson, Massachusetts Institute of Technology
How Much Up-Front? A Grounded theory of Agile Architecture Michael Waterman, Specialised Architecture Services Ltd ; et al.

James Noble, Victoria University of Wellington
George Allan, Victoria University of Wellington
Views on Internal and External Validity in Empirical Software Engineering Janet Siegmund, University of Passau ; et al.

Norbert Siegmund, University of Passau
Sven Apel, University of Passau
Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational F… Mathieu Lavallée & Pierre N. Robillard, Polytechnique Montréal
When and Why Your Code Starts to Smell Bad Michele Tufano, College of William and Mary ; et al.

Fabio Palomba, University of Salerno
Gabriele Bavota, Free University of Bozen-Bolzano
Rocco Oliveto, University of Molise
Massimiliano Di Penta, University of Sannio
Andrea De Lucia, University of Salerno
Denys Poshyvanyk, College of William and Mary
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor, Chapman University ; et al.

Po-Chun Chang, University of Wisconsin
Cosmin Radoi, University of Illinois at Urbana-Champaign
Shan Lu, University of Chicago
2014 Characterizing and Detecting Performance Bugs for Smartphone Applications Yepang Liu, Hong Kong University of Science and Technology ; et al.

Chang Xu, Nanjing University
Shing-Chi Cheung, Hong Kong University of Science and Technology
Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers Paige Rodeghero, University of Notre Dame ; et al.

Collin McMillan, University of Notre Dame
Paul W. McBurney, University of Notre Dame
Nigel Bosch, University of Notre Dame
Sidney D’Mello, University of Notre Dame
Understanding JavaScript Event-Based Interactions Saba Alimadadi, University of British Columbia ; et al.

Sheldon Sequeira, University of British Columbia
Ali Mesbah, University of British Columbia
Karthik Pattabiraman, University of British Columbia
Coverage Is Not Strongly Correlated with Test Suite Effectiveness Laura Inozemtseva & Reid Holmes, University of Waterloo
Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Softw… Emerson Murphy-Hill, North Carolina State University ; et al.

Thomas Zimmermann, Microsoft Research
Nachiappan Nagappan, Microsoft Research
Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs Nélio Cacho, Federal University of Rio Grande do Norte ; et al.

Thiago César, Federal University of Rio Grande do Norte
Thomas Filipe, Federal University of Rio Grande do Norte
Eliezio Soares, Federal University of Rio Grande do Norte
Arthur Cassio, Federal University of Rio Grande do Norte
Rafael Souza, Federal University of Rio Grande do Norte
Israel Garcia, Federal University of Rio Grande do Norte
Eiji Adachi Barbosa, Pontifical Catholic University of Rio de Janeiro
Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro
Unit Test Virtualization with VMVM Jonathan Bell & Gail Kaiser, Columbia University
Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Carnegie Mellon University ; et al.

Alexandre Rebert, Carnegie Mellon University
Sang Kil Cha, Carnegie Mellon University
David Brumley, Carnegie Mellon University
A Study and Toolkit for Asynchronous Programming in C# Semih Okur, University of Illinois at Urbana-Champaign ; et al.

David L. Hartveld, Delft University of Technology
Danny Dig, Oregon State University
Arie van Deursen, Delft University of Technology
2013 Dual Ecological Measures of Focus in Software Development Daryl Posnett, University of California Davis ; et al.

Raissa D’Souza, University of California Davis
Premkumar Devanbu, University of California Davis
Vladimir Filkov, University of California Davis
Data Clone Detection and Visualization in Spreadsheets Felienne Hermans, Delft University of Technology ; et al.

Ben Sedee, Delft University of Technology
Martin Pinzger, Delft University of Technology
Arie van Deursen, Delft University of Technology
UML in Practice Marian Petre, Open University
Automatic patch generation learned from human-written patches Dongsun Kim, Hong Kong University of Science and Technology ; et al.

Jaechang Nam, Hong Kong University of Science and Technology
Jaewoo Song, Hong Kong University of Science and Technology
Sunghun Kim, Hong Kong University of Science and Technology
Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds Weiyi Shang, Queen’s University ; et al.

Zhen Ming Jiang, Queen’s University
Hadi Hemmati, Queen’s University
Bram Adams, Polytechnique Montréal
Ahmed E. Hassan, Queen’s University
Patrick Martin, Queen’s University
Interaction-Based Test-Suite Minimization Dale Blue, IBM ; et al.

Itai Segall, IBM Research
Rachel Tzoref-Brill, IBM Research
Aviad Zlotnick, IBM Research
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)
2016 Hierarchical Finite State Controllers for Generalized Planning Javier Segovia, Universitat Pompeu Fabra ; et al.

Sergio Jiménez, Universitat Pompeu Fabra
Anders Jonsson, Universitat Pompeu Fabra
2015 Bayesian Active Learning for Posterior Estimation Kirthevasan Kandasamy, Carnegie Mellon University ; et al.

Jeff Schneider, Carnegie Mellon University
Barnabas Poczos, Carnegie Mellon University
Recursive Decomposition for Nonconvex Optimization Abram L. Friesen & Pedro Domingos, University of Washington
2013 Bayesian Optimization in High Dimensions via Random Embeddings Ziyu Wang, University of British Columbia ; et al.

Masrour Zoghi, University of Amsterdam
Frank Hutter, Freiberg University
David Matheson, University of British Columbia
Nando de Freitas, University of British Columbia
Flexibility and Decoupling in the Simple Temporal Problem Michel Wilson, Delft University of Technology ; et al.

Tomas Klos, Delft University of Technology
Cees Witteveen, Delft University of Technology
Bob Huisman, Delft University of Technology
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)
2016 Heavy-Ball: A New Approach to Tame Delay and Convergence in Wireless Network Optimization Jia Liu, Ohio State University ; et al.

Atilla Eryilmaz, Ohio State University
Ness B. Shroff, Ohio State University
Elizabeth Serena Bentley, Air Force Research Laboratory
2015 The Power of Slightly More than One Sample in Randomized Load Balancing Lei Ying, Arizona State University ; et al.

R. Srikant, University of Illinois at Urbana-Champaign
Xiaohan Kang, Arizona State University
2014 Joint Static and Dynamic Traffic Scheduling in Data Center Networks Zizhong Cao, Polytechnic Institute of New York University ; et al.

M. Kodialam, Bell Labs
T. V. Lakshman, Bell Labs
Performance Evaluation and Asymptotics for Content Delivery Networks Virag Shah & Gustavo de Veciana, University of Texas at Austin
2013 On the Steady-State of Cache Networks Elisha J. Rosensweig, University of Massachusetts Amherst ; et al.

Daniel S. Menasche, University of Massachusetts Amherst
Jim Kurose, University of Massachusetts Amherst
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 Telecom
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)
2016 FRAUDAR: Bounding Graph Fraud in the Face of Camouflage Bryan Hooi, Carnegie Mellon University ; et al.

Hyun Ah Song, Carnegie Mellon University
Alex Beutel, Carnegie Mellon University
Neil Shah, Carnegie Mellon University
Kijung Shin, Carnegie Mellon University
Christos Faloutsos, Carnegie Mellon University
2015 Efficient Algorithms for Public-Private Social Networks Flavio Chierichetti, Sapienza University of Rome ; et al.

Alessandro Epasto, Brown University
Ravi Kumar, Google
Silvio Lattanzi, Google
Vahab Mirrokni, Google
2014 Reducing the Sampling Complexity of Topic Models Aaron Li, Carnegie Mellon University ; et al.

Amr Ahmed, Google
Sujith Ravi, Google
Alexander Smola, Carnegie Mellon University
2013 Simple and Deterministic Matrix Sketching Edo Liberty, Yahoo! Research
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
MOBICOM (Mobile)
2015 CAreDroid: Adaptation Framework for Android ContextAware Applications Salma Elmalaki, University of California Los Angeles ; et al.

Lucas Wanner, University of California Los Angeles
Mani Srivastava, University of California Los Angeles
2014 Tagoram: Real-Time Tracking of Mobile RFID Tags to High Precision Using COTS Devices Lei Yang, Tsinghua University ; et al.

Yekui Chen, Tsinghua University
Xiang-Yang Li, Illinois Institute of Technology
Chaowei Xiao, Tsinghua University
Mo Li, Nanyang Technological University
Yunhao Liu, Tsinghua University
2013 Whole-Home Gesture Recognition Using Wireless Signals Qifan Pu, University of Washington ; et al.

Sidhant Gupta, University of Washington
Shyamnath Gollakota, University of Washington
Shwetak Patel, University of Washington
2012 Distinguishing Users with Capacitative Touch Communication Tam Vu, Rutgers University ; et al.

Akash Baid, Rutgers University
Simon Gao, Rutgers University
Marco Gruteser, Rutgers University
Richard Howard, Rutgers University
Janne Lindqvist, Rutgers University
Predag Spasojevic, Rutgers University
Jeffrey Walling, Rutgers University
2011 Detecting Driver Phone Use Leveraging Car Speakers Jie Yang, Stevens Institute of Technology ; et al.

Simon Sdhom, Stevens Institute of Technology
Gayathri Chandrasekaran, Rutgers University
Tam Vu, Stevens Institute of Technology
Hongbo Liu, Stevens Institute of Technology
Nicolae Cecan, Rutgers University
Yingying Chen, Stevens Institute of Technology
Marco Gruteser, Rutgers University
Richard P. Martin, Rutgers University
E-MiLi: Energy-Minimizing Idle Listening in Wireless Networks Xinyu Zhang & Kang G. Shin, University of Michigan
2010 The κ factor: inferring protocol performance using inter-link reception correlation Kannan Srinivasan, Stanford University ; et al.

Mayank Jain, Stanford University
Jung Il Choi, Stanford University
Tahir Azim, Stanford University
Edward S. Kim, University of Southern California
Philip Levis, Stanford University
Bhaskar Krishnamachari, University of Southern California
2009 CENTAUR: Realizing the Full Potential of Centralized WLANs through a Hybrid Data Path Vivek Shrivastava, University of Wisconsin ; et al.

Nabeel Ahmed, University of Waterloo
Shravan Rayanchu, University of Wisconsin
Suman Banerjee, University of Wisconsin
Srinivasan Keshav, University of Waterloo
Konstantina Papagiannaki, Intel Research
Arunesh Mishra, Google
2008 Assessment of Urban-Scale Wireless Networks with a Small Number of Measurements Joshua Robinson, Rice University ; et al.

Ram Swaminathan, Hewlett-Packard Labs
Edward W. Knightly, Rice University
NSDI (Networking)
2016 Passive Wi-Fi: Bringing Low Power to Wi-Fi Transmissions Bryce Kellogg, University of Washington ; et al.

Vamsi Talla, University of Washington
Shyamnath Gollakota, University of Washington
Joshua R. Smith, University of Washington
2015 Queues Don’t Matter When You Can JUMP Them! Matthew P. Grosvenor, University of Cambridge ; et al.

Malte Schwarzkopf, University of Cambridge
Ionel Gog, University of Cambridge
Robert N. M. Watson, University of Cambridge
Andrew W. Moore, University of Cambridge
Steven Hand, University of Cambridge
Jon Crowcroft, University of Cambridge
Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, University of Washington ; et al.

Jialin Li, University of Washington
Vincent Liu, University of Washington
Naveen Kr. Sharma, University of Washington
Arvind Krishnamurthy, University of Washington
The Design and Implementation of Open vSwitch Ben Pfaff, VMware ; et al.

Justin Pettit, VMware
Teemu Koponen, VMware
Ethan J. Jackson, VMware
Andy Zhou, VMware
Jarno Rajahalme, VMware
Jesse Gross, VMware
Alex Wang, VMware
Jonathan Stringer, VMware
Pravin Shelar, VMware
Keith Amidon, Awake Networks
Martín Casado, VMware
2014 Software Dataplane Verification Mihai Dobrescu & Katerina Argyraki, École Polytechnique Fédérale de Lausanne
2013 Embassies: Radically Refactoring the Web Jon Howell, Microsoft Research ; et al.

Bryan Parno, Microsoft Research
John R. Douceur, Microsoft Research
A Fault-Tolerant Engineered Network Vincent Liu, University of Washington ; et al.

Daniel Halperin, University of Washington
Arvind Krishnamurthy, University of Washington
Thomas Anderson, University of Washington
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 Sora: High Performance Software Radio Using General Purpose Multi-core Processors Kun Tan, Microsoft Research ; et al.

Jiansong Zhang, Microsoft Research
Ji Fang, Beijing Jiaotong University
He Liu, Tsinghua University
Yusheng Ye, Tsinghua University
Shen Wang, Tsinghua University
Yongguang Zhang, Microsoft Research
Haitao Wu, Microsoft Research
Wei Wang, Microsoft Research
Geoffrey M. Voelker, University of California San Diego
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)
2016 Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data Tyler Hunt, University of Texas at Austin ; et al.

Zhiting Zhu, University of Texas at Austin
Yuanzhong Xu, University of Texas at Austin
Simon Peter, University of Texas at Austin
Emmett Witchel, University of Texas at Austin
Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, University of Washington ; et al.

James Bornholt, University of Washington
Emina Torlak, University of Washington
Xi Wang, University of Washington
Early Detection of Configuration Errors to Reduce Failure Damage Tianyin Xu, University of California San Diego ; et al.

Xinxin Jin, University of California San Diego
Peng Huang, University of California San Diego
Yuanyuan Zhou, University of California San Diego
Shan Lu, University of Chicago
Long Jin, University of California San Diego
Shankar Pasupathy, NetApp
2014 Shielding Applications from an Untrusted Cloud with Haven Andrew Baumann, Microsoft Research ; et al.

Marcus Peinado, Microsoft Research
Galen Hunt, Microsoft Research
IX: A Protected Dataplane Operating System for High Throughput and Low Latency Adam Belay, Stanford University ; et al.

George Prekas, École Polytechnique Fédérale de Lausanne
Ana Klimovic, Stanford University
Samuel Grossman, Stanford University
Christos Kozyrakis, Stanford University
Edouard Bugnion, École Polytechnique Fédérale de Lausanne
Arrakis: The Operating System is the Control Plane Simon Peter, University of Washington ; et al.

Jialin Li, University of Washington
Irene Zhang, University of Washington
Dan Ports, University of Washington
Doug Woos, University of Washington
Arvind Krishnamurthy, University of Washington
Thomas Anderson, University of Washington
Timothy Roscoe, ETH Zurich
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
Zvi Dubitzky, IBM Research
Michael Factor, IBM Research
Nadav Har’El, IBM Research
Abel Gordon, IBM Research
Anthony Liguori, IBM
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)
2016 Assessing the limits of program-specific garbage collection performance Nicholas Jacek, University of Massachusetts Amherst ; et al.

Meng-Chieh Chiu, University of Massachusetts Amherst
Benjamin Marlin, University of Massachusetts Amherst
Eliot Moss, University of Massachusetts Amherst
Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, University of Cambridge ; et al.

Justus Matthiesen, University of Cambridge
James Lingard, University of Cambridge
Kyndylan Nienhuis, University of Cambridge
David Chisnall, University of Cambridge
Robert N. M. Watson, University of Cambridge
Peter Sewell, University of Cambridge
Transactional Data Structure Libraries Alexander Spiegelman, Technion ; et al.

Guy Golan-Gueta, Yahoo! Research
Idit Keidar, Technion
Types from data: Making structured data first-class citizens in F# Tomas Petricek, University of Cambridge ; et al.

Gustavo Guerra, Microsoft
Don Syme, Microsoft Research
2015 Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, Microsoft Research ; et al.

David Menendez, Rutgers University
Santosh Nagarakatte, Rutgers University
John Regehr, University of Utah
Diagnosing Type Errors with Class Danfeng Zhang, Cornell University ; et al.

Andrew C. Myers, Cornell University
Dimitrios Vytiniotis, Microsoft Research
Simon Peyton-Jones, Microsoft Research
Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, University of Washington ; et al.

Alex Sanchez-Stern, University of Washington
James R. Wilcox, University of Washington
Zachary Tatlock, University of Washington
2014 Improving JavaScript Performance by Deconstructing the Type System Wonsun Ahn, University of Illinois at Urbana-Champaign ; et al.

Jiho Choi, University of Illinois at Urbana-Champaign
Thomas Shull, University of Illinois at Urbana-Champaign
María Garzarín, University of Illinois at Urbana-Champaign
Josep Torrellas, University of Illinois at Urbana-Champaign
Compiler validation via equivalence modulo inputs Vu Le, University of California Davis ; et al.

Mehrdad Afshari, University of California Davis
Zhendong Su, University of California Davis
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang, Georgia Institute of Technology ; et al.

Ravi Mangal, Georgia Institute of Technology
Radu Grigore, Oxford University
Mayur Naik, Georgia Institute of Technology
Hongseok Yang, Oxford University
2013 Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many … Sriram Sankaranarayanan, University of Colorado ; et al.

Aleksandar Chakarov, University of Colorado
Sumit Gulwani, Microsoft Research
A General Constraint-centric Scheduling Framework for Spatial Architectures Tony Nowatzki, University of Wisconsin ; et al.

Michael Sartin-Tarm, University of Wisconsin
Lorenzo De Carli, University of Wisconsin
Karthikeyan Sankaralingam, University of Wisconsin
Cristian Estan, Broadcom
Behnam Robatmili, Qualcomm Research
Reconciling Exhaustive Pattern Matching with Objects Chinawat Isradisaikul & Andrew C. Myers, Cornell University
CLAP: Recording Local Executions to Reproduce Concurrency Failures Jeff Huang, Hong Kong University of Science and Technology ; et al.

Charles Zhang, Hong Kong University of Science and Technology
Julian Dolby, IBM Research
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)
2016 FAQ: Questions Asked Frequently Mahmoud Abo Khamis, University at Buffalo ; et al.

Hung Q. Ngo, University at Buffalo
Atri Rudra, University at Buffalo
2015 Parallel-Correctness and Transferability for Conjunctive Queries Tom J. Ameloot, Hasselt University ; et al.

Gaetano Geck, Universität Dortmund
Bas Ketsman, Hasselt University
Frank Neven, Hasselt University
Thomas Schwentick, Universität Dortmund
2014 Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Co… Tom J. Ameloot, Hasselt University ; et al.

Bas Ketsman, Hasselt University
Frank Neven, Hasselt University
Daniel Zinn, LogicBlox
2013 Verification of database-driven systems via amalgamation Mikołaj Bojańczyk, University of Warsaw ; et al.

Luc Segoufin, INRIA
Szymon Toruńczyk, University of Warsaw
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)
2016 A2: Analog Malicious Hardware Kaiyuan Yang, University of Michigan ; et al.

Matthew Hicks, University of Michigan
Qing Dong, University of Michigan
Todd Austin, University of Michigan
Dennis Sylvester, University of Michigan
2015 Riposte: An Anonymous Messaging System Handling Millions of Users Henry Corrigan-Gibbs, Stanford University ; et al.

Dan Boneh, Stanford University
David Mazières, Stanford University
A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche, INRIA ; et al.

Karthikeyan Bhargavan, INRIA
Antoine Delignat-Lavaud, INRIA
Cédric Fournet, Microsoft Research
Markulf Kohlweiss, Microsoft Research
Alfredo Pironti, INRIA
Pierre-Yves Strub, IMDEA
Jean Karim Zinzindohoue, INRIA
2014 Secure Multiparty Computations on BitCoin Marcin Andrychowicz, University of Warsaw ; et al.

Stefan Dziembowski, University of Warsaw
Daniel Malinowski, University of Warsaw
Łukasz Mazurek, University of Warsaw
Bootstrapping Privacy Compliance in Big Data Systems Shayak Sen, Carnegie Mellon University ; et al.

Saikat Guha, Microsoft Research
Anupam Datta, Carnegie Mellon University
Sriram K. Rajamani, Microsoft Research
Janice Tsai, Microsoft Research
Jeannette M. Wing, Microsoft Research
2013 Pinocchio: Nearly Practical Verifiable Computation Bryan Parno, Microsoft Research ; et al.

Craig Gentry, IBM Research
Jon Howell, Microsoft Research
Mariana Raykova, IBM Research
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)
2016 Eliminating Channel Feedback in Next-Generation Cellular Networks Deepak Vasisht, Massachusetts Institute of Technology ; et al.

Swarun Kumar, Carnegie Mellon University
Hariharan Rahul, Massachusetts Institute of Technology
Dina Katabi, Massachusetts Institute of Technology
Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices Vikram Iyer, University of Washington ; et al.

Vamsi Talla, University of Washington
Bryce Kellogg, University of Washington
Shyamnath Gollakota, University of Washington
Joshua Smith, University of Washington
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations Ryan Beckett, Princeton University ; et al.

Ratul Mahajan, Microsoft
Todd Millstein, University of California Los Angeles
Jitendra Padhye, Microsoft
David Walker, Princeton University)
2015 Central Control Over Distributed Routing Stefano Vissicchio, Université catholique de Louvain ; et al.

Olivier Tilmans, Université catholique de Louvain
Laurent Vanbever, ETH Zurich
Jennifer Rexford, Princeton University
2014 Balancing Accountability and Privacy in the Network David Naylor, Carnegie Mellon University ; et al.

Matthew K. Mukerjee, Carnegie Mellon University
Peter Steenkiste, Carnegie Mellon University
CONGA: Distributed Congestion-Aware Load Balancing for Datacenters Mohammad Alizadeh, Cisco Systems ; et al.

Tom Edsall, Cisco Systems
Sarang Dharmapurikar, Cisco Systems
Ramanan Vaidyanathan, Cisco Systems
Kevin Chu, Cisco Systems
Andy Fingerhut, Google
Terry Lam, Cisco Systems
Francis Matus, Cisco Systems
Rong Pan, Cisco Systems
Navindra Yadav, Cisco Systems
George Varghese, Microsoft
2013 Ambient Backscatter: Wireless Communication Out of Thin Air Vincent Liu, University of Washington ; et al.

Aaron Parks, University of Washington
Vamsi Talla, University of Washington
Shyamnath Gollakota, University of Washington
David Wetherall, University of Washington
Joshua R. Smith, University of Washington
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)
2016 Understanding Information Need: An fMRI Study Yashar Moshfeghi, University of Glasgow ; et al.

Peter Triantafillou, University of Glasgow
Frank E. Pollick, University of Glasgow
2015 QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees Claudio Lucchese, Istituto di Scienza e Tecnologie dell’Informazione ; et al.

Franco Maria Nardini, Istituto di Scienza e Tecnologie dell’Informazione
Salvatore Orlando, Università di Venezia
Raffaele Perego, Istituto di Scienza e Tecnologie dell’Informazione
Nicola Tonellotto, Istituto di Scienza e Tecnologie dell’Informazione
Rossano Venturini, Istituto di Scienza e Tecnologie dell’Informazione
2014 Partitioned Elias-Fano Indexes Giuseppe Ottaviano, Istituto di Scienza e Tecnologie dell’Informazione
Rossano Venturini, Università di Pisa
2013 Beliefs and Biases in Web Search Ryen W. White, Microsoft Research
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)
2016 On the Duration and Intensity of Competitions in Nonlinear Pólya Urn Processes with Fitness Bo Jiang, University of Massachusetts Amherst ; et al.

Daniel R. Figueiredo, Federal University of Rio de Janeiro
Bruno Ribeiro, Purdue University
Don Towsley, University of Massachusetts Amherst
2015 Spy vs. Spy: Rumor Source Obfuscation Giulia Fanti, University of California Berkeley ; et al.

Peter Kairouz, University of Illinois at Urbana-Champaign
Sewoong Oh, University of Illinois at Urbana-Champaign
Pramod Viswanath, University of Illinois at Urbana-Champaign
2014 Concave switching in single and multihop networks Neil Walton, University of Amsterdam
2013 Queueing System Topologies with Limited Flexibility John Tsitsiklis & Kuang Xu, Massachusetts Institute of Technology
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, University of Cambridge
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)
2016 Wander Join: Online Aggregation via Random Walks Feifei Li, University of Utah ; et al.

Bin Wu, Hong Kong University of Science and Technology
Ke Yi, Hong Kong University of Science and Technology
Zhuoyue Zhao, Shanghai Jiao Tong University
2015 DBSCAN Revisited: Mis-Claim, Un-Fixability, and Approximation Junhao Gan & Yufei Tao, Chinese University of Hong Kong
2014 Materialization Optimizations for Feature Selection Workloads Ce Zhang, Stanford University ; et al.

Arun Kumar, University of Wisconsin
Christopher Ré, Stanford University
2013 Massive Graph Triangulation Xiaocheng Hu, The Chinese University of Hong Kong ; et al.

Yufei Tao, The Chinese University of Hong Kong
Chin-Wan Chung, KAIST
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
Scalable Network Distance Browsing in Spatial Databases Hanan Samet, University of Maryland ; et al.

Jagan Sankaranarayanan, University of Maryland
Houman Alborzi, University of Maryland
2007 Compiling mappings to bridge applications and databases Sergey Melnik, Microsoft Research ; et al.

Atul Adya, Microsoft
Philip A. Bernstein, Microsoft Research
Scalable Approximate Query Processing with the DBO Engine Christopher Jermaine, University of Florida ; et al.

Subramanian Arumugam, University of Florida
Abhijit Pol, University of Florida
Alin Dobra, University of Florida
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
Integrating association rule mining with relational database systems: alternatives and implications Sunita Sarawagi, IBM Research ; et al.

Shiby Thomas, University of Florida
Rakesh Agrawal, IBM 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)
2016 An Improved Distributed Algorithm for Maximal Independent Set Mohsen Ghaffari, Massachusetts Institute of Technology
Near-Optimal Light Spanners Shiri Chechik, Tel-Aviv University
Christian Wulff-Nilsen, University of Copenhagen
2015 The Parameterized Complexity of k-Biclique Bingkai Lin, University of Tokyo
2014 Polynomiality for Bin Packing with a Constant Number of Item Types Michel X. Goemans & Thomas Rothvoß, Massachusetts Institute of Technology
An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommod… Jonathan A. Kelner, Massachusetts Institute of Technology ; et al.

Yin Tat Lee, Massachusetts Institute of Technology
Lorenzo Orecchia, Massachusetts Institute of Technology
Aaron Sidford, Massachusetts Institute of Technology
2013 A Simple Algorithm for the Graph Minor Decomposition – Logic meets Structural Graph Theory Martin Grohe, RWTH Aachen University ; et al.

Ken-ichi Kawarabayashi, National Institute of Informatics
Bruce Reed, McGill University
Dynamic graph connectivity in polylogarithmic worst case time Bruce M. Kapron, University of Victoria ; et al.

Valerie King, University of Victoria
Ben Mountjoy, University of Victoria
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 Mądry, Massachusetts Institute of Technology
Shayan Oveis Gharan, Stanford University
Amin Saberi, Stanford University
2009 Natural Algorithms Bernard Chazelle, Princeton University
SOSP (Operating Systems)
2015 Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems Jonathan Mace, Brown University ; et al.

Ryan Roelke, Brown University
Rodrigo Fonseca, Brown University
Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Massachusetts Institute of Technology ; et al.

Daniel Ziegler, Massachusetts Institute of Technology
Tej Chajed, Massachusetts Institute of Technology
Adam Chlipala, Massachusetts Institute of Technology
M. Frans Kaashoek, Massachusetts Institute of Technology
Nickolai Zeldovich, Massachusetts Institute of Technology
Coz: Finding Code that Counts with Causal Profiling Charlie Curtsinger, Grinnell College
Emery Berger, University of Massachusetts Amherst
2013 Towards optimization-safe systems: analyzing the impact of undefined behavior Xi Wang, Massachusetts Institute of Technology ; et al.

Nickolai Zeldovich, Massachusetts Institute of Technology
M. Frans Kaashoek, Massachusetts Institute of Technology
Armando Solar-Lezama, Massachusetts Institute of Technology
Naiad: A Timely Dataflow System Derek G. Murray, Microsoft Research ; et al.

Frank McSherry, Microsoft Research
Rebecca Isaacs, Microsoft Research
Michael Isard, Microsoft Research
Paul Barham, Microsoft Research
Martíın Abadi, Microsoft Research
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors Austin T. Clements, Massachusetts Institute of Technology ; et al.

M. Frans Kaashoek, Massachusetts Institute of Technology
Nickolai Zeldovich, Massachusetts Institute of Technology
Robert T. Morris, Massachusetts Institute of Technology
Eddie Kohler, Harvard University
2011 A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications Tyler Harter, University of Wisconsin ; et al.

Chris Dragga, University of Wisconsin
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)
2016 Explicit Two-Source Extractors and Resilient Functions Eshan Chattopadhyay & David Zuckerman, University of Texas at Austin
Graph Isomorphism in Quasipolynomial Time László Babaí, University of Chicago
Reed-Muller Codes Achieve Capacity on Erasure Channels Shrinivas Kudekar, Qualcomm Research ; et al.

Santhosh Kumar, Texas A&M University
Marco Mondelli, École Polytechnique Fédérale de Lausanne
Henry D. Pfister, Duke University
Eren Sasoglu, Intel
Rudiger Urbanke, École Polytechnique Fédérale de Lausanne
2015 Exponential Separation of Information and Communication for Boolean Functions Anat Ganor, Weizmann Institute of Science ; et al.

Gillat Kol, Princeton University
Ran Raz, Weizmann Institute of Science
2-Server PIR with sub-polynomial communication Zeev Dvir & Sivakanth Gopi, Princeton University
Lower Bounds on the Size of Semidefinite Programming Relaxations James R. Lee, University of Washington ; et al.

Prasad Raghavendra, University of California Berkeley
David Steurer, Cornell University
2014 The matching polytope has exponential extension complexity Thomas Rothvoß, University of Washington
2013 Approximation Resistance from Pairwise Independent Subgroups Siu On Chan, University of California Berkeley
Low Rank Approximation and Regression in Input Sparsity Time Kenneth L. Clarkson & David P. Woodruff, IBM Research
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 Mądry, 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)
2016 Rovables: Miniature On-Body Robots as Mobile Wearables Artem Dementyev, Massachusetts Institute of Technology ; et al.

Hsin-Liu (Cindy) Kao, Massachusetts Institute of Technology
Inrak Choi, Stanford University
Deborah Ajilo, Massachusetts Institute of Technology
Maggie Xu, Stanford University
Joseph Paradiso, Massachusetts Institute of Technology
Chris Schmandt, Massachusetts Institute of Technology
Sean Follmer, Stanford University
proCover: Sensory Augmentation of Prosthetic Limbs Using Smart Textile Covers Joanne Leong, University of Applied Sciences Upper Austria ; et al.

Patrick Parzer, University of Applied Sciences Upper Austria
Florian Perteneder, University of Applied Sciences Upper Austria
Teo Babic, University of Applied Sciences Upper Austria
Christian Rendl, University of Applied Sciences Upper Austria
Anita Vogl, University of Applied Sciences Upper Austria
Hubert Egger, University of Applied Sciences Upper Austria
Alex Olwal, Google
Michael Haller, University of Applied Sciences Upper Austria
ViBand: High-Fidelity Bio-Acoustic Sensing Using Commodity Smartwatch Accelerometers Gierad Laput, Carnegie Mellon University ; et al.

Robert Xiao, Carnegie Mellon University
Chris Harrison, Carnegie Mellon University
Zooids: Building Blocks for Swarm User Interfaces Mathieu Le Goc, Inria ; et al.

Lawrence H. Kim, Stanford University
Ali Parsaei, Stanford University
Jean-Daniel Fekete, Inria
Pierre Dragicevic, Inria
Sean Follmer, Stanford University
2015 Orbits: Gaze Interaction for Smart Watches using Smooth Pursuit Eye Movements Augusto Esteves, Lancaster University ; et al.

Eduardo Velloso, Lancaster University
Andreas Bulling, Max Planck Institut
Hans Gellersen, Lancaster University
Webstrates: Shareable Dynamic Media Clemens Klokmose, Aarhus University ; et al.

James Eagan, Telecom ParisTech
Siemen Baader, Aarhus University
Wendy Mackay, INRIA
Michel Beaudouin-Lafon, Université Paris-Sud
Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electr… Simon Olberding, Max Planck Institut ; et al.

Sergio Soto Ortega, Max Planck Institut
Klaus Hildebrandt, Max Planck Institut
Jurgen Steimle, Max Planck Institut
2014 Sensing Techniques for Tablet+Stylus Interaction Ken Hinckley, Microsoft Research ; et al.

Michel Pahud, Microsoft Research
Hrvoje Benko, Microsoft Research
Pourang Irani, Microsoft Research
Marcel Gavriliu, Microsoft Research
François Guimbretière, Microsoft Research
Xiang Anthony Chen, Microsoft Research
Fabrice Matulic, Microsoft Research
William Buxton, Microsoft Research
Andrew Wilson, Microsoft Research
PrintScreen: Fabricating Highly Customizable Thin-film Touch-Displays Simon Olberding, Max Planck Institut ; et al.

Michael Wessely, Max Planck Institut
Jürgen Steimle, Max Planck Institut
Expert Crowdsourcing with Flash Teams Daniela Retelny, Stanford University ; et al.

Sébastien Robaszkiewicz, Stanford University
Alexandra To, Stanford University
Walter Lasecki, University of Rochester
Jay Patel, Stanford University
Negar Rahmati, Stanford University
Tulsee Doshi, Stanford University
Melissa Valentine, Stanford University
Michael Bernstein, Stanford University
2013 PneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces Lining Yao, Massachusetts Institute of Technology ; et al.

Ryuma Niiyama, Massachusetts Institute of Technology
Jifei Ou, Massachusetts Institute of Technology
Sean Follmer, Massachusetts Institute of Technology
Clark Della Silva, Massachusetts Institute of Technology
Hiroshi Ishii, Massachusetts Institute of Technology
Touch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing Makoto Ono, University of Tsukuba ; et al.

Buntarou Shizuki, University of Tsukuba
Jiro Tanaka, University of Tsukuba
Fiberio: A Touchscreen that Senses Fingerprints Christian Holz & Patrick Baudisch, Hasso Plattner Institute
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)
2016 Compressed Linear Algebra for Large-Scale Machine Learning Ahmed Elgohary, University of Maryland ; et al.

Matthias Boehm, IBM Research
Peter Haas, IBM Research
Fred Reiss, IBM Research
Berthold Reinwald, IBM Research
2015 Constructing an interactive natural language interface for relational databases Fei Li & H. V. Jagadish, University of Michigan
2014 M4: A Visualization-Oriented Time Series Data Aggregation Uwe Jugel, SAP ; et al.

Zbigniew Jerzak, SAP
Gregor Hackenbroich, SAP
Volker Markl, Technische Universität Berlin
Building Efficient Query Engines in a High-Level Language Yannis Klonatos, École Polytechnique Fédérale de Lausanne ; et al.

Christoph Koch, École Polytechnique Fédérale de Lausanne
Tiark Rompf, École Polytechnique Fédérale de Lausanne
Hassan Chaf, Oracle
On k-Path Covers and their Applications Stefan Funke, University of Stuttgart ; et al.

André Nusser, University of Stuttgart
Sabine Storandt, University of Stuttgart
epiC: an Extensible and Scalable System for Processing Big Data Dawei Jiang, National University of Singapore ; et al.

Gang Chen, Zhejiang University
Beng Chin Ooi, National University of Singapore
Kian-Lee Tan, National University of Singapore
Sai Wu, Zhejiang University
The Uncracked Pieces in Database Cracking Felix Martin Schuhknecht, Saarland University ; et al.

Alekh Jindal, Massachusetts Institute of Technology
Jens Dittrich, Saarland University
2013 DisC Diversity: Result Diversification based on Dissimilarity and Coverage Marina Drosou & Evaggelia Pitoura, University of Ioannina
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)
2016 Social Networks Under Stress Daniel Romero, University of Michigan ; et al.

Brian Uzzi, Northwestern University
Jon Kleinberg, Cornell University
2015 HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the Web Philipp Singer, GESIS – Leibniz Institute for the Social Sciences ; et al.

Denis Helic, Graz University of Technology
Andreas Hotho, University of Würzburg
Markus Strohmaier, GESIS – Leibniz Institute for the Social Sciences
2014 Efficient Estimation for High Similarities using Odd Sketches Michael Mitzenmacher, Harvard University ; et al.

Rasmus Pagh, IT University of Copenhagen
Ninh Pham, IT University of Copenhagen
2013 No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities Cristian Danescu-Niculescu-Mizil, Stanford University ; et al.

Robert West, Stanford University
Dan Jurafsky, Stanford University
Jure Leskovec, Stanford University
Christopher Potts, Stanford University
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 Research46.0
University of Washington38.1
Massachusetts Institute of Technology34.3
Carnegie Mellon University34.2
Stanford University32.8
University of California Berkeley25.2
University of Toronto14.3
Cornell University14.0
University of Illinois at Urbana-Champaign13.7
IBM Research12.8
University of Texas at Austin12.4
Google11.0
University of Michigan11.0
University of British Columbia10.4
University of Massachusetts Amherst10.2
Georgia Institute of Technology8.4
University of California Irvine7.9
Yahoo! Research7.9
Princeton University7.6
École Polytechnique Fédérale de Lausanne7.3
University of Maryland7.0
University of Oxford6.3
Weizmann Institute of Science6.2
University of Wisconsin6.0
McGill University5.7
University of Cambridge5.4
University of California San Diego5.2
Max Planck Institut5.2
University of Waterloo5.0
AT&T Laboratories4.9
Brown University4.6
Technion4.5
University of Nottingham4.5
Columbia University4.4
Rice University4.2
Hasso Plattner Institute4.0
Université Paris-Sud4.0
Oregon State University3.8
Bell Labs3.8
National University of Singapore3.7
Hewlett-Packard Labs3.7
NEC Labs America3.7
Aarhus University3.6
University of Nebraska-Lincoln3.6
University of California Davis3.6
University of Alberta3.5
Delft University of Technology3.5
University of North Carolina at Chapel Hill3.4
University of California Los Angeles3.3
Ohio State University3.3
Technische Universität Berlin3.3
Tsinghua University3.2
ETH Zurich3.2
DePaul University3.0
Indiana University at Bloomington3.0
Rutgers University3.0
Purdue University3.0
INRIA3.0
Hong Kong University of Science and Technology2.9
Newcastle University2.9
Pennsylvania State University2.8
Tel-Aviv University2.8
Saarland University2.8
Lancaster University2.8
University College London2.7
The Chinese University of Hong Kong2.5
Polytechnic Institute of New York University2.5
Université catholique de Louvain2.4
Duke University2.4
University of Bristol2.4
Toyota Technological Institute at Chicago2.3
University of Pennsylvania2.3
Harvard University2.2
University of Amsterdam2.2
RWTH Aachen University2.2
Peking University2.2
Singapore Management University2.2
University of Copenhagen2.1
University of Saskatchewan2.1
University of Calgary2.1
VMware2.1
Intel Research2.0
KAIST2.0
Universidade Técnica de Lisboa2.0
BBN Technologies2.0
NASA Ames Research Center2.0

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

Back to Jeff Huang’s Homepage

Brown University Human-Computer Interaction Research Group

Page last updated: 2017-01-16

Best Paper Awards in Computer Science (since 1996)

By Conference:   AAAI   ACL   CHI   CIKM   CVPR   FOCS   FSE   ICCV   ICML   ICSE   IJCAI   INFOCOM   KDD   MOBICOM   NSDI   OSDI   PLDI   PODS   S&P   SIGCOMM   SIGIR   SIGMETRICS   SIGMOD   SODA   SOSP   STOC   UIST   VLDB   WWW

Institutions with the most Best Papers

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

AAAI (Artificial Intelligence)
2016 Bidirectional Search That Is Guaranteed to Meet in the Middle Robert C. Holte, University of Alberta ; et al.

Ariel Felner, Ben-Gurion University
Guni Sharon, Ben-Gurion University
Nathan R. Sturtevant, University of Denver
2015 From Non-Negative to General Operator Cost Partitioning Florian Pommerening, University of Basel ; et al.

Malte Helmert, University of Basel
Gabriele Röger, University of Basel
Jendrik Seipp, University of Basel
2014 Recovering from Selection Bias in Causal and Statistical Inference Elias Bareinboim, University of California Los Angeles ; et al.

Jin Tian, Iowa State University
Judea Pearl, University of California Los Angeles
2013 HC-Search: Learning Heuristics and Cost Functions for Structured Prediction Janardhan Rao Doppa, Oregon State University ; et al.

Alan Fern, Oregon State University
Prasad Tadepalli, Oregon State University
SMILe: Shuffled Multiple-Instance Learning Gary Doran & Soumya Ray, Case Western Reserve University
2012 Learning SVM Classifiers with Indefinite Kernels Suicheng Gu & Yuhong Guo, Temple University
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
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)
2016 Finding Non-Arbitrary Form-Meaning Systematicity Using String-Metric Learning for Kernel Regression E. Darío Gutiérrez, University of California Berkeley ; et al.

Roger Levy, Massachusetts Institute of Technology
Benjamin K. Bergen, University of California San Diego
2015 Improving Evaluation of Machine Translation Quality Estimation Yvette Graham, Trinity College Dublin
Learning Dynamic Feature Selection for Fast Sequential Prediction Emma Strubell, University of Massachusetts Amherst ; et al.

Luke Vilnis, University of Massachusetts Amherst
Kate Silverstein, University of Massachusetts Amherst
Andrew McCallum, University of Massachusetts Amherst
2014 Fast and Robust Neural Network Joint Models for Statistical Machine Translation Jacob Devlin, Raytheon BBN Technologies ; et al.

Rabih Zbib, Raytheon BBN Technologies
Zhongqiang Huang, Raytheon BBN Technologies
Thomas Lamar, Raytheon BBN Technologies
Richard Schwartz, Raytheon BBN Technologies
John Makhoul, Raytheon BBN Technologies
2013 Grounded Language Learning from Video Described with Sentences Haonan Yu & Jeffrey Mark Siskind, Purdue University
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)
2016 Building a Personalized, Auto-Calibrating Eye Tracker from User Interactions Michael Xuelin Huang, Hong Kong Polytechnic University ; et al.

Tiffany C.K. Kwok, Hong Kong Polytechnic University
Grace Ngai, Hong Kong Polytechnic University
Stephen C.F. Chan, Hong Kong Polytechnic University
Hong Va Leong, Hong Kong Polytechnic University
Finding Email in a Multi-Account, Multi-Device World Marta E. Cecchinato, University College London ; et al.

Abigail Sellen, Microsoft Research
Milad Shokouhi, Microsoft Research
Gavin Smyth, Microsoft Research
On Looking at the Vagina through Labella Teresa Almeida, Newcastle University ; et al.

Rob Comber, Newcastle University
Gavin Wood, Newcastle University
Dean Saraf, Newcastle University
Madeline Balaam, Newcastle University
Enhancing Cross-Device Interaction Scripting with Interactive Illustrations Pei-Yu (Peggy) Chi, University of California Berkeley ; et al.

Yang Li, Google
Björn Hartmann, University of California Berkeley
Empath: Understanding Topic Signals in Large-Scale Text Ethan Fast, Stanford University ; et al.

Binbin Chen, Stanford University
Michael Bernstein, Stanford University
The Effect of Visual Appearance on the Performance of Continuous Sliders and Visual Analogue Scales Justin Matejka, Autodesk Research ; et al.

Michael Glueck, Autodesk Research
Tovi Grossman, Autodesk Research
George Fitzmaurice, Autodesk Research
HCI Research as Problem-Solving Antti Oulasvirta, Aalto University
Kasper Hornbæk, University of Copenhagen
RapID: A Framework for Fabricating Low-Latency Interactive Objects with RFID Tags Andrew Spielberg, Massachusetts Institute of Technology ; et al.

Alanson Sample, Disney Research
Scott E. Hudson, Carnegie Mellon University
Jennifer Mankoff, Carnegie Mellon University
James McCann, Disney Research
Enabling Designers to Foresee Which Colors Users Cannot See Katharina Reinecke, University of Washington ; et al.

David R. Flatla, University of Dundee
Christopher Brooks, University of Michigan
Designing Movement-based Play With Young People Using Powered Wheelchairs Kathrin Gerling, University of Lincoln ; et al.

Kieran Hicks, University of Lincoln
Michael Kalyn, University of Lincoln
Adam Evans, University of Copenhagen
Conor Linehan, University College Cork
Developing and Validating the User Burden Scale: A Tool for Assessing User Burden in Computing Sys… Hyewon Suh, University of Washington ; et al.

Nina Shahriaree, University of Washington
Eric B. Hekler, Arizona State University
Julie A. Kientz, University of Washington
Momentary Pleasure or Lasting Meaning?: Distinguishing Eudaimonic and Hedonic User Experiences Elisa D. Mekler, University of Basel
Kasper Hornbæk, University of Copenhagen
Understanding and Mitigating the Effects of Device and Cloud Service Design Decisions on the Envir… Chris Preist, University of Bristol ; et al.

Daniel Schien, University of Bristol
Eli Blevis, Indiana University Bloomington
Haptic Wave: A Cross-Modal Interface for Visually Impaired Audio Producers Atau Tanaka & Adam Parkinson, Goldsmiths
“I don’t Want to Wear a Screen”: Probing Perceptions of and Possibilities for Dynamic Displays on … Laura Devendorf, University of California Berkeley ; et al.

Joanne Lo, University of California Berkeley
Noura Howell, University of California Berkeley
Jung Lin Lee, University of California Berkeley
Nan-Wei Gong, Google
M. Emre Karagozler, Google
Shiho Fukuhara, Google
Ivan Poupyrev, Google
Eric Paulos, University of California Berkeley
Kimiko Ryokai, University of California Berkeley
Dear Diary: Teens Reflect on Their Weekly Online Risk Experiences Pamela Wisniewski, University of Central Florida ; et al.

Heng Xu, Pennsylvania State University
Mary Beth Rosson, Pennsylvania State University
Daniel F. Perkins, Pennsylvania State University
John M. Carroll, Pennsylvania State University
Object-Oriented Drawing Haijun Xia, University of Toronto ; et al.

Bruno Araujo, University of Toronto
Tovi Grossman, Autodesk Research
Daniel Wigdor, University of Toronto
Foraging Among an Overabundance of Similar Variants Sruti Srinivasa Ragavan, Oregon State University ; et al.

Sandeep Kaur Kuttal, Oregon State University
Charles Hill, Oregon State University
Anita Sarma, Oregon State University
David Piorkowski, Oregon State University
Margaret Burnett, Oregon State University
Lock n’ LoL: Group-based Limiting Assistance App to Mitigate Smartphone Distractions in Group Acti… Minsam Ko, KAIST ; et al.

Seungwoo Choi, KAIST
Koji Yatani, University of Tokyo
Uichin Lee, KAIST
Learn Piano with BACh: An Adaptive Learning Interface that Adjusts Task Difficulty Based on Brain … Beste F. Yuksel, Tufts University ; et al.

Kurt B. Oleson, Tufts University
Lane Harrison, Worcester Polytechnic Institute
Evan M. Peck, Bucknell University
Daniel Afergan, Tufts University
Remco Chang, Tufts University
Robert JK Jacob, Tufts University
FlexCase: Enhancing Mobile Interaction with a Flexible Sensing and Display Cover Christian Rendl, University of Applied Sciences Upper Austria ; et al.

David Kim, Microsoft Research
Patrick Parzer, University of Applied Sciences Upper Austria
Sean Fanello, Microsoft Research
Martin Zirkl, Institute of Surface Technologies and Photonics
Gregor Scheipl, Joanneum Research Forschungsgesellschaft m.b.H
Michael Haller, University of Applied Sciences Upper Austria
Shahram Izadi, Microsoft Research
Project Jacquard: Interactive Digital Textiles at Scale Ivan Poupyrev, Google ; et al.

Nan-Wei Gong, Google
Shiho Fukuhara, Google
Mustafa Emre Karagozler, Google
Carsten Schwesig, Google
Karen E. Robinson, Google
Smart Touch: Improving Touch Accuracy for People with Motor Impairments with Template Matching Martez E. Mott, University of Washington ; et al.

Radu-Daniel Vatavu, University Stefan cel Mare of Suceava
Shaun K. Kane, University of Colorado Boulder
Jacob O. Wobbrock, University of Washington
2015 What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State … Jelmer P. Borst, University of Groningen ; et al.

Niels A. Taatgen, University of Groningen
Hedderik van Rijn, University of Groningen
VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keybo… Keith Vertanen, Montana Tech ; et al.

Haythem Memmi, Montana Tech
Justin Emge, Montana Tech
Shyam Reyal, University of St Andrews
Per Ola Kristensson, University of Cambridge
Sharing is Caring: Assistive Technology Designs on Thingiverse Erin Buehler, University of Maryland Baltimore County ; et al.

Stacy Branham, University of Maryland Baltimore County
Abdullah Ali, University of Maryland Baltimore County
Jeremy J. Chang, University of Maryland Baltimore County
Megan Kelly Hofmann, Colorado State University
Amy Hurst, University of Maryland Baltimore County
Shaun K. Kane, University of Maryland Baltimore County
Tiree Energy Pulse: Exploring Renewable Energy Forecasts on the Edge of the Grid Will Simm, Lancaster University ; et al.

Maria Angela Ferrario, Lancaster University
Adrian Friday, Lancaster University
Peter Newman, Lancaster University
Stephen Forshaw, Lancaster University
Mike Hazas, Lancaster University
Alan Dix, Lancaster University
Unequal Representation and Gender Stereotypes in Image Search Results for Occupations Matthew Kay, University of Washington ; et al.

Cynthia Matuszek, University of Maryland Baltimore County
Sean A. Munson, University of Washington
Resilience Mitigates the Negative Effects of Adolescent Internet Addiction and Online Risk Exposure Pamela Wisniewski, Pennsylvania State University ; et al.

Haiyan Jia, Pennsylvania State University
Na Wang, Pennsylvania State University
Saijing Zheng, Pennsylvania State University
Heng Xu, Pennsylvania State University
Mary Beth Rosson, Pennsylvania State University
John Carroll, Pennsylvania State University
Affordance++: Allowing Objects to Communicate Dynamic Use Pedro Lopes, Hasso Plattner Institute ; et al.

Patrik Jonell, Hasso Plattner Institute
Patrick Baudisch, Hasso Plattner Institute
Designing Political Deliberation Environments to Support Interactions in the Public Sphere Bryan Semaan, Syracuse University ; et al.

Heather Faucett, University of California Irvine
Scott P. Robertson, University of Hawaii at Manoa
Misa Maruyama, University of Hawaii at Manoa
Sara Douglas, University of Hawaii at Manoa
ColourID: Improving Colour Identification for People with Impaired Colour Vision David R. Flatla, University of Dundee ; et al.

Alan R. Andrade, University of Dundee
Ross D. Teviotdale, University of Dundee
Dylan L. Knowles, University of Saskatchewan
Craig Stewart, University of Dundee
Fluid Grouping: Quantifying Group Engagement around Interactive Tabletop Exhibits in the Wild Florian Block, Harvard University ; et al.

James Hammerman, TERC
Michael Horn, Northwestern University
Amy Spiegel, University of Nebraska-Lincoln
Jonathan Christiansen, TERC
Brenda Phillips, Harvard University
Judy Diamond, University of Nebraska State Museum
E. Margaret Evans, University of Michigan
Chia Shen, Harvard University
Sangeet Swara: A Community-Moderated Voice Forum in Rural India Aditya Vashistha, University of Washington ; et al.

Edward Cutrell, Microsoft Research
Gaetano Borriello, University of Washington
William Thies, Microsoft Research
Acoustruments: Passive, Acoustically-Driven, Interactive Controls for Handheld Devices Gierad Laput, Carnegie Mellon University ; et al.

Eric Brockmeyer, Disney Research
Scott E. Hudson, Carnegie Mellon University
Chris Harrison, Carnegie Mellon University
iSkin: Flexible, Stretchable and Visually Customizable On-Body Touch Sensors for Mobile Computing Martin Weigel, Max Planck Institut ; et al.

Tong Lu, Carnegie Mellon University
Gilles Bailly, Telecom ParisTech
Antti Oulasvirta, Aalto University
Carmel Majidi, Carnegie Mellon University
Jürgen Steimle, Max Planck Institut
Patina Engraver: Visualizing Activity Logs as Patina in Fashionable Trackers Moon-Hwan Lee, KAIST ; et al.

Seijin Cha, KAIST
Tek-Jin Nam, KAIST
BaseLase: An Interactive Focus+Context Laser Floor Jörg Müller, Aarhus University ; et al.

Dieter Eberle, Technische Universität Berlin
Constantin Schmidt, Technische Universität Berlin
The Social Impact of a Robot Co-Worker in Industrial Settings Allison Sauppé & Bilge Mutlu, University of Wisconsin
“I always assumed that I wasn’t really that close to [her]”: Reasoning about Invisible Algorithms … Motahhare Eslami, University of Illinois at Urbana-Champaign ; et al.

Aimee Rickman, California State University
Kristen Vaccaro, University of Illinois at Urbana-Champaign
Amirhossein Aleyasen, University of Illinois at Urbana-Champaign
Andy Vuong, University of Illinois at Urbana-Champaign
Karrie Karahalios, University of Illinois at Urbana-Champaign
Kevin Hamilton, University of Illinois at Urbana-Champaign
Christian Sandvig, University of Michigan
Understanding and Supporting Fathers and Fatherhood on Social Media Sites Tawfiq Ammari & Sarita Schoenebeck, University of Michigan
Lightweight Relief Shearing for Enhanced Terrain Perception on Interactive Maps Wesley Willett, INRIA ; et al.

Bernhard Jenny, Oregon State University
Tobias Isenberg, INRIA
Pierre Dragicevic, INRIA
From User-Centered to Adoption-Centered Design: A Case Study of an HCI Research Innovation Becomin… Parmit K. Chilana, University of Waterloo ; et al.

Andrew J. Ko, University of Washington
Jacob Wobbrock, University of Washington
2014 Growing Closer on Facebook: Changes in Tie Strength Through Social Network Site Use Moira Burke, Facebook
Robert Kraut, Carnegie Mellon University
Duet: Exploring Joint Interactions on a Smart Phone and a Smart Watch Xiang Anthony Chen, Carnegie Mellon University ; et al.

Tovi Grossman, Autodesk Research
Daniel Wigdor, University of Toronto
George Fitzmaurice, Autodesk Research
RetroDepth: 3D Silhouette Sensing for High-Precision Input On and Above Physical Surfaces David Kim, Microsoft Research ; et al.

Shahram Izadi, Microsoft Research
Jakub Dostal, University of St Andrews
Christoph Rhemann, Microsoft Research
Cem Keskin, Microsoft Research
Christopher Zach, Microsoft Research
Jamie Shotton, Microsoft Research
Timothy Large, Microsoft Research
Steven Bathiche, Microsoft
Matthias Niessner, Stanford University
D. Alex Butler, Microsoft Research
Sean Fanello, Istituto Italiano di Tecnologia
Vivek Pradeep, Microsoft
Estimating the Social Costs of Friendsourcing Jeffrey Rzeszotarski & Meredith Morris, Microsoft Research
Human Values in Curating a Human Rights Media Archive Abigail Durrant, Newcastle University ; et al.

David Kirk, Newcastle University
Stuart Reeves, University of Nottingham
Emerging Sites of HCI Innovation: Hackerspaces, Hardware Startups & Incubators Silvia Lindtner, University of California Irvine ; et al.

Garnet Hertz, University of California Irvine
Paul Dourish, University of California Irvine
Effects of Display Size and Navigation Type on a Classification Task Can Liu, Université Paris-Sud ; et al.

Olivier Chapuis, Université Paris-Sud
Michel Beaudouin-Lafon, Université Paris-Sud
Eric Lecolinet, Telecom ParisTech
Wendy Mackay, INRIA
George Fitzmaurice, Autodesk Research
Towards Accurate and Practical Predictive Models of Active-Vision-Based Visual Search David Kieras, University of Michigan
Anthony Hornof, University of Oregon
Real-time Feedback for Improving Medication Taking Matthew Lee, Philips Research
Anind Dey, Carnegie Mellon University
Making Sustainability Sustainable: Challenges in the Design of Eco-Interaction Technologies Rayoung Yang, University of Michigan ; et al.

Mark Newman, University of Michigan
Jodi Forlizzi, Carnegie Mellon University
Consumed Endurance: A Metric to Quantify Arm Fatigue of Mid-Air Interactions Anders Markussen, University of Copenhagen ; et al.

Mikkel Jakobsen, University of Copenhagen
Kasper Hornbaek, University of Copenhagen
Type-Hover-Swipe in 96 Bytes: A Motion Sensing Mechanical Keyboard Stuart A Taylor, Microsoft Research ; et al.

Cem Keskin, Microsoft Research
Otmar Hilliges, ETH Zurich
Shahram Izadi, Microsoft Research
John Helmes, Microsoft Research
Structured Labeling for Facilitating Concept Evolution in Machine Learning Todd Kulesza, Oregon State University ; et al.

Saleema Amershi, Microsoft Research
Rich Caruana, Microsoft Research
Danyel Fisher, Microsoft Research
Denis Charles, Microsoft Research
MixFab: a Mixed-Reality Environment for Personal Fabrication Christian Weichel, Lancaster University ; et al.

Manfred Lau, Lancaster University
David Kim, Microsoft Research
Nicolas Villar, Microsoft Research
Hans W Gellersen, Lancaster University
Designing for Slowness, Anticipation and Re-visitation: A Long Term Field Study of the Photobox William Odom, Carnegie Mellon University ; et al.

Abigail Sellen, Microsoft Research
Richard Banks, Microsoft Research
David Kirk, Newcastle University
Tim Regan, Microsoft
Mark Selby, University of Nottingham
Jodi Forlizzi, Carnegie Mellon University
John Zimmerman, Carnegie Mellon University
“Narco” Emotions: Affect and Desensitization in Social Media during the Mexican Drug War Munmun De Choudhury, Microsoft Research ; et al.

Andres Monroy-Hernandez, Microsoft Research
Gloria Mark, University of California Irvine
Understanding Multitasking Through Parallelized Strategy Exploration and Individualized Cognitive … Yunfeng Zhang & Anthony Hornof, University of Oregon
2013 Labor Dynamics in a Mobile Micro-Task Market Mohamed Musthag & Deepak Ganesan, University of Massachusetts Amherst
What is “Critical” About Critical Design? Jeffrey Bardzell & Shaowen Bardzell, Indiana University at Bloomington
SPRWeb: Preserving Subjective Responses to Website Colour Schemes through Automatic Recolouring David R. Flatla, University of Saskatchewan ; et al.

Katharina Reinecke, Harvard University
Carl Gutwin, University of Saskatchewan
Krzysztof Z. Gajos, Harvard University
LaserOrigami: Laser-Cutting 3D Objects Stefanie Mueller, Hasso Plattner Institute ; et al.

Bastian Kruck, Hasso Plattner Institute
Patrick Baudisch, Hasso Plattner Institute
Mind the Theoretical Gap: Interpreting, Using, and Developing Behavioral Theory in HCI Research Eric B. Hekler, Arizona State University ; et al.

Predrag Klasnja, University of Michigan
Jon Froehlich, University of Maryland
Matthew P. Buman, University of Maryland
Screenfinity: Extending the Perception Area of Content on Very Large Public Displays Constantin Schmidt, Technische Universität Berlin ; et al.

Jörg Müller, Technische Universität Berlin
Gilles Bailly, Technische Universität Berlin
Reasons to Question Seven Segment Displays Harold Thimbleby, Swansea University
Improving Navigation-Based File Retrieval Stephen Fitchett, University of Canterbury ; et al.

Andy Cockburn, University of Canterbury
Carl Gutwin, University of Saskatchewan
The Dubuque Electricity Portal: Evaluation of a City-Scale Residential Electricity Consumption Fee… Tom Erickson, IBM Research ; et al.

Ming Li, IBM Research
Younghun Kim, IBM Research
Ajay Deshpande, IBM Research
Sambit Sahu, IBM Research
Tian Chao, IBM Research
Piyawadee Sukaviriya, IBM Research
Milind Naphade, IBM Research
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures Tom Rodden, University of Nottingham ; et al.

Joel E. Fischer, University of Nottingham
Nadia Pantidi, University of Nottingham
Khaled Bachour, University of Nottingham
Stuart Moran, University of Nottingham
Job Opportunities through Entertainment: Virally Spread Speech-Based Services for Low-Literate Users Agha Ali Raza, Carnegie Mellon University ; et al.

Farhan Ul Haq, Lahore University of Management Sciences
Zain Tariq, Lahore University of Management Sciences
Mansoor Pervaiz, Northeastern University
Samia Razaq, Lahore University of Management Sciences
Umar Saif, Lahore University of Management Sciences
Roni Rosenfeld, Carnegie Mellon University
IllumiRoom: Peripheral Projected Illusions for Interactive Experiences Brett Jones, University of Illinois at Urbana-Champaign ; et al.

Hrvoje Benko, Microsoft Research
Eyal Ofek, Microsoft Research
Andrew D. Wilson, Microsoft Research
The Efficacy of Human Post-Editing for Language Translation Spence Green, Stanford University ; et al.

Jeffrey Heer, Stanford University
Christopher D. Manning, Stanford University
Analyzing User-Generated YouTube Videos to Understand Touchscreen Use by People with Motor Impairm… Lisa Anthony, University of Maryland Baltimore County ; et al.

YooJin Kim, University of Maryland
Leah Findlater, University of Maryland
Turkopticon: Interrupting Worker Invisibility in Amazon Mechanical Turk Lilly Irani, University of California Irvine
M. Six Silberman, Bureau of Economic Interpretation
Webzeitgeist: Design Mining the Web Ranjitha Kumar, Stanford University ; et al.

Arvind Satyanarayan, Stanford University
Cesar Torres, Stanford University
Maxine Lim, Stanford University
Salman Ahmad, Massachusetts Institute of Technology
Scott R. Klemmer, Stanford University
Jerry O. Talton, Intel
Weighted Graph Comparison Techniques for Brain Connectivity Analysis Basak Alper, University of California Santa Barbara ; et al.

Benjamin Bach, INRIA
Nathalie Riche, Microsoft Research
Tobias Isenberg, INRIA
Jean-Daniel Fekete, INRIA
The Many Faces of Facebook: Experiencing Social Media as Performance, Exhibition, and Personal Arc… Xuan Zhao, Cornell University ; et al.

Niloufar Salehi, Cornell University
Sasha Naranjit, Cornell University
Sara Alwaalan, Cornell University
Stephen Voida, Cornell University
Dan Cosley, Cornell University
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 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 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 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 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 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 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 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)
2016 Vandalism Detection in Wikidata Stefan Heindorf, Paderborn University ; et al.

Martin Potthast, Bauhaus-Universität Weimar
Benno Stein, Bauhaus-Universität Weimar
Gregor Engels, Paderborn University
2015 Assessing the Impact of Syntactic and Semantic Structures for Answer Passages Reranking Kateryna Tymoshenko, University of Trento
Alessandro Moschitti, Qatar Computing Research Institute
2014 Cross-Device Search George Montanez, Carnegie Mellon University ; et al.

Ryen White, Microsoft Research
Xiao Huang, Microsoft
2013 Penguins in Sweaters, or Serendipitous Entity Search on User-generated Content Ilaria Bordino, Yahoo! Research ; et al.

Yelena Mejova, Yahoo! Research
Mounia Lalmas, Yahoo! Research
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, University 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)
2016 Deep Residual Learning for Image Recognition Kaiming He, Microsoft Research ; et al.

Xiangyu Zhang, Microsoft Research
Shaoqing Ren, Microsoft Research
Jian Sun, Microsoft Research
2015 DynamicFusion: Reconstruction and Tracking of Non-rigid Scenes in Real-Time Richard A. Newcombe, University of Washington ; et al.

Dieter Fox, University of Washington
Steven M. Seitz, University of Washington
2014 What Camera Motion Reveals About Shape with Unknown BRDF Manmohan Chandraker, NEC Labs America
2013 Fast, Accurate Detection of 100,000 Object Classes on a Single Machine Thomas Dean, Google ; et al.

Mark A. Ruzon, Google
Mark Segal, Google
Jonathon Shlens, Google
Sudheendra Vijayanarasimhan, Google
Jay Yagnik, Google
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)
2016 Settling the Complexity of Computing Approximate Two-Player Nash Equilibria Aviad Rubinstein, University of California Berkeley
Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning Ran Raz, Weizmann Institute of Science
2015 An average-case depth hierarchy theorem for Boolean circuits Benjamin Rossman, National Institute of Informatics ; et al.

Rocco A. Servedio, Columbia University
Li-Yang Tan, University of California Berkeley
2014 Path Finding Methods for Linear Programming: Solving Linear Programs in O(sqrt(rank)) Iterations a… Yin Tat Lee & Aaron Sidford, Massachusetts Institute of Technology
2013 Navigating Central Path with Electrical Flows: from Flows to Matchings, and Back Aleksander Mądry, École Polytechnique Fédérale de Lausanne
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 A Randomized Rounding Approach to the Traveling Salesman Problem Shayan Oveis Gharan, Stanford University ; et al.

Amin Saberi, Stanford University
Mohit Singh, McGill University
A Polylogarithmic-Competitive Algorithm for the k-Server Problem Nikhil Bansal, IBM Research ; et al.

Niv Buchbinder, Open University
Aleksander Mądry, Massachusetts Institute of Technology
Joseph Naor, Technion
Approximating Graphic TSP by Matchings Tobia M¨o;mke & Ola Svensson, Royal Institute of Technology
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)
2016 Foraging and Navigations Fundamentally: Developers’ Predictions of Value and Cost David Piorkowski, Oregon State University ; et al.

Austin Z. Henley, University of Memphis
Tahmid Nabi, Oregon State University
Scott D. Fleming, University of Memphis
Christopher Scaffidi, Oregon State University
Margaret Burnett, Oregon State University
Multi-Representational Security Analysis Eunsuk Kang, University of California Berkeley ; et al.

Aleksandar Milicevic, Microsoft
Daniel Jackson, Massachusetts Institute of Technology
Factors Influencing Code Review Processes in Industry Tobias Baum, Leibniz Universität Hannover ; et al.

Olga Liskin, Leibniz Universität Hannover
Kai Niklas, Leibniz Universität Hannover
Kurt Schneider, Leibniz Universität Hannover
API Code Recommendation Using Statistical Learning from Fine-grained Changes Anh Tuan Nguyen, Iowa State University ; et al.

Michael Hilton, Oregon State University
Mihai Codoban, Microsoft
Hoan Anh Nguyen, Iowa State University
Lily Mast, University of Evansville
Eli Rademacher, Oregon State University
Tien N. Nguyen, Iowa State University
Danny Dig, Oregon State University
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis Xiaofei Xie, Tianjin University ; et al.

Bihuan Chen, Nanyang Technological University
Yang Liu, Nanyang Technological University
Wei Le, Iowa State University
Xiaohong Li, Tianjin University
Why We Refactor? Confessions of GitHub Contributors Danilo Silva, Federal University of Minas Gerais ; et al.

Nikolaos Tsantalis, Concordia University
Marco Tulio Valente, Federal University of Minas Gerais
Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis Jianjun Huang, Purdue University ; et al.

Xiangyu Zhang, Purdue University
Lin Tan, University of Waterloo
2015 Optimizing energy consumption of GUIs in Android apps: a multi-objective approach Mario Linares-Vásquez, College of William and Mary ; et al.

Gabriele Bavota, Free University of Bolzano
Carlos Eduardo Bernal Cárdenas, College of William and Mary
Rocco Oliveto, University of Molise
Massimiliano Di Penta, University of Sannio
Denys Poshyvanyk, College of William and Mary
How Practitioners Perceive the Relevance of Software Engineering Research David Lo, Singapore Management University ; et al.

Nachiappan Nagappan, Microsoft Research
Thomas Zimmermann, Microsoft Research
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers Reza Matinnejad, University of Luxembourg ; et al.

Shiva Nejati, University of Luxembourg
Lionel C. Briand, University of Luxembourg
Thomas Bruckmann, Delphi Automotive Systems
Modeling Readability to Improve Unit Tests Ermira Daka, University of Sheffield ; et al.

José Campos, University of Sheffield
Gordon Fraser, University of Sheffield
Jonathan Dorn, University of Virginia
Westley Weimer, University of Virginia
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt Neil A. Ernst, Carnegie Mellon University ; et al.

Stephany Bellomo, Carnegie Mellon University
Ipek Ozkaya, Carnegie Mellon University
Robert L. Nord, Carnegie Mellon University
Ian Gorton, Carnegie Mellon University
A User-Guided Approach to Program Analysis Ravi Mangal, Georgia Institute of Technology ; et al.

Xin Zhang, Georgia Institute of Technology
Aditya V. Nori, Microsoft Research
Mayur Naik, Georgia Institute of Technology
MultiSE: Multi-path Symbolic Execution using Value Summaries Koushik Sen, University of California Berkeley ; et al.

George Necula, University of California Berkeley
Liang Gong, University of California Berkeley
Wontae Choi, University of California Berkeley
Users Beware: Preference Inconsistencies Ahead Farnaz Behrang, Georgia Institute of Technology ; et al.

Myra B. Cohen, University of Nebraska-Lincoln
Alessandro Orso, Georgia Institute of Technology
2014 Selection and Presentation Practices for Code Example Summarization Annie Ying & Martin Robillard, McGill University
Are Mutants a Valid Substitute for Real Faults in Software Testing? René Just, University of Washington ; et al.

Darioush Jalali, University of Washington
Laura Inozemtseva, University of Waterloo
Michael Ernst, University of Washington
Reid Holmes, University of Waterloo
Gordon Fraser, University of Sheffield
AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Tsinghua University ; et al.

Yongwei Wu, Tsinghua University
Shan Lu, University of Wisconsin
Shanxiang Qi, University of Illinois at Urbana-Champaign
Jinglei Ren, Tsinghua University
Weimin Zheng, Tsinghua University
Powering the Static Driver Verifier using Corral Akash Lal & Shaz Qadeer, Microsoft Research
Learning Natural Coding Conventions Miltiadis Allamanis, University of Edinburgh ; et al.

Earl T. Barr, University College London
Christian Bird, Microsoft Research
Charles Sutton, University of Edinburgh
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Siemens Corporate Technology ; et al.

Christoph Elsner, Siemens Corporate Technology
Daniel Lohmann, Friedrich-Alexander University
2012 Seeking the Ground Truth: A Retroactive Study on the Evolution and Migration of Software Libraries Bradley Cossette & Robert Walker, University of Calgary
Scalable Test Data Generation from Multidimensional Models Emina Torlak, University of California Berkeley
Assessing the Value of Branches with What-if Analysis Christian Bird & Thomas Zimmermann, Microsoft Research
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)
2015 Deep Neural Decision Forests Peter Kontschieder, Microsoft Research ; et al.

Madalina Fiterau, Carnegie Mellon University
Antonio Criminisi, Microsoft Research
Samuel Rota Bulò, Microsoft Research
2013 From Large Scale Image Categorization to Entry-Level Categories Vicente Ordonez, University of North Carolina at Chapel Hill ; et al.

Jia Deng, Stanford University
Yejin Choi, Stony Brook University
Alexander Berg, University of North Carolina at Chapel Hill
Tamara Berg, University of North Carolina at Chapel Hill
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)
2016 Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling Christopher De Sa, Stanford University ; et al.

Chris Re, Stanford University
Kunle Olukotun, Stanford University
Pixel Recurrent Neural Networks Aaron Van den Oord, Google ; et al.

Nal Kalchbrenner, Google
Koray Kavukcuoglu, Google
Dueling Network Architectures for Deep Reinforcement Learning Ziyu Wang, Google ; et al.

Tom Schaul, Google
Matteo Hessel, Google
Hado van Hasselt, Google
Marc Lanctot, Google
Nando de Freitas, University of Oxford
2015 A Nearly-Linear Time Framework for Graph-Structured Sparsity Chinmay Hegde, Massachusetts Institute of Technology ; et al.

Piotr Indyk, Massachusetts Institute of Technology
Ludwig Schmid, Massachusetts Institute of Technology
Optimal and Adaptive Algorithms for Online Boosting Alina Beygelzimer, Yahoo! Research ; et al.

Satyen Kale, Yahoo! Research
Haipeng Luo, Princeton University
2014 Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis Jian Tang, Peking University ; et al.

Zhaoshi Meng, University of Michigan
XuanLong Nguyen, University of Michigan
Qiaozhu Mei, University of Michigan
Ming Zhang, Peking University
2013 Vanishing Component Analysis Roi Livni, The Hebrew University of Jerusalum ; et al.

David Lehavi, Hewlett-Packard Labs
Sagi Schein, Hewlett-Packard Labs
Hila Nachlieli, Hewlett-Packard Labs
Shai Shalev Shwartz, The Hebrew University of Jerusalum
Amir Globerson, The Hebrew University of Jerusalum
Fast Semidifferential-based Submodular Function Optimization Rishabh Iyer, University of Washington ; et al.

Stefanie Jegelka, University of California Berkeley
Jeff Bilmes, University of Washington
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)
2016 Feedback-Directed Instrumentation for Deployed JavaScript Applications Magnus Madsen, University of Waterloo ; et al.

Frank Tip, Samsung Research
Esben Andreasen, Aarhus University
Koushik Sen, University of California Berkeley
Anders Møller, Aarhus University
From Word Embeddings to Document Similarities for Improved Information Retrieval in Software Engin… Xin Ye, Ohio University Athens ; et al.

Hui Shen, Ohio University Athens
Xiao Ma, Ohio University Athens
Razvan Bunescu, Ohio University Athens
Chang Liu, Ohio University Athens
On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE Eric F. Rizzi, Grammatech ; et al.

Sebastian Elbaum, University of Nebraska-Lincoln
Matthew B. Dwyer, University of Nebraska-Lincoln
Work Practices and Challenges in Pull-Based Development: The Contributor’s Perspective Georgios Gousios, Radboud University Nijmegen ; et al.

Margaret-Anne Storey, University of Victoria
Alberto Bacchelli, Delft University of Technology
Termination-Checking for LLVM Peephole Optimizations David Menendez & Santosh Nagarakatte, Rutgers University
Guiding Dynamic Symbolic Execution toward Unverified Program Executions Maria Christakis, ETH Zurich ; et al.

Peter Müller, ETH Zurich
Valentin Wüstholz, ETH Zurich
Efficient Large-Scale Trace Checking Using MapReduce Marcello M. Bersani, Politecnico di Milano ; et al.

Domenico Bianculli, University of Luxembourg
Carlo Ghezzi, Politecnico di Milano
Srđan Krstić, Politecnico di Milano
Pierluigi San Pietro, Politecnico di Milano
VDTest: An Automated Framework to Support Testing for Virtual Devices Tingting Yu, University of Kentucky ; et al.

Xiao Qu, ABB Corporate Research
Myra B. Cohen, University of Nebraska-Lincoln
Energy Profiles of Java Collections Classes Samir Hasan, Auburn University ; et al.

Zachary King, Auburn University
Munawar Hafiz, Auburn University
Mohammed Sayagh, Polytechnique Montréal
Bram Adams, Polytechnique Montréal
Abram Hindle, University of Alberta
2015 Alloy*: A General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic, Massachusetts Institute of Technology ; et al.

Joseph P. Near, Massachusetts Institute of Technology
Eunsuk Kang, Massachusetts Institute of Technology
Daniel Jackson, Massachusetts Institute of Technology
How Much Up-Front? A Grounded theory of Agile Architecture Michael Waterman, Specialised Architecture Services Ltd ; et al.

James Noble, Victoria University of Wellington
George Allan, Victoria University of Wellington
Views on Internal and External Validity in Empirical Software Engineering Janet Siegmund, University of Passau ; et al.

Norbert Siegmund, University of Passau
Sven Apel, University of Passau
Why Good Developers Write Bad Code: An Observational Case Study of the Impacts of Organizational F… Mathieu Lavallée & Pierre N. Robillard, Polytechnique Montréal
When and Why Your Code Starts to Smell Bad Michele Tufano, College of William and Mary ; et al.

Fabio Palomba, University of Salerno
Gabriele Bavota, Free University of Bozen-Bolzano
Rocco Oliveto, University of Molise
Massimiliano Di Penta, University of Sannio
Andrea De Lucia, University of Salerno
Denys Poshyvanyk, College of William and Mary
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor, Chapman University ; et al.

Po-Chun Chang, University of Wisconsin
Cosmin Radoi, University of Illinois at Urbana-Champaign
Shan Lu, University of Chicago
2014 Characterizing and Detecting Performance Bugs for Smartphone Applications Yepang Liu, Hong Kong University of Science and Technology ; et al.

Chang Xu, Nanjing University
Shing-Chi Cheung, Hong Kong University of Science and Technology
Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers Paige Rodeghero, University of Notre Dame ; et al.

Collin McMillan, University of Notre Dame
Paul W. McBurney, University of Notre Dame
Nigel Bosch, University of Notre Dame
Sidney D’Mello, University of Notre Dame
Understanding JavaScript Event-Based Interactions Saba Alimadadi, University of British Columbia ; et al.

Sheldon Sequeira, University of British Columbia
Ali Mesbah, University of British Columbia
Karthik Pattabiraman, University of British Columbia
Coverage Is Not Strongly Correlated with Test Suite Effectiveness Laura Inozemtseva & Reid Holmes, University of Waterloo
Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Softw… Emerson Murphy-Hill, North Carolina State University ; et al.

Thomas Zimmermann, Microsoft Research
Nachiappan Nagappan, Microsoft Research
Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs Nélio Cacho, Federal University of Rio Grande do Norte ; et al.

Thiago César, Federal University of Rio Grande do Norte
Thomas Filipe, Federal University of Rio Grande do Norte
Eliezio Soares, Federal University of Rio Grande do Norte
Arthur Cassio, Federal University of Rio Grande do Norte
Rafael Souza, Federal University of Rio Grande do Norte
Israel Garcia, Federal University of Rio Grande do Norte
Eiji Adachi Barbosa, Pontifical Catholic University of Rio de Janeiro
Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro
Unit Test Virtualization with VMVM Jonathan Bell & Gail Kaiser, Columbia University
Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Carnegie Mellon University ; et al.

Alexandre Rebert, Carnegie Mellon University
Sang Kil Cha, Carnegie Mellon University
David Brumley, Carnegie Mellon University
A Study and Toolkit for Asynchronous Programming in C# Semih Okur, University of Illinois at Urbana-Champaign ; et al.

David L. Hartveld, Delft University of Technology
Danny Dig, Oregon State University
Arie van Deursen, Delft University of Technology
2013 Dual Ecological Measures of Focus in Software Development Daryl Posnett, University of California Davis ; et al.

Raissa D’Souza, University of California Davis
Premkumar Devanbu, University of California Davis
Vladimir Filkov, University of California Davis
Data Clone Detection and Visualization in Spreadsheets Felienne Hermans, Delft University of Technology ; et al.

Ben Sedee, Delft University of Technology
Martin Pinzger, Delft University of Technology
Arie van Deursen, Delft University of Technology
UML in Practice Marian Petre, Open University
Automatic patch generation learned from human-written patches Dongsun Kim, Hong Kong University of Science and Technology ; et al.

Jaechang Nam, Hong Kong University of Science and Technology
Jaewoo Song, Hong Kong University of Science and Technology
Sunghun Kim, Hong Kong University of Science and Technology
Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds Weiyi Shang, Queen’s University ; et al.

Zhen Ming Jiang, Queen’s University
Hadi Hemmati, Queen’s University
Bram Adams, Polytechnique Montréal
Ahmed E. Hassan, Queen’s University
Patrick Martin, Queen’s University
Interaction-Based Test-Suite Minimization Dale Blue, IBM ; et al.

Itai Segall, IBM Research
Rachel Tzoref-Brill, IBM Research
Aviad Zlotnick, IBM Research
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)
2016 Hierarchical Finite State Controllers for Generalized Planning Javier Segovia, Universitat Pompeu Fabra ; et al.

Sergio Jiménez, Universitat Pompeu Fabra
Anders Jonsson, Universitat Pompeu Fabra
2015 Bayesian Active Learning for Posterior Estimation Kirthevasan Kandasamy, Carnegie Mellon University ; et al.

Jeff Schneider, Carnegie Mellon University
Barnabas Poczos, Carnegie Mellon University
Recursive Decomposition for Nonconvex Optimization Abram L. Friesen & Pedro Domingos, University of Washington
2013 Bayesian Optimization in High Dimensions via Random Embeddings Ziyu Wang, University of British Columbia ; et al.

Masrour Zoghi, University of Amsterdam
Frank Hutter, Freiberg University
David Matheson, University of British Columbia
Nando de Freitas, University of British Columbia
Flexibility and Decoupling in the Simple Temporal Problem Michel Wilson, Delft University of Technology ; et al.

Tomas Klos, Delft University of Technology
Cees Witteveen, Delft University of Technology
Bob Huisman, Delft University of Technology
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)
2016 Heavy-Ball: A New Approach to Tame Delay and Convergence in Wireless Network Optimization Jia Liu, Ohio State University ; et al.

Atilla Eryilmaz, Ohio State University
Ness B. Shroff, Ohio State University
Elizabeth Serena Bentley, Air Force Research Laboratory
2015 The Power of Slightly More than One Sample in Randomized Load Balancing Lei Ying, Arizona State University ; et al.

R. Srikant, University of Illinois at Urbana-Champaign
Xiaohan Kang, Arizona State University
2014 Joint Static and Dynamic Traffic Scheduling in Data Center Networks Zizhong Cao, Polytechnic Institute of New York University ; et al.

M. Kodialam, Bell Labs
T. V. Lakshman, Bell Labs
Performance Evaluation and Asymptotics for Content Delivery Networks Virag Shah & Gustavo de Veciana, University of Texas at Austin
2013 On the Steady-State of Cache Networks Elisha J. Rosensweig, University of Massachusetts Amherst ; et al.

Daniel S. Menasche, University of Massachusetts Amherst
Jim Kurose, University of Massachusetts Amherst
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 Telecom
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)
2016 FRAUDAR: Bounding Graph Fraud in the Face of Camouflage Bryan Hooi, Carnegie Mellon University ; et al.

Hyun Ah Song, Carnegie Mellon University
Alex Beutel, Carnegie Mellon University
Neil Shah, Carnegie Mellon University
Kijung Shin, Carnegie Mellon University
Christos Faloutsos, Carnegie Mellon University
2015 Efficient Algorithms for Public-Private Social Networks Flavio Chierichetti, Sapienza University of Rome ; et al.

Alessandro Epasto, Brown University
Ravi Kumar, Google
Silvio Lattanzi, Google
Vahab Mirrokni, Google
2014 Reducing the Sampling Complexity of Topic Models Aaron Li, Carnegie Mellon University ; et al.

Amr Ahmed, Google
Sujith Ravi, Google
Alexander Smola, Carnegie Mellon University
2013 Simple and Deterministic Matrix Sketching Edo Liberty, Yahoo! Research
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
MOBICOM (Mobile)
2015 CAreDroid: Adaptation Framework for Android ContextAware Applications Salma Elmalaki, University of California Los Angeles ; et al.

Lucas Wanner, University of California Los Angeles
Mani Srivastava, University of California Los Angeles
2014 Tagoram: Real-Time Tracking of Mobile RFID Tags to High Precision Using COTS Devices Lei Yang, Tsinghua University ; et al.

Yekui Chen, Tsinghua University
Xiang-Yang Li, Illinois Institute of Technology
Chaowei Xiao, Tsinghua University
Mo Li, Nanyang Technological University
Yunhao Liu, Tsinghua University
2013 Whole-Home Gesture Recognition Using Wireless Signals Qifan Pu, University of Washington ; et al.

Sidhant Gupta, University of Washington
Shyamnath Gollakota, University of Washington
Shwetak Patel, University of Washington
2012 Distinguishing Users with Capacitative Touch Communication Tam Vu, Rutgers University ; et al.

Akash Baid, Rutgers University
Simon Gao, Rutgers University
Marco Gruteser, Rutgers University
Richard Howard, Rutgers University
Janne Lindqvist, Rutgers University
Predag Spasojevic, Rutgers University
Jeffrey Walling, Rutgers University
2011 Detecting Driver Phone Use Leveraging Car Speakers Jie Yang, Stevens Institute of Technology ; et al.

Simon Sdhom, Stevens Institute of Technology
Gayathri Chandrasekaran, Rutgers University
Tam Vu, Stevens Institute of Technology
Hongbo Liu, Stevens Institute of Technology
Nicolae Cecan, Rutgers University
Yingying Chen, Stevens Institute of Technology
Marco Gruteser, Rutgers University
Richard P. Martin, Rutgers University
E-MiLi: Energy-Minimizing Idle Listening in Wireless Networks Xinyu Zhang & Kang G. Shin, University of Michigan
2010 The κ factor: inferring protocol performance using inter-link reception correlation Kannan Srinivasan, Stanford University ; et al.

Mayank Jain, Stanford University
Jung Il Choi, Stanford University
Tahir Azim, Stanford University
Edward S. Kim, University of Southern California
Philip Levis, Stanford University
Bhaskar Krishnamachari, University of Southern California
2009 CENTAUR: Realizing the Full Potential of Centralized WLANs through a Hybrid Data Path Vivek Shrivastava, University of Wisconsin ; et al.

Nabeel Ahmed, University of Waterloo
Shravan Rayanchu, University of Wisconsin
Suman Banerjee, University of Wisconsin
Srinivasan Keshav, University of Waterloo
Konstantina Papagiannaki, Intel Research
Arunesh Mishra, Google
2008 Assessment of Urban-Scale Wireless Networks with a Small Number of Measurements Joshua Robinson, Rice University ; et al.

Ram Swaminathan, Hewlett-Packard Labs
Edward W. Knightly, Rice University
NSDI (Networking)
2016 Passive Wi-Fi: Bringing Low Power to Wi-Fi Transmissions Bryce Kellogg, University of Washington ; et al.

Vamsi Talla, University of Washington
Shyamnath Gollakota, University of Washington
Joshua R. Smith, University of Washington
2015 Queues Don’t Matter When You Can JUMP Them! Matthew P. Grosvenor, University of Cambridge ; et al.

Malte Schwarzkopf, University of Cambridge
Ionel Gog, University of Cambridge
Robert N. M. Watson, University of Cambridge
Andrew W. Moore, University of Cambridge
Steven Hand, University of Cambridge
Jon Crowcroft, University of Cambridge
Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, University of Washington ; et al.

Jialin Li, University of Washington
Vincent Liu, University of Washington
Naveen Kr. Sharma, University of Washington
Arvind Krishnamurthy, University of Washington
The Design and Implementation of Open vSwitch Ben Pfaff, VMware ; et al.

Justin Pettit, VMware
Teemu Koponen, VMware
Ethan J. Jackson, VMware
Andy Zhou, VMware
Jarno Rajahalme, VMware
Jesse Gross, VMware
Alex Wang, VMware
Jonathan Stringer, VMware
Pravin Shelar, VMware
Keith Amidon, Awake Networks
Martín Casado, VMware
2014 Software Dataplane Verification Mihai Dobrescu & Katerina Argyraki, École Polytechnique Fédérale de Lausanne
2013 Embassies: Radically Refactoring the Web Jon Howell, Microsoft Research ; et al.

Bryan Parno, Microsoft Research
John R. Douceur, Microsoft Research
A Fault-Tolerant Engineered Network Vincent Liu, University of Washington ; et al.

Daniel Halperin, University of Washington
Arvind Krishnamurthy, University of Washington
Thomas Anderson, University of Washington
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 Sora: High Performance Software Radio Using General Purpose Multi-core Processors Kun Tan, Microsoft Research ; et al.

Jiansong Zhang, Microsoft Research
Ji Fang, Beijing Jiaotong University
He Liu, Tsinghua University
Yusheng Ye, Tsinghua University
Shen Wang, Tsinghua University
Yongguang Zhang, Microsoft Research
Haitao Wu, Microsoft Research
Wei Wang, Microsoft Research
Geoffrey M. Voelker, University of California San Diego
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)
2016 Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data Tyler Hunt, University of Texas at Austin ; et al.

Zhiting Zhu, University of Texas at Austin
Yuanzhong Xu, University of Texas at Austin
Simon Peter, University of Texas at Austin
Emmett Witchel, University of Texas at Austin
Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, University of Washington ; et al.

James Bornholt, University of Washington
Emina Torlak, University of Washington
Xi Wang, University of Washington
Early Detection of Configuration Errors to Reduce Failure Damage Tianyin Xu, University of California San Diego ; et al.

Xinxin Jin, University of California San Diego
Peng Huang, University of California San Diego
Yuanyuan Zhou, University of California San Diego
Shan Lu, University of Chicago
Long Jin, University of California San Diego
Shankar Pasupathy, NetApp
2014 Shielding Applications from an Untrusted Cloud with Haven Andrew Baumann, Microsoft Research ; et al.

Marcus Peinado, Microsoft Research
Galen Hunt, Microsoft Research
IX: A Protected Dataplane Operating System for High Throughput and Low Latency Adam Belay, Stanford University ; et al.

George Prekas, École Polytechnique Fédérale de Lausanne
Ana Klimovic, Stanford University
Samuel Grossman, Stanford University
Christos Kozyrakis, Stanford University
Edouard Bugnion, École Polytechnique Fédérale de Lausanne
Arrakis: The Operating System is the Control Plane Simon Peter, University of Washington ; et al.

Jialin Li, University of Washington
Irene Zhang, University of Washington
Dan Ports, University of Washington
Doug Woos, University of Washington
Arvind Krishnamurthy, University of Washington
Thomas Anderson, University of Washington
Timothy Roscoe, ETH Zurich
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
Zvi Dubitzky, IBM Research
Michael Factor, IBM Research
Nadav Har’El, IBM Research
Abel Gordon, IBM Research
Anthony Liguori, IBM
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)
2016 Assessing the limits of program-specific garbage collection performance Nicholas Jacek, University of Massachusetts Amherst ; et al.

Meng-Chieh Chiu, University of Massachusetts Amherst
Benjamin Marlin, University of Massachusetts Amherst
Eliot Moss, University of Massachusetts Amherst
Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, University of Cambridge ; et al.

Justus Matthiesen, University of Cambridge
James Lingard, University of Cambridge
Kyndylan Nienhuis, University of Cambridge
David Chisnall, University of Cambridge
Robert N. M. Watson, University of Cambridge
Peter Sewell, University of Cambridge
Transactional Data Structure Libraries Alexander Spiegelman, Technion ; et al.

Guy Golan-Gueta, Yahoo! Research
Idit Keidar, Technion
Types from data: Making structured data first-class citizens in F# Tomas Petricek, University of Cambridge ; et al.

Gustavo Guerra, Microsoft
Don Syme, Microsoft Research
2015 Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, Microsoft Research ; et al.

David Menendez, Rutgers University
Santosh Nagarakatte, Rutgers University
John Regehr, University of Utah
Diagnosing Type Errors with Class Danfeng Zhang, Cornell University ; et al.

Andrew C. Myers, Cornell University
Dimitrios Vytiniotis, Microsoft Research
Simon Peyton-Jones, Microsoft Research
Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, University of Washington ; et al.

Alex Sanchez-Stern, University of Washington
James R. Wilcox, University of Washington
Zachary Tatlock, University of Washington
2014 Improving JavaScript Performance by Deconstructing the Type System Wonsun Ahn, University of Illinois at Urbana-Champaign ; et al.

Jiho Choi, University of Illinois at Urbana-Champaign
Thomas Shull, University of Illinois at Urbana-Champaign
María Garzarín, University of Illinois at Urbana-Champaign
Josep Torrellas, University of Illinois at Urbana-Champaign
Compiler validation via equivalence modulo inputs Vu Le, University of California Davis ; et al.

Mehrdad Afshari, University of California Davis
Zhendong Su, University of California Davis
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang, Georgia Institute of Technology ; et al.

Ravi Mangal, Georgia Institute of Technology
Radu Grigore, Oxford University
Mayur Naik, Georgia Institute of Technology
Hongseok Yang, Oxford University
2013 Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many … Sriram Sankaranarayanan, University of Colorado ; et al.

Aleksandar Chakarov, University of Colorado
Sumit Gulwani, Microsoft Research
A General Constraint-centric Scheduling Framework for Spatial Architectures Tony Nowatzki, University of Wisconsin ; et al.

Michael Sartin-Tarm, University of Wisconsin
Lorenzo De Carli, University of Wisconsin
Karthikeyan Sankaralingam, University of Wisconsin
Cristian Estan, Broadcom
Behnam Robatmili, Qualcomm Research
Reconciling Exhaustive Pattern Matching with Objects Chinawat Isradisaikul & Andrew C. Myers, Cornell University
CLAP: Recording Local Executions to Reproduce Concurrency Failures Jeff Huang, Hong Kong University of Science and Technology ; et al.

Charles Zhang, Hong Kong University of Science and Technology
Julian Dolby, IBM Research
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)
2016 FAQ: Questions Asked Frequently Mahmoud Abo Khamis, University at Buffalo ; et al.

Hung Q. Ngo, University at Buffalo
Atri Rudra, University at Buffalo
2015 Parallel-Correctness and Transferability for Conjunctive Queries Tom J. Ameloot, Hasselt University ; et al.

Gaetano Geck, Universität Dortmund
Bas Ketsman, Hasselt University
Frank Neven, Hasselt University
Thomas Schwentick, Universität Dortmund
2014 Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Co… Tom J. Ameloot, Hasselt University ; et al.

Bas Ketsman, Hasselt University
Frank Neven, Hasselt University
Daniel Zinn, LogicBlox
2013 Verification of database-driven systems via amalgamation Mikołaj Bojańczyk, University of Warsaw ; et al.

Luc Segoufin, INRIA
Szymon Toruńczyk, University of Warsaw
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)
2016 A2: Analog Malicious Hardware Kaiyuan Yang, University of Michigan ; et al.

Matthew Hicks, University of Michigan
Qing Dong, University of Michigan
Todd Austin, University of Michigan
Dennis Sylvester, University of Michigan
2015 Riposte: An Anonymous Messaging System Handling Millions of Users Henry Corrigan-Gibbs, Stanford University ; et al.

Dan Boneh, Stanford University
David Mazières, Stanford University
A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche, INRIA ; et al.

Karthikeyan Bhargavan, INRIA
Antoine Delignat-Lavaud, INRIA
Cédric Fournet, Microsoft Research
Markulf Kohlweiss, Microsoft Research
Alfredo Pironti, INRIA
Pierre-Yves Strub, IMDEA
Jean Karim Zinzindohoue, INRIA
2014 Secure Multiparty Computations on BitCoin Marcin Andrychowicz, University of Warsaw ; et al.

Stefan Dziembowski, University of Warsaw
Daniel Malinowski, University of Warsaw
Łukasz Mazurek, University of Warsaw
Bootstrapping Privacy Compliance in Big Data Systems Shayak Sen, Carnegie Mellon University ; et al.

Saikat Guha, Microsoft Research
Anupam Datta, Carnegie Mellon University
Sriram K. Rajamani, Microsoft Research
Janice Tsai, Microsoft Research
Jeannette M. Wing, Microsoft Research
2013 Pinocchio: Nearly Practical Verifiable Computation Bryan Parno, Microsoft Research ; et al.

Craig Gentry, IBM Research
Jon Howell, Microsoft Research
Mariana Raykova, IBM Research
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)
2016 Eliminating Channel Feedback in Next-Generation Cellular Networks Deepak Vasisht, Massachusetts Institute of Technology ; et al.

Swarun Kumar, Carnegie Mellon University
Hariharan Rahul, Massachusetts Institute of Technology
Dina Katabi, Massachusetts Institute of Technology
Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices Vikram Iyer, University of Washington ; et al.

Vamsi Talla, University of Washington
Bryce Kellogg, University of Washington
Shyamnath Gollakota, University of Washington
Joshua Smith, University of Washington
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations Ryan Beckett, Princeton University ; et al.

Ratul Mahajan, Microsoft
Todd Millstein, University of California Los Angeles
Jitendra Padhye, Microsoft
David Walker, Princeton University)
2015 Central Control Over Distributed Routing Stefano Vissicchio, Université catholique de Louvain ; et al.

Olivier Tilmans, Université catholique de Louvain
Laurent Vanbever, ETH Zurich
Jennifer Rexford, Princeton University
2014 Balancing Accountability and Privacy in the Network David Naylor, Carnegie Mellon University ; et al.

Matthew K. Mukerjee, Carnegie Mellon University
Peter Steenkiste, Carnegie Mellon University
CONGA: Distributed Congestion-Aware Load Balancing for Datacenters Mohammad Alizadeh, Cisco Systems ; et al.

Tom Edsall, Cisco Systems
Sarang Dharmapurikar, Cisco Systems
Ramanan Vaidyanathan, Cisco Systems
Kevin Chu, Cisco Systems
Andy Fingerhut, Google
Terry Lam, Cisco Systems
Francis Matus, Cisco Systems
Rong Pan, Cisco Systems
Navindra Yadav, Cisco Systems
George Varghese, Microsoft
2013 Ambient Backscatter: Wireless Communication Out of Thin Air Vincent Liu, University of Washington ; et al.

Aaron Parks, University of Washington
Vamsi Talla, University of Washington
Shyamnath Gollakota, University of Washington
David Wetherall, University of Washington
Joshua R. Smith, University of Washington
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)
2016 Understanding Information Need: An fMRI Study Yashar Moshfeghi, University of Glasgow ; et al.

Peter Triantafillou, University of Glasgow
Frank E. Pollick, University of Glasgow
2015 QuickScorer: A Fast Algorithm to Rank Documents with Additive Ensembles of Regression Trees Claudio Lucchese, Istituto di Scienza e Tecnologie dell’Informazione ; et al.

Franco Maria Nardini, Istituto di Scienza e Tecnologie dell’Informazione
Salvatore Orlando, Università di Venezia
Raffaele Perego, Istituto di Scienza e Tecnologie dell’Informazione
Nicola Tonellotto, Istituto di Scienza e Tecnologie dell’Informazione
Rossano Venturini, Istituto di Scienza e Tecnologie dell’Informazione
2014 Partitioned Elias-Fano Indexes Giuseppe Ottaviano, Istituto di Scienza e Tecnologie dell’Informazione
Rossano Venturini, Università di Pisa
2013 Beliefs and Biases in Web Search Ryen W. White, Microsoft Research
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)
2016 On the Duration and Intensity of Competitions in Nonlinear Pólya Urn Processes with Fitness Bo Jiang, University of Massachusetts Amherst ; et al.

Daniel R. Figueiredo, Federal University of Rio de Janeiro
Bruno Ribeiro, Purdue University
Don Towsley, University of Massachusetts Amherst
2015 Spy vs. Spy: Rumor Source Obfuscation Giulia Fanti, University of California Berkeley ; et al.

Peter Kairouz, University of Illinois at Urbana-Champaign
Sewoong Oh, University of Illinois at Urbana-Champaign
Pramod Viswanath, University of Illinois at Urbana-Champaign
2014 Concave switching in single and multihop networks Neil Walton, University of Amsterdam
2013 Queueing System Topologies with Limited Flexibility John Tsitsiklis & Kuang Xu, Massachusetts Institute of Technology
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, University of Cambridge
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)
2016 Wander Join: Online Aggregation via Random Walks Feifei Li, University of Utah ; et al.

Bin Wu, Hong Kong University of Science and Technology
Ke Yi, Hong Kong University of Science and Technology
Zhuoyue Zhao, Shanghai Jiao Tong University
2015 DBSCAN Revisited: Mis-Claim, Un-Fixability, and Approximation Junhao Gan & Yufei Tao, Chinese University of Hong Kong
2014 Materialization Optimizations for Feature Selection Workloads Ce Zhang, Stanford University ; et al.

Arun Kumar, University of Wisconsin
Christopher Ré, Stanford University
2013 Massive Graph Triangulation Xiaocheng Hu, The Chinese University of Hong Kong ; et al.

Yufei Tao, The Chinese University of Hong Kong
Chin-Wan Chung, KAIST
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
Scalable Network Distance Browsing in Spatial Databases Hanan Samet, University of Maryland ; et al.

Jagan Sankaranarayanan, University of Maryland
Houman Alborzi, University of Maryland
2007 Compiling mappings to bridge applications and databases Sergey Melnik, Microsoft Research ; et al.

Atul Adya, Microsoft
Philip A. Bernstein, Microsoft Research
Scalable Approximate Query Processing with the DBO Engine Christopher Jermaine, University of Florida ; et al.

Subramanian Arumugam, University of Florida
Abhijit Pol, University of Florida
Alin Dobra, University of Florida
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
Integrating association rule mining with relational database systems: alternatives and implications Sunita Sarawagi, IBM Research ; et al.

Shiby Thomas, University of Florida
Rakesh Agrawal, IBM 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)
2016 An Improved Distributed Algorithm for Maximal Independent Set Mohsen Ghaffari, Massachusetts Institute of Technology
Near-Optimal Light Spanners Shiri Chechik, Tel-Aviv University
Christian Wulff-Nilsen, University of Copenhagen
2015 The Parameterized Complexity of k-Biclique Bingkai Lin, University of Tokyo
2014 Polynomiality for Bin Packing with a Constant Number of Item Types Michel X. Goemans & Thomas Rothvoß, Massachusetts Institute of Technology
An Almost-Linear-Time Algorithm for Approximate Max Flow in Undirected Graphs, and its Multicommod… Jonathan A. Kelner, Massachusetts Institute of Technology ; et al.

Yin Tat Lee, Massachusetts Institute of Technology
Lorenzo Orecchia, Massachusetts Institute of Technology
Aaron Sidford, Massachusetts Institute of Technology
2013 A Simple Algorithm for the Graph Minor Decomposition – Logic meets Structural Graph Theory Martin Grohe, RWTH Aachen University ; et al.

Ken-ichi Kawarabayashi, National Institute of Informatics
Bruce Reed, McGill University
Dynamic graph connectivity in polylogarithmic worst case time Bruce M. Kapron, University of Victoria ; et al.

Valerie King, University of Victoria
Ben Mountjoy, University of Victoria
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 Mądry, Massachusetts Institute of Technology
Shayan Oveis Gharan, Stanford University
Amin Saberi, Stanford University
2009 Natural Algorithms Bernard Chazelle, Princeton University
SOSP (Operating Systems)
2015 Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems Jonathan Mace, Brown University ; et al.

Ryan Roelke, Brown University
Rodrigo Fonseca, Brown University
Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Massachusetts Institute of Technology ; et al.

Daniel Ziegler, Massachusetts Institute of Technology
Tej Chajed, Massachusetts Institute of Technology
Adam Chlipala, Massachusetts Institute of Technology
M. Frans Kaashoek, Massachusetts Institute of Technology
Nickolai Zeldovich, Massachusetts Institute of Technology
Coz: Finding Code that Counts with Causal Profiling Charlie Curtsinger, Grinnell College
Emery Berger, University of Massachusetts Amherst
2013 Towards optimization-safe systems: analyzing the impact of undefined behavior Xi Wang, Massachusetts Institute of Technology ; et al.

Nickolai Zeldovich, Massachusetts Institute of Technology
M. Frans Kaashoek, Massachusetts Institute of Technology
Armando Solar-Lezama, Massachusetts Institute of Technology
Naiad: A Timely Dataflow System Derek G. Murray, Microsoft Research ; et al.

Frank McSherry, Microsoft Research
Rebecca Isaacs, Microsoft Research
Michael Isard, Microsoft Research
Paul Barham, Microsoft Research
Martíın Abadi, Microsoft Research
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors Austin T. Clements, Massachusetts Institute of Technology ; et al.

M. Frans Kaashoek, Massachusetts Institute of Technology
Nickolai Zeldovich, Massachusetts Institute of Technology
Robert T. Morris, Massachusetts Institute of Technology
Eddie Kohler, Harvard University
2011 A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications Tyler Harter, University of Wisconsin ; et al.

Chris Dragga, University of Wisconsin
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)
2016 Explicit Two-Source Extractors and Resilient Functions Eshan Chattopadhyay & David Zuckerman, University of Texas at Austin
Graph Isomorphism in Quasipolynomial Time László Babaí, University of Chicago
Reed-Muller Codes Achieve Capacity on Erasure Channels Shrinivas Kudekar, Qualcomm Research ; et al.

Santhosh Kumar, Texas A&M University
Marco Mondelli, École Polytechnique Fédérale de Lausanne
Henry D. Pfister, Duke University
Eren Sasoglu, Intel
Rudiger Urbanke, École Polytechnique Fédérale de Lausanne
2015 Exponential Separation of Information and Communication for Boolean Functions Anat Ganor, Weizmann Institute of Science ; et al.

Gillat Kol, Princeton University
Ran Raz, Weizmann Institute of Science
2-Server PIR with sub-polynomial communication Zeev Dvir & Sivakanth Gopi, Princeton University
Lower Bounds on the Size of Semidefinite Programming Relaxations James R. Lee, University of Washington ; et al.

Prasad Raghavendra, University of California Berkeley
David Steurer, Cornell University
2014 The matching polytope has exponential extension complexity Thomas Rothvoß, University of Washington
2013 Approximation Resistance from Pairwise Independent Subgroups Siu On Chan, University of California Berkeley
Low Rank Approximation and Regression in Input Sparsity Time Kenneth L. Clarkson & David P. Woodruff, IBM Research
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 Mądry, 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)
2016 Rovables: Miniature On-Body Robots as Mobile Wearables Artem Dementyev, Massachusetts Institute of Technology ; et al.

Hsin-Liu (Cindy) Kao, Massachusetts Institute of Technology
Inrak Choi, Stanford University
Deborah Ajilo, Massachusetts Institute of Technology
Maggie Xu, Stanford University
Joseph Paradiso, Massachusetts Institute of Technology
Chris Schmandt, Massachusetts Institute of Technology
Sean Follmer, Stanford University
proCover: Sensory Augmentation of Prosthetic Limbs Using Smart Textile Covers Joanne Leong, University of Applied Sciences Upper Austria ; et al.

Patrick Parzer, University of Applied Sciences Upper Austria
Florian Perteneder, University of Applied Sciences Upper Austria
Teo Babic, University of Applied Sciences Upper Austria
Christian Rendl, University of Applied Sciences Upper Austria
Anita Vogl, University of Applied Sciences Upper Austria
Hubert Egger, University of Applied Sciences Upper Austria
Alex Olwal, Google
Michael Haller, University of Applied Sciences Upper Austria
ViBand: High-Fidelity Bio-Acoustic Sensing Using Commodity Smartwatch Accelerometers Gierad Laput, Carnegie Mellon University ; et al.

Robert Xiao, Carnegie Mellon University
Chris Harrison, Carnegie Mellon University
Zooids: Building Blocks for Swarm User Interfaces Mathieu Le Goc, Inria ; et al.

Lawrence H. Kim, Stanford University
Ali Parsaei, Stanford University
Jean-Daniel Fekete, Inria
Pierre Dragicevic, Inria
Sean Follmer, Stanford University
2015 Orbits: Gaze Interaction for Smart Watches using Smooth Pursuit Eye Movements Augusto Esteves, Lancaster University ; et al.

Eduardo Velloso, Lancaster University
Andreas Bulling, Max Planck Institut
Hans Gellersen, Lancaster University
Webstrates: Shareable Dynamic Media Clemens Klokmose, Aarhus University ; et al.

James Eagan, Telecom ParisTech
Siemen Baader, Aarhus University
Wendy Mackay, INRIA
Michel Beaudouin-Lafon, Université Paris-Sud
Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electr… Simon Olberding, Max Planck Institut ; et al.

Sergio Soto Ortega, Max Planck Institut
Klaus Hildebrandt, Max Planck Institut
Jurgen Steimle, Max Planck Institut
2014 Sensing Techniques for Tablet+Stylus Interaction Ken Hinckley, Microsoft Research ; et al.

Michel Pahud, Microsoft Research
Hrvoje Benko, Microsoft Research
Pourang Irani, Microsoft Research
Marcel Gavriliu, Microsoft Research
François Guimbretière, Microsoft Research
Xiang Anthony Chen, Microsoft Research
Fabrice Matulic, Microsoft Research
William Buxton, Microsoft Research
Andrew Wilson, Microsoft Research
PrintScreen: Fabricating Highly Customizable Thin-film Touch-Displays Simon Olberding, Max Planck Institut ; et al.

Michael Wessely, Max Planck Institut
Jürgen Steimle, Max Planck Institut
Expert Crowdsourcing with Flash Teams Daniela Retelny, Stanford University ; et al.

Sébastien Robaszkiewicz, Stanford University
Alexandra To, Stanford University
Walter Lasecki, University of Rochester
Jay Patel, Stanford University
Negar Rahmati, Stanford University
Tulsee Doshi, Stanford University
Melissa Valentine, Stanford University
Michael Bernstein, Stanford University
2013 PneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces Lining Yao, Massachusetts Institute of Technology ; et al.

Ryuma Niiyama, Massachusetts Institute of Technology
Jifei Ou, Massachusetts Institute of Technology
Sean Follmer, Massachusetts Institute of Technology
Clark Della Silva, Massachusetts Institute of Technology
Hiroshi Ishii, Massachusetts Institute of Technology
Touch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing Makoto Ono, University of Tsukuba ; et al.

Buntarou Shizuki, University of Tsukuba
Jiro Tanaka, University of Tsukuba
Fiberio: A Touchscreen that Senses Fingerprints Christian Holz & Patrick Baudisch, Hasso Plattner Institute
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)
2016 Compressed Linear Algebra for Large-Scale Machine Learning Ahmed Elgohary, University of Maryland ; et al.

Matthias Boehm, IBM Research
Peter Haas, IBM Research
Fred Reiss, IBM Research
Berthold Reinwald, IBM Research
2015 Constructing an interactive natural language interface for relational databases Fei Li & H. V. Jagadish, University of Michigan
2014 M4: A Visualization-Oriented Time Series Data Aggregation Uwe Jugel, SAP ; et al.

Zbigniew Jerzak, SAP
Gregor Hackenbroich, SAP
Volker Markl, Technische Universität Berlin
Building Efficient Query Engines in a High-Level Language Yannis Klonatos, École Polytechnique Fédérale de Lausanne ; et al.

Christoph Koch, École Polytechnique Fédérale de Lausanne
Tiark Rompf, École Polytechnique Fédérale de Lausanne
Hassan Chaf, Oracle
On k-Path Covers and their Applications Stefan Funke, University of Stuttgart ; et al.

André Nusser, University of Stuttgart
Sabine Storandt, University of Stuttgart
epiC: an Extensible and Scalable System for Processing Big Data Dawei Jiang, National University of Singapore ; et al.

Gang Chen, Zhejiang University
Beng Chin Ooi, National University of Singapore
Kian-Lee Tan, National University of Singapore
Sai Wu, Zhejiang University
The Uncracked Pieces in Database Cracking Felix Martin Schuhknecht, Saarland University ; et al.

Alekh Jindal, Massachusetts Institute of Technology
Jens Dittrich, Saarland University
2013 DisC Diversity: Result Diversification based on Dissimilarity and Coverage Marina Drosou & Evaggelia Pitoura, University of Ioannina
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)
2016 Social Networks Under Stress Daniel Romero, University of Michigan ; et al.

Brian Uzzi, Northwestern University
Jon Kleinberg, Cornell University
2015 HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the Web Philipp Singer, GESIS – Leibniz Institute for the Social Sciences ; et al.

Denis Helic, Graz University of Technology
Andreas Hotho, University of Würzburg
Markus Strohmaier, GESIS – Leibniz Institute for the Social Sciences
2014 Efficient Estimation for High Similarities using Odd Sketches Michael Mitzenmacher, Harvard University ; et al.

Rasmus Pagh, IT University of Copenhagen
Ninh Pham, IT University of Copenhagen
2013 No Country for Old Members: User Lifecycle and Linguistic Change in Online Communities Cristian Danescu-Niculescu-Mizil, Stanford University ; et al.

Robert West, Stanford University
Dan Jurafsky, Stanford University
Jure Leskovec, Stanford University
Christopher Potts, Stanford University
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 Research46.0
University of Washington38.1
Massachusetts Institute of Technology34.3
Carnegie Mellon University34.2
Stanford University32.8
University of California Berkeley25.2
University of Toronto14.3
Cornell University14.0
University of Illinois at Urbana-Champaign13.7
IBM Research12.8
University of Texas at Austin12.4
Google11.0
University of Michigan11.0
University of British Columbia10.4
University of Massachusetts Amherst10.2
Georgia Institute of Technology8.4
University of California Irvine7.9
Yahoo! Research7.9
Princeton University7.6
École Polytechnique Fédérale de Lausanne7.3
University of Maryland7.0
University of Oxford6.3
Weizmann Institute of Science6.2
University of Wisconsin6.0
McGill University5.7
University of Cambridge5.4
University of California San Diego5.2
Max Planck Institut5.2
University of Waterloo5.0
AT&T Laboratories4.9
Brown University4.6
Technion4.5
University of Nottingham4.5
Columbia University4.4
Rice University4.2
Hasso Plattner Institute4.0
Université Paris-Sud4.0
Oregon State University3.8
Bell Labs3.8
National University of Singapore3.7
Hewlett-Packard Labs3.7
NEC Labs America3.7
Aarhus University3.6
University of Nebraska-Lincoln3.6
University of California Davis3.6
University of Alberta3.5
Delft University of Technology3.5
University of North Carolina at Chapel Hill3.4
University of California Los Angeles3.3
Ohio State University3.3
Technische Universität Berlin3.3
Tsinghua University3.2
ETH Zurich3.2
DePaul University3.0
Indiana University at Bloomington3.0
Rutgers University3.0
Purdue University3.0
INRIA3.0
Hong Kong University of Science and Technology2.9
Newcastle University2.9
Pennsylvania State University2.8
Tel-Aviv University2.8
Saarland University2.8
Lancaster University2.8
University College London2.7
The Chinese University of Hong Kong2.5
Polytechnic Institute of New York University2.5
Université catholique de Louvain2.4
Duke University2.4
University of Bristol2.4
Toyota Technological Institute at Chicago2.3
University of Pennsylvania2.3
Harvard University2.2
University of Amsterdam2.2
RWTH Aachen University2.2
Peking University2.2
Singapore Management University2.2
University of Copenhagen2.1
University of Saskatchewan2.1
University of Calgary2.1
VMware2.1
Intel Research2.0
KAIST2.0
Universidade Técnica de Lisboa2.0
BBN Technologies2.0
NASA Ames Research Center2.0

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

Back to Jeff Huang’s Homepage

Brown University Human-Computer Interaction Research Group

Page last updated: 2017-01-16