马春杰杰博客
致力于深度学习经验分享!

[mcj]计算机科学最佳论文奖汇总(自1996年起至2018年)

文章目录
[隐藏]

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 (Jeff Huang) 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). The list of papers for years 2017 and 2018 were collected by Mingrui Ray Zhang.

AAAI (Artificial Intelligence)
2018 Memory-Augmented Monte Carlo Tree Search Chenjun Xiao, University of Alberta; et al.
2017 Label-Free Supervision of Neural Networks with Physics and Domain Knowledge Russell Stewart & Stefano Ermon, Stanford University
2016 Bidirectional Search That Is Guaranteed to Meet in the Middle Robert C. Holte, University of Alberta; et al.
2015 From Non-Negative to General Operator Cost Partitioning Florian Pommerening, University of Basel; et al.
2014 Recovering from Selection Bias in Causal and Statistical Inference Elias Bareinboim, University of California Los Angeles; et al.
2013 HC-Search: Learning Heuristics and Cost Functions for Structured Prediction Janardhan Rao Doppa, Oregon State University; et al.
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.
2011 Dynamic Resource Allocation in Conservation Planning Daniel Golovin, California Institute of Technology; et al.
Complexity of and Algorithms for Borda Manipulation Jessica Davies, University of Toronto; et al.
2010 How Incomplete Is Your Semantic Web Reasoner? Systematic Analysis of the Completeness of Query Ans… Giorgos Stoilos, Oxford University; et al.
A Novel Transition Based Encoding Scheme for Planning as Satisfiability Ruoyun Huang, Washington University in St. Louis; et al.
2008 How Good is Almost Perfect? Malte Helmert & Gabriele Röger, Albert-Ludwigs-Universität Freiburg
Optimal False-Name-Proof Voting Rules with Costly Voting Liad Wagman & Vincent Conitzer, Duke University
2007 PLOW: A Collaborative Task Learning Agent James Allen, Institute for Human and Machine Cognition; et al.
Thresholded Rewards: Acting Optimally in Timed, Zero-Sum Games Colin McMillen & Manuela Veloso, Carnegie Mellon University
2006 Model Counting: A New Strategy for Obtaining Good Bounds Carla P. Gomes, Cornell University; et al.
Towards an Axiom System for Default Logic Gerhard Lakemeyer, RWTH Aachen University
Hector J. Levesque, University of Toronto
2005 The Max K- Armed Bandit: A New Model of Exploration Applied to Search Heuristic Selection Vincent A. Cicirello, Drexel University
Stephen F. Smith, Carnegie Mellon University
2004 Learning and Inferring Transportation Routines Lin Liao, University of Washington; et al.
2002 On Computing All Abductive Explanations Thomas Eiter, Technische Universität Wien
Kazuhisa Makino, Osaka University
2000 The Game of Hex: An Automatic Theorem-Proving Approach to Game Programming Vadim V. Anshelevich, Vanshel Consulting
1999 PROVERB: The Probabilistic Cruciverbalist Greg A. Keim, Duke University; et al.
1998 Learning Evaluation Functions for Global Optimization and Boolean Satisfiability Justin A. Boyan & Andrew W. Moore, Carnegie Mellon University
Acceleration Methods for Numeric CSPs Yahia Lebbah & Olivier Lhomme, Ecole des Mines de Nantes
The Interactive Museum Tour-Guide Robot Wolfram Burgard, University of Bonn; et al.
1997 Statistical Parsing with a Context-Free Grammar and Word Statistics Eugene Charniak, Brown University
A Practical Algorithm for Finding Optimal Triangulations Krill Shoikhet & Dan Geiger, Technion
Fast Context Switching in Real-Time Propositional Reasoning P. Pandurang Nayak & Brian C. Williams, NASA Ames Research Center
Building Concept Representations from Reusable Components Peter Clark, Boeing
Bruce Porter, University of Texas at Austin
1996 Verification of Knowledge Bases Based on Containment Checking Alon Y. Levy, AT&T Laboratories
Marie-Christine Rousset, Université Paris-Sud
A Novel Application of Theory Refinement to Student Modeling Paul T. Baffes, SciComp
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)
2018 Finding syntax in human encephalography with beam search John Hale, Cornell University; et al.
2017 Probabilistic Typology: Deep Generative Models of Vowel Inventories Ryan Cotterell & Jason Eisner, Johns Hopkins University
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.
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.
2014 Fast and Robust Neural Network Joint Models for Statistical Machine Translation Jacob Devlin, Raytheon BBN Technologies; et al.
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.
Bayesian Symbol-Refined Tree Substitution Grammars for Syntactic Parsing Hiroyuki Shindo, NTT Communication Science Laboratories; et al.
2011 Unsupervised Part-of-Speech Tagging with Bilingual Graph-Based Projections Dipanjan Das, Carnegie Mellon University
Slav Petrov, Google
2010 Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates Matthew Gerber & Joyce Y. Chai, Michigan State University
2009 Reinforcement Learning for Mapping Instructions to Actions S.R.K. Branavan, Massachusetts Institute of Technology; et al.
K-Best A* Parsing Adam Pauls & Dan Klein, University of California Berkeley
Concise Integer Linear Programming Formulations for Dependency Parsing André F.T. Martins, Instituto de Telecomunicações; et al.
2008 Forest Reranking: Discriminative Parsing with Non-Local Features Liang Huang, University of Pennsylvania
A New String-to-Dependency Machine Translation Algorithm with a Target Dependency Language Model Libin Shen, BBN Technologies; et al.
2007 Learning synchronous grammars for semantic parsing with lambda calculus Yuk Wah Wong & Raymond J. Mooney, University of Texas at Austin
2006 Semantic taxonomy induction from heterogenous evidence Rion Snow, Stanford University; et al.
2005 A Hierarchical Phrase-Based Model for Statistical Machine Translation David Chiang, University of Maryland
2004 Finding Predominant Word Senses in Untagged Text Diana McCarthy, University of Sussex; et al.
2003 Accurate Unlexicalized Parsing Dan Klein & Christopher D. Manning, Stanford University
Towards a Model of Face-to-Face Grounding Yukiko I. Nakano, RISTEX; et al.
2002 Discriminative Training and Maximum Entropy Models for Statistical Machine Translation Franz Josef Och & Hermann Ney, RWTH Aachen University
2001 Immediate-Head Parsing for Language Models Eugene Charniak, Brown University
Fast Decoding and Optimal Decoding for Machine Translation Ulrich Germann, University of Southern California; et al.
CHI (Human-Computer Interaction)
2018 Examining Wikipedia With a Broader Lens: Quantifying the Value of Wikipedia’s Relationships with O… Nicholas Vincent, Northwestern University; et al.
Keeping a Low Profile? Technology, Risk and Privacy among Undocumented Immigrants Tamy Guberek, University of Michigan; et al.
Addressing Age-Related Bias in Sentiment Analysis Mark Diaz, Northwestern University; et al.
Wall++: Room-Scale Interactive and Context-Aware Sensing Yang Zhang, Carnegie Mellon University; et al.
Design for Collaborative Survival: An Inquiry into Human-Fungi Relationships Jen Liu, University of Colorado Boulder; et al.
Expressive Time Series Querying with Hand-Drawn Scale-Free Sketches Miro Mannino & Azza Abouzied, New York University
Pinpointing: Precise Head- and Eye-Based Target Selection for Augmented Reality Mikko Kytö, Aalto University; et al.
Streets for People: Engaging Children in Placemaking Through a Socio-technical Process Sean Peacock, Newcastle University; et al.
Let’s Talk About Race: Identity, Chatbots, and AI Ari Schlesinger, Georgia Institute of Technology; et al.
“A Stalker’s Paradise”: How Intimate Partner Abusers Exploit Technology Diana Freed, Cornell Tech; et al.
HARK No More: On the Preregistration of CHI Experiments Andy Cockburn, University of Canterbury; et al.
Hoarding and Minimalism: Tendencies in Digital Data Preservation Francesco Vitale, University of British Columbia; et al.
Semi-Automated Coding for Qualitative Research: A User-Centered Inquiry and Initial Prototypes Megh Marathe & Kentaro Toyama, University of Michigan
Making as Expression: Informing Design with People with Complex Communication Needs through Art Th… Amanda Lazar, University of Maryland; et al.
How Relevant are Incidental Power Poses for HCI? Yvonne Jansen, Sorbonne Université
Kasper Hornbæk, University of Copenhagen
Data Illustrator: Augmenting Vector Design Tools with Lazy Data Binding for Expressive Visualizati… Zhicheng Liu, Adobe Research; et al.
Extending Manual Drawing Practices with Artist-Centric Programming Tools Jennifer, Jacobs Massachusetts Institute of Technology; et al.
Experiencing the Body as Play Florian ‘Floyd’ Mueller, RMIT University; et al.
Gender Recognition or Gender Reductionism?: The Social Implications of Embedded Gender Recognition… Foad Hamidi, University of Maryland; et al.
Voice Interfaces in Everyday Life Martin Porcheron, University of Nottingham; et al.
Project Zanzibar: A Portable and Flexible Tangible Interaction Platform Nicolas Villar, Microsoft Research; et al.
Design Within a Patriarchal Society: Opportunities and Challenges in Designing for Rural Women in … Sharifa Sultana, Cornell University; et al.
Agile 3D Sketching with Air Scaffolding Yongkwan Kim, KAIST; et al.
Making Core Memory: Design Inquiry into Gendered Legacies of Engineering and Craftwork Daniela K. Rosner, University of Washington; et al.
2017 Illumination Aesthetics: Light as a Creative Material within Computational Design Cesar Torres, University of California Berkeley; et al.
Organic Primitives: Synthesis and Design of pH-Reactive Materials using Molecular I/O for Sensing … Viirj Kan, Massachusetts Institute of Technology; et al.
ShareVR: Enabling Co-Located Experiences for Virtual Reality between HMD and Non-HMD Users Jan Gugenheimer, Ulm University; et al.
You Want Me to Work with Who?: Stakeholder Perceptions of Automated Team Formation in Project-base… Farnaz Jahanbakhsh, University of Illinois at Urbana-Champaign; et al.
Stories from Survivors: Privacy & Security Practices when Coping with Intimate Partner Abuse Tara Matthews, Google; et al.
A Critical Lens on Dementia and Design in HCI Amanda Lazar, Northwestern University; et al.
Organic Primitives: Synthesis and Design of pH-Reactive Materials using Molecular I/O for Sensing,… Viirj Kan, Massachusetts Institute of Technology; et al.
Designing Gamified Applications that Make Safe Driving More Engaging Fabius Steinberger, Queensland University of Technology; et al.
mHealth for Maternal Mental Health: Everyday Wisdom in Ethical Design Marguerite Barry, Trinity College Dublin; et al.
Explaining the Gap: Visualizing One’s Predictions Improves Recall and Comprehension of Data Yea-Seul Kim, University of Washington; et al.
Reflective Practicum: A Framework of Sensitising Concepts to Design for Transformative Reflection Petr Slovák, Vienna University of Technology; et al.
What Can Be Predicted from Six Seconds of Driver Glances? Lex Fridman, Massachusetts Institute of Technology; et al.
Flash Organizations: Crowdsourcing Complex Work by Structuring Crowds As Organizations Melissa A. Valentine, Stanford University; et al.
Modelling Learning of New Keyboard Layouts Jussi P. P. Jokinen, Aalto University; et al.
Design and Evaluation of a Data-Driven Password Meter Blase Ur, University of Chicago; et al.
Examining Menstrual Tracking to Inform the Design of Personal Informatics Tools Daniel A. Epstein, University of Washington; et al.
Kinecting with Orangutans: Zoo Visitors’ Empathetic Responses to Animals’ Use of Interactive Techn… Sarah Webber, University of Melbourne; et al.
What Is Interaction? Kasper Hornbæk, University of Copenhagen
Antti Oulasvirta, Aalto University
BIGnav: Bayesian Information Gain for Guiding Multiscale Navigation Wanyu Liu, Université Paris-Saclay; et al.
Understanding Public Evaluation: Quantifying Experimenter Intervention Julie R. Williamson & John Williamson, University of Glasgow
2016 Building a Personalized, Auto-Calibrating Eye Tracker from User Interactions Michael Xuelin Huang, Hong Kong Polytechnic University; et al.
Finding Email in a Multi-Account, Multi-Device World Marta E. Cecchinato, University College London; et al.
On Looking at the Vagina through Labella Teresa Almeida, Newcastle University; et al.
Enhancing Cross-Device Interaction Scripting with Interactive Illustrations Pei-Yu (Peggy) Chi, University of California Berkeley; et al.
Empath: Understanding Topic Signals in Large-Scale Text Ethan Fast, Stanford University; et al.
The Effect of Visual Appearance on the Performance of Continuous Sliders and Visual Analogue Scales Justin Matejka, Autodesk Research; et al.
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.
Enabling Designers to Foresee Which Colors Users Cannot See Katharina Reinecke, University of Washington; et al.
Designing Movement-based Play With Young People Using Powered Wheelchairs Kathrin Gerling, University of Lincoln; et al.
Developing and Validating the User Burden Scale: A Tool for Assessing User Burden in Computing Sys… Hyewon Suh, University of Washington; et al.
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.
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.
Dear Diary: Teens Reflect on Their Weekly Online Risk Experiences Pamela Wisniewski, University of Central Florida; et al.
Object-Oriented Drawing Haijun Xia, University of Toronto; et al.
Foraging Among an Overabundance of Similar Variants Sruti Srinivasa Ragavan, Oregon State University; et al.
Lock n’ LoL: Group-based Limiting Assistance App to Mitigate Smartphone Distractions in Group Acti… Minsam Ko, KAIST; et al.
Learn Piano with BACh: An Adaptive Learning Interface that Adjusts Task Difficulty Based on Brain … Beste F. Yuksel, Tufts University; et al.
FlexCase: Enhancing Mobile Interaction with a Flexible Sensing and Display Cover Christian Rendl, University of Applied Sciences Upper Austria; et al.
Project Jacquard: Interactive Digital Textiles at Scale Ivan Poupyrev, Google; et al.
Smart Touch: Improving Touch Accuracy for People with Motor Impairments with Template Matching Martez E. Mott, University of Washington; et al.
2015 What Makes Interruptions Disruptive?: A Process-Model Account of the Effects of the Problem State … Jelmer P. Borst, University of Groningen; et al.
VelociTap: Investigating Fast Mobile Text Entry using Sentence-Based Decoding of Touchscreen Keybo… Keith Vertanen, Montana Tech; et al.
Sharing is Caring: Assistive Technology Designs on Thingiverse Erin Buehler, University of Maryland Baltimore County; et al.
Tiree Energy Pulse: Exploring Renewable Energy Forecasts on the Edge of the Grid Will Simm, Lancaster University; et al.
Unequal Representation and Gender Stereotypes in Image Search Results for Occupations Matthew Kay, University of Washington; et al.
Resilience Mitigates the Negative Effects of Adolescent Internet Addiction and Online Risk Exposure Pamela Wisniewski, Pennsylvania State University; et al.
Affordance++: Allowing Objects to Communicate Dynamic Use Pedro Lopes, Hasso Plattner Institute; et al.
Designing Political Deliberation Environments to Support Interactions in the Public Sphere Bryan Semaan, Syracuse University; et al.
ColourID: Improving Colour Identification for People with Impaired Colour Vision David R. Flatla, University of Dundee; et al.
Fluid Grouping: Quantifying Group Engagement around Interactive Tabletop Exhibits in the Wild Florian Block, Harvard University; et al.
Sangeet Swara: A Community-Moderated Voice Forum in Rural India Aditya Vashistha, University of Washington; et al.
Acoustruments: Passive, Acoustically-Driven, Interactive Controls for Handheld Devices Gierad Laput, Carnegie Mellon University; et al.
iSkin: Flexible, Stretchable and Visually Customizable On-Body Touch Sensors for Mobile Computing Martin Weigel, Max Planck Institut; et al.
Patina Engraver: Visualizing Activity Logs as Patina in Fashionable Trackers Moon-Hwan Lee, KAIST; et al.
BaseLase: An Interactive Focus+Context Laser Floor Jörg Müller, Aarhus University; et al.
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.
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.
From User-Centered to Adoption-Centered Design: A Case Study of an HCI Research Innovation Becomin… Parmit K. Chilana, University of Waterloo; et al.
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.
RetroDepth: 3D Silhouette Sensing for High-Precision Input On and Above Physical Surfaces David Kim, Microsoft Research; et al.
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.
Emerging Sites of HCI Innovation: Hackerspaces, Hardware Startups & Incubators Silvia Lindtner, University of California Irvine; et al.
Effects of Display Size and Navigation Type on a Classification Task Can Liu, Université Paris-Sud; et al.
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.
Consumed Endurance: A Metric to Quantify Arm Fatigue of Mid-Air Interactions Anders Markussen, University of Copenhagen; et al.
Type-Hover-Swipe in 96 Bytes: A Motion Sensing Mechanical Keyboard Stuart A Taylor, Microsoft Research; et al.
Structured Labeling for Facilitating Concept Evolution in Machine Learning Todd Kulesza, Oregon State University; et al.
MixFab: a Mixed-Reality Environment for Personal Fabrication Christian Weichel, Lancaster University; et al.
Designing for Slowness, Anticipation and Re-visitation: A Long Term Field Study of the Photobox William Odom, Carnegie Mellon University; et al.
“Narco” Emotions: Affect and Desensitization in Social Media during the Mexican Drug War Munmun De Choudhury, Microsoft Research; et al.
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.
LaserOrigami: Laser-Cutting 3D Objects Stefanie Mueller, Hasso Plattner Institute; et al.
Mind the Theoretical Gap: Interpreting, Using, and Developing Behavioral Theory in HCI Research Eric B. Hekler, Arizona State University; et al.
Screenfinity: Extending the Perception Area of Content on Very Large Public Displays Constantin Schmidt, Technische Universität Berlin; et al.
Reasons to Question Seven Segment Displays Harold Thimbleby, Swansea University
Improving Navigation-Based File Retrieval Stephen Fitchett, University of Canterbury; et al.
The Dubuque Electricity Portal: Evaluation of a City-Scale Residential Electricity Consumption Fee… Tom Erickson, IBM Research; et al.
At Home with Agents: Exploring Attitudes Towards Future Smart Energy Infrastructures Tom Rodden, University of Nottingham; et al.
Job Opportunities through Entertainment: Virally Spread Speech-Based Services for Low-Literate Users Agha Ali Raza, Carnegie Mellon University; et al.
IllumiRoom: Peripheral Projected Illusions for Interactive Experiences Brett Jones, University of Illinois at Urbana-Champaign; et al.
The Efficacy of Human Post-Editing for Language Translation Spence Green, Stanford University; et al.
Analyzing User-Generated YouTube Videos to Understand Touchscreen Use by People with Motor Impairm… Lisa Anthony, University of Maryland Baltimore County; et al.
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.
Weighted Graph Comparison Techniques for Brain Connectivity Analysis Basak Alper, University of California Santa Barbara; et al.
The Many Faces of Facebook: Experiencing Social Media as Performance, Exhibition, and Personal Arc… Xuan Zhao, Cornell University; et al.
2012 Uncomfortable Interactions Steve Benford, University of Nottingham; et al.
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.
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.
Looking Glass: A Field Study on Noticing Interactivity of Shop Windows Jörg Müller, Technische Universität Berlin; et al.
Touché: Enhancing Touch Interaction on Humans, Screens, Liquids, and Everyday Objects Munehiko Sato, Disney Research; et al.
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.
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.
Improving Command Selection with CommandMaps Joey Scarr, University of Canterbury; et al.
Empathy, Participatory Design and People with Dementia Stephen Lindsay, Newcastle University; et al.
2011 Usable Gestures for Blind People: Understanding Preference and Performance Shaun K. Kane, University of Washington; et al.
Effects of Community Size and Contact Rate in Synchronous Social Q&A Ryen W. White, Microsoft Research; et al.
Teenagers and Their Virtual Possessions: Design Opportunities and Issues William Odom, Carnegie Mellon University; et al.
Enhancing Physicality in Touch Interaction with Programmable Friction Vincent Levesque, University of British Columbia; et al.
Mid-air Pan-and-Zoom on Wall-sized Displays Mathieu Nancel, Université Paris-Sud; et al.
Bricolage: Example-Based Retargeting for Web Design Ranjitha Kumar, Stanford University; et al.
Synchronous Interaction Among Hundreds: An Evaluation of a Conference in an Avatar-based Virtual E… Thomas Erickson, IBM Research; et al.
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.
Ease of Juggling: Studying the Effects of Manual Multitasking Antti Oulasvirta & Joanna Bergstrom-Lehtovirta, Aalto University
Automics: souvenir generating photoware for theme parks Abigail Durrant, University of Nottingham; et al.
Your Noise is My Command: Sensing Gestures Using the Body as an Antenna Gabe Cohn, University of Washington; et al.
Review Spotlight: A User Interface for Summarizing User-generated Reviews Using Adjective-Noun Wor… Koji Yatani, University of Toronto; et al.
2010 Lumino: Tangible Blocks for Tabletop Computers Based on Glass Fiber Bundles Patrick Baudisch, Hasso Plattner Institute; et al.
Mapping the Landscape of Sustainable HCI Carl DiSalvo, Georgia Institute of Technology; et al.
Occlusion-Aware Interfaces Daniel Vogel & Ravin Balakrishnan, University of Toronto
Avaaj Otalo — A Field Study of an Interactive Voice Forum for Small Farmers in Rural India Neil Patel, Stanford University; et al.
How does search behavior change as search becomes more difficult? Anne Aula, Google; et al.
The Tower of Babel Meets Web 2.0: User-Generated Content and its Applications in a Multilingual Co… Brent Hecht & Darren Gergle, Northwestern University
Skinput: Appropriating the Body as an Input Surface Chris Harrison, Carnegie Mellon University; et al.
Mobile-izing Health Workers in Rural India Divya Ramachandran, University of California Berkeley; et al.
The Design of Eco-Feedback Technology Jon Froehlich, University of Washington; et al.
Feminist HCI: Taking Stock and Outlining an Agenda for Design Shaowen Bardzell, Indiana University at Bloomington
Prefab: Implementing Advanced Behaviors Using Pixel-Based Reverse Engineering of Interface Structure Morgan Dixon & James Fogarty, University of Washington
Useful Junk? The Effects of Visual Embellishment on Comprehension and Memorability of Charts Scott Bateman, University of Saskatchewan; et al.
2009 From Interaction to Trajectories: Designing Coherent Journeys Through User Experiences Steve Benford, University of Nottingham; et al.
Sizing the Horizon: The Effects of Chart Size and Layering on the Graphical Perception of Time Ser… Jeffrey Heer, Stanford University; et al.
Predicting Tie Strength With Social Media Eric Gilbert & Karrie Karahalios, University of Illinois at Urbana-Champaign
Musink: Composing Music through Augmented Drawing Theophanis Tsandilas, Université Paris-Sud; et al.
Social Immersive Media: Pursuing Best Practices for Multi-user Interactive Camera/Projector Exhibits Scott S. Snibbe, Sona Research
Hayes S. Raffle, Massachusetts Institute of Technology
Ephemeral Adaptation: The Use of Gradual Onset to Improve Menu Selection Performance Leah Findlater, University of British Columbia; et al.
Undo and Erase Events as Indicators of Usability Problems David Akers, Stanford University; et al.
2008 In-Car GPS Navigation: Engagement with and Disengagement from the Environment Gilly Leshed, Cornell University; et al.
Improving the Performance of Motor-Impaired Users with Automatically-Generated, Ability-Based Inte… Krzysztof Z. Gajos, University of Washington; et al.
Large Scale Analysis of Web Revisitation Patterns Eytan Adar, University of Washington; et al.
Designs on Dignity: Perceptions of Technology Among the Homeless Christopher A. Le Dantec & W. Keith Edwards, Georgia Institute of Technology
The Network in the Garden: An Empirical Analysis of Social Media in Rural Life Eric Gilbert, University of Illinois at Urbana-Champaign; et al.
Multimodal collaborative handwriting training for visually-impaired people Beryl Plimmer, University of Auckland; et al.
An Error Model for Pointing Based on Fitts’ Law Jacob Wobbrock, University of Washington; et al.
2007 Multiview: improving trust in group video conferencing through spatial faithfulness David T. Nguyen & John Canny, University of California Berkeley
Software or wetware?: discovering when and why people use digital prosthetic memory Vaiva Kalnikaité & Steve Whittaker, 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.
Sustainable interaction design: invention & disposal, renewal & reuse Eli Blevis, Indiana University at Bloomington
Consuming video on Mobile devices Kenton O’Hara, Hewlett-Packard Labs; et al.
2006 Trackball text entry for people with motor impairments Jacob Wobbrock & Brad Myers, Carnegie Mellon University
Embedded phenomena: supporting science learning with classroom-sized distributed simulations Tom Moher, University of Illinois at Chicago
A role for haptics in mobile interaction: initial design using a handheld tactile display prototype Joseph Luk, University of British Columbia; et al.
2005 Making space for stories: ambiguity in the design of personal communication systems Paul M. Aoki, Palo Alto Research Center
Allison Woodruff, Intel Research
Examining Task Engagement in Sensor-Based Statistical Models of Human Interruptibility James Fogarty, Carnegie Mellon University; et al.
Designing the spectator experience Stuart Reeves, University of Nottingham; et al.
The bubble cursor: enhancing target acquisition by dynamic resizing of the cursor’s activation area Tovi Grossman & Ravin Balakrishnan, University of Toronto
CIKM (Knowledge Management)
2018 Relevance estimation with multiple information sources on search engine result pages Junqi Zhang, Tsinghua University; et al.
2017 Hike: A Hybrid Human-Machine Method for Entity Alignment in Large-Scale Knowledge Bases Yan Zhuang, Tsinghua University; et al.
2016 Vandalism Detection in Wikidata Stefan Heindorf, Paderborn University; et al.
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.
2013 Penguins in Sweaters, or Serendipitous Entity Search on User-generated Content Ilaria Bordino, Yahoo! Research; et al.
2012 Gelling, and Melting, Large Graphs by Edge Manipulation Hanghang Tong, IBM Research; et al.
2011 Intent-aware query similarity Jiafeng Guo, Chinese Academy of Sciences; et al.
2010 MENTA: Inducing Multilingual Taxonomies from Wikipedia Gerard de Melo & Gerhard Weikum, Max Planck Institut
FACeTOR: cost-driven exploration of faceted query results Abhijith Kashyap, State University of New York at Buffalo; et al.
2009 On the Feasibility of Multi-Site Web Search Engines Ricardo Baeza-Yates, Yahoo! Research; et al.
2008 Learning to Link with Wikipedia David Milne & Ian H. Witten, 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.
2005 Towards Automatic Association of Relevant Unstructured Content with Structured Query Results Prasan Roy, IBM Research; et al.
2004 Discovering Frequently Changing Structures from Historical Structural Deltas of Unordered XML Qiankun Zhao, Nanyang Technological University; et al.
CVPR (Computer Vision)
2018 Taskonomy: Disentangling Task Transfer Learning Amir R. Zamir, Stanford University; et al.
2017 Densely Connected Convolutional Networks Zhuang Liu, Tsinghua University; et al.
Learning from Simulated and Unsupervised Images through Adversarial Training Ashish Shrivastava, Apple Inc.; et al.
2016 Deep Residual Learning for Image Recognition Kaiming He, Microsoft Research; et al.
2015 DynamicFusion: Reconstruction and Tracking of Non-rigid Scenes in Real-Time Richard A. Newcombe, University of Washington; et al.
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.
2012 A Simple Prior-free Method for Non-Rigid Structure-from-Motion Factorization Yuchao Dai, Northwestern Polytechnical University; et al.
2011 Real-time Human Pose Recognition in Parts from Single Depth Images Jamie Shotton, Microsoft Research; et al.
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.
2008 Global Stereo Reconstruction under Second Order Smoothness Priors Oliver Woodford, University of Oxford; et al.
Beyond Sliding Windows: Object Localization by Efficient Subwindow Search Chistoph H. Lampert, Max Planck Institut; et al.
2007 Dynamic 3D Scene Analysis from a Moving Vehicle Bastian Leibe, ETH Zurich; et al.
2006 Putting Objects in Perspective Derek Hoiem, Carnegie Mellon University; et al.
2005 Real-Time Non-Rigid Surface Detection Julien Pilet, École Polytechnique Fédérale de Lausanne; et al.
2004 Programmable Imaging using a Digital Micromirror Array Shree K. Nayar, Columbia University; et al.
2003 Object Class Recognition by Unsupervised Scale-Invariant Learning Rob Fergus, University of Oxford; et al.
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.
FOCS (Theory)
2018 Classical Verification of Quantum Computation Urmila Mahadev, University of California Berkeley
Approximating Edit Distance Within Constant Factor in Truly Sub-Quadratic Time Diptarka Chakraborty, Computer Science Institute of Charles University; et al.
Pseudorandom Sets in Grassmann Graph have Near-Perfect Expansion Subhash Khot, New York University; et al.
2017 A dichotomy theorem for nonuniform CSPs Andrei A. Bulatov, Simon Fraser University
The Matching Problem in General Graphs is in Quasi-NC Ola Svensson & Jakub Tarnawski, École polytechnique fédérale de Lausanne
The Proof of CSP Dichotomy Conjecture Dmitriy Zhuk, Lomonosov Moscow State University
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.
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.
A Polylogarithmic-Competitive Algorithm for the k-Server Problem Nikhil Bansal, IBM Research; et al.
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.
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.
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.
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)
2018 Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Shengjian (Daniel) Guo, Virginia Tech; et al.
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems Yu Gao, Chinese Academy of Sciences; et al.
Data Race Detection on Compressed Traces Dileep Kini, University of Illinois at Urbana-Champaign; et al.
Oreo: Detection of Clones in the Twilight Zone Vaibhav Saini, University of California Irvine; et al.
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the … James C. Davis, Virginia Tech; et al.
Do Android Taint Analysis Tools Keep Their Promises? Felix Pauck, Paderborn University; et al.
2017 The Power of “Why” and “Why Not”: Enriching Scenario Exploration with Provenance Tim Nelson, Brown University; et al.
Cooperative Kernels: GPU Multitasking for Blocking Algorithms Tyler Sorensen, Imperial College London; et al.
Understanding Misunderstandings in Source Code Dan Gopstein, New York University; et al.
Trade-Offs in Continuous Integration: Assurance, Security, and Flexibility Michael Hilton, Oregon State University; et al.
Discovering Relational Specifications Calvin Smith, University of Wisconsin-Madison; et al.
Automatically Diagnosing and Repairing Error Handling Bugs in C Yuchi Tian & Baishakhi Ray, University of Virginia
Fairness Testing: Testing Software for Discrimination Sainyam Galhotra, University of Massachusetts Amherst; et al.
2016 Foraging and Navigations Fundamentally: Developers’ Predictions of Value and Cost David Piorkowski, Oregon State University; et al.
Multi-Representational Security Analysis Eunsuk Kang, University of California Berkeley; et al.
Factors Influencing Code Review Processes in Industry Tobias Baum, Leibniz Universität Hannover; et al.
API Code Recommendation Using Statistical Learning from Fine-grained Changes Anh Tuan Nguyen, Iowa State University; et al.
Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis Xiaofei Xie, Tianjin University; et al.
Why We Refactor? Confessions of GitHub Contributors Danilo Silva, Federal University of Minas Gerais; et al.
Detecting Sensitive Data Disclosure via Bi-directional Text Correlation Analysis Jianjun Huang, Purdue University; et al.
2015 Optimizing energy consumption of GUIs in Android apps: a multi-objective approach Mario Linares-Vásquez, College of William and Mary; et al.
How Practitioners Perceive the Relevance of Software Engineering Research David Lo, Singapore Management University; et al.
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers Reza Matinnejad, University of Luxembourg; et al.
Modeling Readability to Improve Unit Tests Ermira Daka, University of Sheffield; et al.
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt Neil A. Ernst, Carnegie Mellon University; et al.
A User-Guided Approach to Program Analysis Ravi Mangal, Georgia Institute of Technology; et al.
MultiSE: Multi-path Symbolic Execution using Value Summaries Koushik Sen, University of California Berkeley; et al.
Users Beware: Preference Inconsistencies Ahead Farnaz Behrang, Georgia Institute of Technology; et al.
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.
AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang, Tsinghua University; et al.
Powering the Static Driver Verifier using Corral Akash Lal & Shaz Qadeer, Microsoft Research
Learning Natural Coding Conventions Miltiadis Allamanis, University of Edinburgh; et al.
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study Klaus-Benedikt Schultis, Siemens Corporate Technology; et al.
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.
How Do Fixes Become Bugs? Zuoning Yin, University of Illinois at Urbana-Champaign; et al.
Proving programs robust Swarat Chaudhuri, Rice University; et al.
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.
Graph-based Mining of Multiple Object Usage Patterns Tung Thanh Nguyen, Iowa State University; et al.
2008 What makes a good bug report? Nicolas Bettenburg, Saarland University; et al.
Efficient online monitoring of web-service SLAs Franco Raimondi, University College London; et al.
2007 Automatic consistency assessment for query results in dynamic environments Jamie Payton, University of North Carolina at Charlotte; et al.
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.
Object and reference immutability using Java generics Yoav Zibin, Massachusetts Institute of Technology; et al.
2006 Controlling factors in evaluating path-sensitive error detection techniques Matthew B. Dwyer, University of Nebraska-Lincoln; et al.
SYNERGY: a new algorithm for property checking Bhargav S. Gulavani, Indian Institute of Technology; et al.
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.
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.
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)
2017 Mask R-CNN Kaiming He, Facebook AI Research; et al.
2015 Deep Neural Decision Forests Peter Kontschieder, Microsoft Research; et al.
2013 From Large Scale Image Categorization to Entry-Level Categories Vicente Ordonez, University of North Carolina at Chapel Hill; et al.
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.
2007 Population Shape Regression From Random Design Data Bradley Davis, University of North Carolina at Chapel Hill; et al.
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.
Image Parsing: Unifying Segmentation, Detection and Recognition Zhuowen Tu, University of California Los Angeles; et al.
Image-based Rendering using Image-based Priors Andrew Fitzgibbon, University of Oxford; et al.
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.
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.
The Problem of Degeneracy in Structure and Motion Recovery from Uncalibrated Image Sequences Phil Torr, Microsoft Research; et al.
ICML (Machine Learning)
2018 Delayed Impact of Fair Machine Learning Lydia T. Liu, University of California Berkeley; et al.
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples Anish Athalye, Massachusetts Institute of Technology; et al.
2017 Understanding Black-box Predictions via Influence Functions Pang Wei Koh & Percy Liang, Stanford University
2016 Ensuring Rapid Mixing and Low Bias for Asynchronous Gibbs Sampling Christopher De Sa, Stanford University; et al.
Pixel Recurrent Neural Networks Aaron Van den Oord, Google; et al.
Dueling Network Architectures for Deep Reinforcement Learning Ziyu Wang, Google; et al.
2015 A Nearly-Linear Time Framework for Graph-Structured Sparsity Chinmay Hegde, Massachusetts Institute of Technology; et al.
Optimal and Adaptive Algorithms for Online Boosting Alina Beygelzimer, Yahoo! Research; et al.
2014 Understanding the Limiting Factors of Topic Modeling via Posterior Contraction Analysis Jian Tang, Peking University; et al.
2013 Vanishing Component Analysis Roi Livni, The Hebrew University of Jerusalum; et al.
Fast Semidifferential-based Submodular Function Optimization Rishabh Iyer, University of Washington; et al.
2012 Bayesian Posterior Sampling via Stochastic Gradient Fisher Scoring Sungjin Ahn, University of California Irvine; et al.
2011 Computational Rationalization: The Inverse Equilibrium Problem Kevin Waugh, Carnegie Mellon University; et al.
2010 Hilbert Space Embeddings of Hidden Markov Models Le Song, Carnegie Mellon University; et al.
2009 Structure preserving embedding Blake Shaw & Tony Jebara, Columbia University
2008 SVM Optimization: Inverse Dependence on Training Set Size Shai Shalev-Shwartz & Nathan Srebro, Toyota Technological Institute at Chicago
2007 Information-theoretic metric learning Jason V. Davis, University of Texas at Austin; et al.
2006 Trading convexity for scalability Ronan Collobert, NEC Labs America; et al.
2005 A support vector method for multivariate performance measures Thorsten Joachims, Cornell University
1999 Least-Squares Temporal Difference Learning Justin A. Boyan, NASA Ames Research Center
ICSE (Software Engineering)
2018 Large-Scale Analysis of Framework-Specific Exceptions in Android Apps Lingling Fan, East China Normal University; et al.
Generalized Data Structure Synthesis Calvin Loncaric, University of Washington; et al.
Static Automated Program Repair for Heap Properties Rijnard van Tonder & Claire Le Goues, Carnegie Mellon University
Towards Optimal Concolic Testing Xinyu Wang, Zhejiang University; et al.
Spatio-Temporal Context Reduction: A Pointer-Analysis- Based Static Approach for Detecting Use-Aft… Hua Yan, University of New South Wales; et al.
Identifying Design Problems in the Source Code: A Grounded Theory Leonardo Sousa, PUC-Rio; et al.
Traceability in the Wild: Automatically Augmenting Incomplete Trace links Michael Rath, Technical University Ilmenau; et al.
Automated Localization for Unreproducible Builds Zhilei Ren, Dalian University of Technology; et al.
2017 Decoding the representation of code in the brain: An fMRI study of code review and expertise Benjamin Floyd, University of Virginia; et al.
Code Defenders: Crowdsourcing Effective Tests and Subtle Mutants with a Mutation Testing Game José Miguel Rojas, The University of Sheffield; et al.
Clone Refactoring with Lambda Expressions Nikolaos Tsantalis, Concordia University; et al.
Optimizing Test Placement for Module-Level Regression Testing August Shi, University of Illinois at Urbana-Champaign; et al.
A Grounded Theory of Agile Transitions in Practice Rashina Hoda, The University of Auckland
James Noble Victoria, University of Wellington
Challenges for Static Analysis of Java Reflection – Literature Review and Empirical Study Davy Landman, Centrum Wiskunde & Informatica; et al.
2016 Feedback-Directed Instrumentation for Deployed JavaScript Applications Magnus Madsen, University of Waterloo; et al.
From Word Embeddings to Document Similarities for Improved Information Retrieval in Software Engin… Xin Ye, Ohio University Athens; et al.
On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE Eric F. Rizzi, Grammatech; et al.
Work Practices and Challenges in Pull-Based Development: The Contributor’s Perspective Georgios Gousios, Radboud University Nijmegen; et al.
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.
Efficient Large-Scale Trace Checking Using MapReduce Marcello M. Bersani, Politecnico di Milano; et al.
VDTest: An Automated Framework to Support Testing for Virtual Devices Tingting Yu, University of Kentucky; et al.
Energy Profiles of Java Collections Classes Samir Hasan, Auburn University; et al.
2015 Alloy*: A General-Purpose Higher-Order Relational Constraint Solver Aleksandar Milicevic, Massachusetts Institute of Technology; et al.
How Much Up-Front? A Grounded theory of Agile Architecture Michael Waterman, Specialised Architecture Services Ltd; et al.
Views on Internal and External Validity in Empirical Software Engineering Janet Siegmund, University of Passau; et al.
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.
CARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor, Chapman University; et al.
2014 Characterizing and Detecting Performance Bugs for Smartphone Applications Yepang Liu, Hong Kong University of Science and Technology; et al.
Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers Paige Rodeghero, University of Notre Dame; et al.
Understanding JavaScript Event-Based Interactions Saba Alimadadi, University of British Columbia; et al.
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.
Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs Nélio Cacho, Federal University of Rio Grande do Norte; et al.
Unit Test Virtualization with VMVM Jonathan Bell & Gail Kaiser, Columbia University
Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Carnegie Mellon University; et al.
A Study and Toolkit for Asynchronous Programming in C# Semih Okur, University of Illinois at Urbana-Champaign; et al.
2013 Dual Ecological Measures of Focus in Software Development Daryl Posnett, University of California Davis; et al.
Data Clone Detection and Visualization in Spreadsheets Felienne Hermans, Delft University of Technology; et al.
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.
Assisting Developers of Big Data Analytics Applications When Deploying on Hadoop Clouds Weiyi Shang, Queen’s University; et al.
Interaction-Based Test-Suite Minimization Dale Blue, IBM; et al.
2012 Understanding Integer Overflow in C/C++ Will Dietz, University of Illinois at Urbana-Champaign; et al.
Using Dynamic Analysis to Discover Polynomial and Array Invariants ThanhVu Nguyen, University of New Mexico; et al.
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.
How Do Professional Developers Comprehend Software? Tobias Roehm, Technische Universität München; et al.
A Tactic-Centric Approach for Automating Traceability of Quality Concerns Mehdi Mirakhorli, DePaul University; et al.
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.
Programs, tests, and oracles: the foundations of testing revisited Matt Staats, University of Minnesota; et al.
On-demand Feature Recommendations Derived from Mining Public Product Descriptions Horatiu Dumitru, DePaul University; et al.
Run-Time Efficient Probabilistic Model Checking Antonio Filieri, Politecnico di Milano; et al.
2010 A Machine Learning Approach for Tracing Regulatory Codes to Product Specific Requirements Jane Cleland-Huang, DePaul University; et al.
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.
A Degree-of-Knowledge Model to Capture Source Code Familiarity Thomas Fritz, University of British Columbia; et al.
2009 How We Refactor, and How We Know It Emerson Murphy-Hill, Portland State University; et al.
Effective Static Deadlock Detection Mayur Naik, Intel Research; et al.
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.
Automatically finding patches using genetic programming Westley Weimer, University of Virginia; et al.
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.
The effect of program and model structure on mc/dc test adequacy coverage Ajitha Rajan, University of Minnesota; et al.
2007 Refactoring for Parameterizing Java Classes Adam Kiezun, Massachusetts Institute of Technology; et al.
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.
Predicting Faults from Cached History Sunghun Kim, Massachusetts Institute of Technology; et al.
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.
2005 Eliciting Design Requirements for Maintenance-Oriented IDEs: A Detailed Study of Corrective and Pe… Andrew Ko, Carnegie Mellon University; et al.
Is Mutation an Appropriate Tool for Testing Experiments? James Andrews, University of Western Ontario; et al.
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.
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.
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.
2003 Precise Dynamic Slicing Algorithms Xiangyu Zhang, University of Arizona; et al.
Modular Verification of Software Components in C Sagar Chaki, Carnegie Mellon University; et al.
IJCAI (Artificial Intelligence)
2018 Reasoning about Consensus when Opinions Diffuse through Majority Dynamics Vincenzo Auletta, University of Salerno; et al.
SentiGAN: Generating Sentimental Texts via Mixture Adversarial Networks Ke Wang & Xiaojun Wan, Peking University
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying Cristina Feier, University of Bremen; et al.
What game are we playing? End-to-end learning in normal and extensive form games Chun Kai Ling, Carnegie Mellon University; et al.
Commonsense Knowledge Aware Conversation Generation with Graph Attention Hao Zhou, Tsinghua University; et al.
R-SVM+: Robust Learning with Privileged Information Xue Li, Wuhan University; et al.
A Degeneracy Framework for Graph Similarity Giannis Nikolentzos, École Polytechnique; et al.
2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs Mark Kaminski, University of Oxford; et al.
2016 Hierarchical Finite State Controllers for Generalized Planning Javier Segovia, Universitat Pompeu Fabra; et al.
2015 Bayesian Active Learning for Posterior Estimation Kirthevasan Kandasamy, Carnegie Mellon University; et al.
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.
Flexibility and Decoupling in the Simple Temporal Problem Michel Wilson, Delft University of Technology; et al.
2011 Unweighted Coalitional Manipulation Under the Borda Rule is NP-Hard Nadja Betzler, Technische Universität Berlin; et al.
Nested Rollout Policy Adaptation for Monte Carlo Tree Search Christopher D. Rosin, Parity Computing
On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces Roman Kontchakov, Birkbeck College London; et al.
2009 Consequence-Driven Reasoning for Horn SHIQ Ontologies Yevgeny Kazakov, University of Oxford
Learning Conditional Preference Networks with Queries Frederic Koriche, Université Montpellier II
Bruno Zanuttini, Université de Caen Basse-Normandie
2007 Automated Heart Wall Motion Abnormality Detection From Ultrasound Images using Bayesian Networks Maleeha Qazi, Siemens Medical Solutions; et al.
Building Structure into Local Search for SAT Duc Nghia Pham, Griffith University; et al.
Performance Analysis of Online Anticipatory Algorithms for Large Multistage Stochastic Integer Pro… Luc Mercier & Pascal Van Hentenryck, Brown University
2005 Learning Coordination Classifiers Yuhong Guo, University of Alberta; et al.
Solving Checkers Jonathan Schaeffer, University of Alberta; et al.
A Probabilistic Model of Redundancy in Information Extraction Doug Downey, University of Washington; et al.
2003 Approximating Game-Theoretic Optimal Strategies for Full-scale Poker Darse Billings, University of Alberta; et al.
Thin Junction Tree Filters for Simultaneous Localization and Mapping Mark A. Paskin, University of California Berkeley
2001 Complexity Results for Structure-Based Causality Thomas Eiter & Thomas Lukasiewicz, Vienna University of Technology
1999 Learning in Natural Language Dan Roth, University of Illinois at Urbana-Champaign
A Distributed Case-Based Reasoning Application for Engineering Sales Support Ian Watson, University of Salford
Dan Gardingen, Western Air
1997 Object Identification in a Bayesian Context Timothy Huang & Stuart Russell, University of California Berkeley
Translingual Information Retrieval: A Comparative Evaluation Jaime G. Carbonell, Carnegie Mellon University; et al.
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolo… Fangzhen Lin, The Hongkong University of Science and Technology
INFOCOM (Networking)
2018 WiFED: WiFi Friendly Energy Delivery with Distributed Beamforming Subhramoy Mohanti, Northeastern University; et al.
Understanding Ethereum via Graph Analysis Ting Chen, University of Electronic Science and Technology of China; et al.
Optimizing Age of Information in Wireless Networks with Throughput Constraints Igor Kadota, Massachusetts Institute of Technology; et al.
2017 One Step at a Time: Optimizing SDN Upgrades in ISP Networks Konstantinos Poularakis, Yale University; et al.
2016 Heavy-Ball: A New Approach to Tame Delay and Convergence in Wireless Network Optimization Jia Liu, Ohio State University; et al.
2015 The Power of Slightly More than One Sample in Randomized Load Balancing Lei Ying, Arizona State University; et al.
2014 Joint Static and Dynamic Traffic Scheduling in Data Center Networks Zizhong Cao, Polytechnic Institute of New York University; et al.
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.
2012 Multi-resource allocation: Fairness-efficiency tradeoffs in a unifying framework Carlee Joe-Wong, Princeton University; et al.
2011 Dynamic right-sizing for power-proportional data centers Minghong Lin, California Institute of Technology; et al.
2010 On the Feasibility and Efficacy of Protection Routing in IP Networks Kin-Wah Kwong, University of Pennsylvania; et al.
2009 Queuing Network Models for Multi-Channel P2P Live Streaming Systems Di Wu, Polytechnic Institute of New York University; et al.
2008 On the Feasibility of the Link Abstraction in (Rural) Mesh Networks Dattatraya Gokhal, Indian Navy; et al.
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.
2007 Disruption free topology reconfiguration in OSPF networks Pierre Francois, Université catholique de Louvain; et al.
2006 Delay and Capacity Trade-offs in Mobile Ad Hoc Networks: A Global Perspective Gaurav Sharma, Purdue University; et al.
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.
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)
2018 Adversarial Attacks on Neural Networks for Graph Data Daniel Zügner, Technical University of Munich; et al.
2017 Accelerating Innovation Through Analogy Mining Tom Hope, Hebrew University of Jerusalem; et al.
2016 FRAUDAR: Bounding Graph Fraud in the Face of Camouflage Bryan Hooi, Carnegie Mellon University; et al.
2015 Efficient Algorithms for Public-Private Social Networks Flavio Chierichetti, Sapienza University of Rome; et al.
2014 Reducing the Sampling Complexity of Topic Models Aaron Li, Carnegie Mellon University; et al.
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.
2011 Leakage in Data Mining: Formulation, Detection, and Avoidance Shachar Kaufman, Tel-Aviv University; et al.
2010 Large linear classification when data cannot fit in memory Hsiang-Fu Yu, National Taiwan University; et al.
Connecting the dots between news articles Dafna Shahaf & Carlos Guestrin, Carnegie Mellon University
2009 Collaborative Filtering with Temporal Dynamics Yehuda Koren, Yahoo! Research
2008 Fastanova: an efficient algorithm for genome-wide association study Xiang Zhang, University of North Carolina at Chapel Hill; et al.
2007 Predictive discrete latent factor models for large scale dyadic data Deepak Agarwal & Srujana Merugu, Yahoo! Research
2006 Training linear SVMs in linear time Thorsten Joachims, Cornell University
2005 Graphs over time: densification laws, shrinking diameters and possible explanations Jure Leskovec, Carnegie Mellon University; et al.
2004 A probabilistic framework for semi-supervised clustering Sugato Basu, University of Texas at Austin; et al.
2003 Maximizing the spread of influence through a social network David Kempe, Cornell University; et al.
2002 Pattern discovery in sequences under a Markov assumption Darya Chudova & Padhraic Smyth, University of California Irvine
2001 Robust space transformations for distance-based operations Edwin M. Knorr, University of British Columbia; et al.
2000 Hancock: a language for extracting signatures from data streams Corinna Cortes, AT&T Laboratories; et al.
1999 MetaCost: a general method for making classifiers cost-sensitive Pedro Domingos, Universidade Técnica de Lisboa
1998 Occam’s Two Razors: The Sharp and the Blunt Pedro Domingos, Universidade Técnica de Lisboa
1997 Analysis and Visualization of Classifier Performance: Comparison under Imprecise Class and Cost Di… Foster Provost & Tom Fawcett, NYNEX Science and Technology
MOBICOM (Mobile)
2018 SkyCore: Moving Core to the Edge for Untethered and Reliable UAV-based LTE Networks Mehrdad Moradi, University of Michigan; et al.
2017 WEBee: Physical-Layer Cross-Technology Communication via Emulation Zhijun Li & Tian He, University of Minnesota
2015 CAreDroid: Adaptation Framework for Android ContextAware Applications Salma Elmalaki, University of California Los Angeles; et al.
2014 Tagoram: Real-Time Tracking of Mobile RFID Tags to High Precision Using COTS Devices Lei Yang, Tsinghua University; et al.
2013 Whole-Home Gesture Recognition Using Wireless Signals Qifan Pu, University of Washington; et al.
2012 Distinguishing Users with Capacitative Touch Communication Tam Vu, Rutgers University; et al.
2011 Detecting Driver Phone Use Leveraging Car Speakers Jie Yang, Stevens Institute of Technology; et al.
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.
2009 CENTAUR: Realizing the Full Potential of Centralized WLANs through a Hybrid Data Path Vivek Shrivastava, University of Wisconsin; et al.
2008 Assessment of Urban-Scale Wireless Networks with a Small Number of Measurements Joshua Robinson, Rice University; et al.
NSDI (Networking)
2018 NetChain: Scale-Free Sub-RTT Coordination Xin Jin, Johns Hopkins University; et al.
2017 mOS: A Reusable Networking Stack for Flow Monitoring Middleboxes Muhammad Asim Jamshed, KAIST; et al.
2016 Passive Wi-Fi: Bringing Low Power to Wi-Fi Transmissions Bryce Kellogg, University of Washington; et al.
2015 Queues Don’t Matter When You Can JUMP Them! Matthew P. Grosvenor, University of Cambridge; et al.
Designing Distributed Systems Using Approximate Synchrony in Data Center Networks Dan R. K. Ports, University of Washington; et al.
The Design and Implementation of Open vSwitch Ben Pfaff, VMware; et al.
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.
A Fault-Tolerant Engineered Network Vincent Liu, University of Washington; et al.
2012 Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing Matei Zaharia, University of California Berkeley; et al.
2011 Design, Implementation and Evaluation of Congestion Control for Multipath TCP Damon Wischik, University College London; et al.
ServerSwitch: A Programmable and High Performance Platform for Data Center Networks Guohan Lu, Microsoft Research; et al.
2010 Reverse traceroute Ethan Katz-Bassett, University of Washington; et al.
2009 Sora: High Performance Software Radio Using General Purpose Multi-core Processors Kun Tan, Microsoft Research; et al.
TrInc: Small Trusted Hardware for Large Distributed Systems Dave Levin, University of Maryland; et al.
2008 Remus: High Availability via Asynchronous Virtual Machine Replication Brendan Cully, University of British Columbia; et al.
Consensus Routing: The Internet as a Distributed System John P. John, University of Washington; et al.
2007 Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, University of California San Diego; et al.
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.
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.
OSDI (Operating Systems)
2018 REPT: Reverse Debugging of Failures in Deployed Software Weidong Cui, Microsoft Research; et al.
Orca: Differential Bug Localization in Large-Scale Services Ranjita Bhagwan, Microsoft Research; et al.
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation Yizhou Shan, Purdue University; et al.
2016 Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data Tyler Hunt, University of Texas at Austin; et al.
Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, University of Washington; et al.
Early Detection of Configuration Errors to Reduce Failure Damage Tianyin Xu, University of California San Diego; et al.
2014 Shielding Applications from an Untrusted Cloud with Haven Andrew Baumann, Microsoft Research; et al.
IX: A Protected Dataplane Operating System for High Throughput and Low Latency Adam Belay, Stanford University; et al.
Arrakis: The Operating System is the Control Plane Simon Peter, University of Washington; et al.
2012 Spanner: Google’s Globally-Distributed Database James C. Corbett, Google; et al.
2010 Efficient System-Enforced Deterministic Parallelism Amittai Aviram, Yale University; et al.
The Turtles Project: Design and Implementation of Nested Virtualization Muli Ben-Yehuda, IBM Research; et al.
2008 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Stanford University; et al.
Difference Engine: Harnessing Memory Redundancy in Virtual Machines Diwaker Gupta, University of California San Diego; et al.
DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Lan… Yuan Yu, Microsoft Research; et al.
2006 Bigtable: A Distributed Storage System for Structured Data Fay Chang, Google; et al.
Rethink the Sync Edmund B. Nightingale, University of Michigan; et al.
2004 Using Model Checking to Find Serious File System Errors Junfeng Yang, Stanford University; et al.
Recovering Device Drivers Michael M. Swift, University of Washington; et al.
2002 Memory Resource Management in VMware ESX Server Carl A. Waldspurger, VMware
2000 Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions Dawson Engler, Stanford University; et al.
1999 IO-Lite: A Unified I/O Buffering and Caching System Vivek S. Pai, Rice University; et al.
1996 Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications Todd C. Mowry, University of Toronto; et al.
Safe Kernel Extensions Without Run-Time Checking George C. Necula & Peter Lee, Carnegie Mellon University
PLDI (Programming Languages)
2018 Program synthesis using conflict-driven learning Yu Feng, University of Texas at Austin; et al.
The semantics of transactions and weak memory in x86, Power, ARM, and C++ Nathan Chong, ARM; et al.
A data-driven CHC solver He Zhu, Galois; et al.
2017 Low Overhead Dynamic Binary Translation on ARM Amanieu D’Antras, University of Manchester; et al.
Repairing sequential consistency in C/C++11 Ori Lahav, MPI-SWS; et al.
Bringing the web up to speed with WebAssembly Andreas Haas, Google; et al.
Compiling without continuations Luke Maurer, University of Oregon; et al.
2016 Assessing the limits of program-specific garbage collection performance Nicholas Jacek, University of Massachusetts Amherst; et al.
Into the Depths of C: Elaborating the De Facto Standards Kayvan Memarian, University of Cambridge; et al.
Transactional Data Structure Libraries Alexander Spiegelman, Technion; et al.
Types from data: Making structured data first-class citizens in F# Tomas Petricek, University of Cambridge; et al.
2015 Provably Correct Peephole Optimizations with Alive Nuno P. Lopes, Microsoft Research; et al.
Diagnosing Type Errors with Class Danfeng Zhang, Cornell University; et al.
Automatically Improving Accuracy for Floating Point Expressions Pavel Panchekha, University of Washington; et al.
2014 Improving JavaScript Performance by Deconstructing the Type System Wonsun Ahn, University of Illinois at Urbana-Champaign; et al.
Compiler validation via equivalence modulo inputs Vu Le, University of California Davis; et al.
On Abstraction Refinement for Program Analyses in Datalog Xin Zhang, Georgia Institute of Technology; et al.
2013 Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many … Sriram Sankaranarayanan, University of Colorado; et al.
A General Constraint-centric Scheduling Framework for Spatial Architectures Tony Nowatzki, University of Wisconsin; et al.
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.
2012 Concurrent Data Representation Synthesis Peter Hawkins, Stanford University; et al.
2011 Data Representation Synthesis Peter Hawkins, Stanford University; et al.
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.
2007 Fault-tolerant Typed Assembly Language Frances Perry, Princeton University; et al.
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.
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.
2000 Dynamo: a transparent dynamic optimization system Vasanth Bala, Hewlett-Packard Labs; et al.
1999 Whole program paths James R. Larus, Microsoft Research
PODS (Databases)
2018 Entity Matching with Active Monotone Classification Yufei Tao, Chinese University of Hong Kong
2017 Dichotomies in Ontology-Mediated Querying with the Guarded Fragment André Hernich, University of Liverpool; et al.
2016 FAQ: Questions Asked Frequently Mahmoud Abo Khamis, University at Buffalo; et al.
2015 Parallel-Correctness and Transferability for Conjunctive Queries Tom J. Ameloot, Hasselt University; et al.
2014 Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Co… Tom J. Ameloot, Hasselt University; et al.
2013 Verification of database-driven systems via amalgamation Mikołaj Bojańczyk, University of Warsaw; et al.
2012 Worst-case Optimal Join Algorithms Hung Q. Ngo, University at Buffalo; et al.
2011 Data Exchange Beyond Complete Data Marcelo Arenas, Pontificia Universidad Católica de Chile; et al.
2010 An Optimal Algorithm for the Distinct Elements Problem Daniel M. Kane, Harvard University; et al.
2009 Size and Treewidth Bounds for Conjunctive Queries Georg Gottlob, University of Oxford; et al.
2008 Estimating PageRank on Graph Streams Atish Das Sarma, Georgia Institute of Technology; et al.
2007 Generalized Hypertree Decompositions: NP-Hardness and Tractable Variants Georg Gottlob, University of Oxford; et al.
2006 Two-variable logic on data trees and XML reasoning Mikolaj Bojanczyk, Warsaw University; et al.
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.
2000 Auditing Boolean attributes Jon Kleinberg, Cornell University; et al.
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)
2018 DEEPSEC: Deciding Equivalence Properties in Security Protocols — Theory and Practice Vincent Cheval, Inria; et al.
On Enforcing the Digital Immunity of a Large Humanitarian Organization Stevens Le Blond, École Polytechnique Fédérale de Lausanne; et al.
2017 Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate Karthikeyan Bhargavan, INRIA; et al.
2016 A2: Analog Malicious Hardware Kaiyuan Yang, University of Michigan; et al.
2015 Riposte: An Anonymous Messaging System Handling Millions of Users Henry Corrigan-Gibbs, Stanford University; et al.
A Messy State of the Union: Taming the Composite State Machines of TLS Benjamin Beurdouche, INRIA; et al.
2014 Secure Multiparty Computations on BitCoin Marcin Andrychowicz, University of Warsaw; et al.
Bootstrapping Privacy Compliance in Big Data Systems Shayak Sen, Carnegie Mellon University; et al.
2013 Pinocchio: Nearly Practical Verifiable Computation Bryan Parno, Microsoft Research; et al.
2012 Don’t Trust Satellite Phones: A Security Analysis of Two Satphone Standards Benedikt Driessen, Ruhr-Universität Bochum; et al.
2011 Phonotactic Reconstruction of Encrypted VoIP Conversations: Hookt on fon-iks Andrew M. White, University of North Carolina at Chapel Hill; et al.
2010 SCiFI – A System for Secure Face Identification Margarita Osadchy, University of Haifa; et al.
2009 Native Client: A Sandbox for Portable, Untrusted x86 Native Code Bennet Yee, Google; et al.
2008 Pacemakers and Implantable Cardiac Defibrillators: Software Radio Attacks and Zero-Power Defenses Daniel Halperin, University of Washington; et al.
SIGCOMM (Networking)
2018 Inferring Persistent Interdomain Congestion Saksham Agarwal, Cornell University; et al.
2017 Re-architecting datacenter networks and stacks for low latency and high performance Mark Handley, University College London; et al.
Language-directed hardware design for network performance monitoring Srinivas Narayana, Massachusetts Institute of Technology; et al.
2016 Eliminating Channel Feedback in Next-Generation Cellular Networks Deepak Vasisht, Massachusetts Institute of Technology; et al.
Inter-Technology Backscatter: Towards Internet Connectivity for Implanted Devices Vikram Iyer, University of Washington; et al.
Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations Ryan Beckett, Princeton University; et al.
2015 Central Control Over Distributed Routing Stefano Vissicchio, Université catholique de Louvain; et al.
2014 Balancing Accountability and Privacy in the Network David Naylor, Carnegie Mellon University; et al.
CONGA: Distributed Congestion-Aware Load Balancing for Datacenters Mohammad Alizadeh, Cisco Systems; et al.
2013 Ambient Backscatter: Wireless Communication Out of Thin Air Vincent Liu, University of Washington; et al.
2012 Multi-Resource Fair Queueing for Packet Processing Ali Ghodsi, University of California Berkeley; et al.
2011 They Can Hear Your Heartbeats: Non-Invasive Security for Implanted Medical Devices Shyamnath Gollakota, Massachusetts Institute of Technology; et al.
2010 Efficient Error Estimating Coding: Feasibility and Applications Binbin Chen, National University of Singapore; et al.
2009 White Space Networking with Wi-Fi like Connectivity Paramvir Bahl, Microsoft Research; et al.
2008 ZigZag Decoding: Combating Hidden Terminals in Wireless Networks Shyamnath Gollakota & Dina Katabi, Massachusetts Institute of Technology
SIGIR (Information Retrieval)
2018 Should I Follow the Crowd? A Probabilistic Analysis of the Effectiveness of Popularity in Recommen… Rocío Cañamares & Pablo Castells, Universidad Autónoma de Madrid
2017 BitFunnel: Revisiting Signatures for Search Bob Goodwin, Microsoft; et al.
2016 Understanding Information Need: An fMRI Study Yashar Moshfeghi, University of Glasgow; et al.
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.
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.
2010 Assessing the Scenic Route: Measuring the Value of Search Trails in Web Logs Ryen W. White, Microsoft Research
Jeff Huang, University of Washington
2009 Sources of evidence for vertical selection Jaime Arguello, Carnegie Mellon University; et al.
2008 Algorithmic Mediation for Collaborative Exploratory Search Jeremy Pickens, FX Palo Alto Lab; et al.
2007 Studying the Use of Popular Destinations to Enhance Web Search Interaction Ryen W. White, Microsoft Research; et al.
2006 Minimal Test Collections for Retrieval Evaluation Ben Carterette, University of Massachusetts Amherst; et al.
2005 Learning to estimate query difficulty: including applications to missing content detection and dis… Elad Yom-Tov, IBM Research; et al.
2004 A Formal Study of Information Retrieval Heuristics Hui Fang, University of Illinois at Urbana-Champaign; et al.
2003 Re-examining the potential effectiveness of interactive query expansion Ian Ruthven, University of Strathclyde
2002 Novelty and redundancy detection in adaptive filtering Yi Zhang, Carnegie Mellon University; et al.
2001 Temporal summaries of new topics James Allan, University of Massachusetts Amherst; et al.
2000 IR evaluation methods for retrieving highly relevant documents Kalervo Järvelin & Jaana Kekäläinen, University of Tampere
1999 Cross-language information retrieval based on parallel texts and automatic mining of parallel text… Jian-Yun Nie, Université de Montréal; et al.
1998 A theory of term weighting based on exploratory data analysis Warren R. Greiff, University of Massachusetts Amherst
1997 Feature selection, perceptron learning, and a usability case study for text categorization Hwee Tou Ng, DSO National Laboratories; et al.
1996 Retrieving spoken documents by combining multiple index sources Gareth Jones, University of Cambridge; et al.
SIGMETRICS (Performance)
2018 A Refined Mean Field Approximation Nicolas Gast, Inria
Benny Van Houdt, University of Antwerp
2017 Accelerating Performance Inference over Closed Systems by Asymptotic Methods Giuliano Casale, Imperial College London
2016 On the Duration and Intensity of Competitions in Nonlinear Pólya Urn Processes with Fitness Bo Jiang, University of Massachusetts Amherst; et al.
2015 Spy vs. Spy: Rumor Source Obfuscation Giulia Fanti, University of California Berkeley; et al.
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.
2011 Topology Discovery of Sparse Random Graphs With Few Participants Animashree Anandkumar, University of California Irvine; et al.
2010 Load balancing via random local search in closed and open systems Ayalvadi Ganesh, University of Bristol; et al.
2009 The Age of Gossip: Spatial Mean Field Regime Augustin Chaintreau, Technicolor; et al.
2008 Counter Braids: A Novel Counter Architecture for Per-Flow Measurement Yi Lu, Stanford University; et al.
2007 Modeling the Relative Fitness of Storage Michael P. Mesnier, Intel; et al.
2006 Maximizing throughput in wireless networks via gossiping Eytan Modiano, Massachusetts Institute of Technology; et al.
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.
Exploiting process lifetime distributions for dynamic load balancing Mor Harchol-Balter & Allen B. Downey, University of California Berkeley
SIGMOD (Databases)
2018 SuRF:Practical Range Query Filtering with Fast Succinct Tries Huanchen Zhang, Carnegie Mellon University; et al.
2017 Parallelizing Sequential Graph Computations Wenfei Fan, University of Edinburgh; et al.
2016 Wander Join: Online Aggregation via Random Walks Feifei Li, University of Utah; et al.
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.
2013 Massive Graph Triangulation Xiaocheng Hu, The Chinese University of Hong Kong; et al.
2012 High-Performance Complex Event Processing over XML Streams Barzan Mozafari, Massachusetts Institute of Technology; et al.
2011 Entangled Queries: Enabling Declarative Data-Driven Coordination Nitin Gupta, Cornell University; et al.
2010 FAST: fast architecture sensitive tree search on modern CPUs and GPUs Changkyu Kim, Intel; et al.
2009 Generating example data for dataflow programs Christopher Olston, Yahoo! Research; et al.
2008 Serializable isolation for snapshot databases Michael J. Cahill, University of Sydney; et al.
Scalable Network Distance Browsing in Spatial Databases Hanan Samet, University of Maryland; et al.
2007 Compiling mappings to bridge applications and databases Sergey Melnik, Microsoft Research; et al.
Scalable Approximate Query Processing with the DBO Engine Christopher Jermaine, University of Florida; et al.
2006 To search or to crawl?: towards a query optimizer for text-centric tasks Panagiotis G. Ipeirotis, New York University; et al.
2004 Indexing spatio-temporal trajectories with Chebyshev polynomials Yuhan Cai & Raymond T. Ng, University of British Columbia
2003 Spreadsheets in RDBMS for OLAP Andrew Witkowski, Oracle; et al.
2001 Locally adaptive dimensionality reduction for indexing large time series databases Eamonn Keogh, University of California Irvine; et al.
2000 XMill: an efficient compressor for XML data Hartmut Liefke, University of Pennsylvania
Dan Suciu, AT&T Laboratories
1999 DynaMat: a dynamic view management system for data warehouses Yannis Kotidis & Nick Roussopoulos, University of Maryland
1998 Efficient transparent application recovery in client-server information systems David Lomet & Gerhard Weikum, Microsoft Research
Integrating association rule mining with relational database systems: alternatives and implications Sunita Sarawagi, IBM Research; et al.
1997 Fast parallel similarity search in multimedia databases Stefan Berchtold, University of Munich; et al.
1996 Implementing data cubes efficiently Venky Harinarayan, Stanford University; et al.
SODA (Theory)
2018 Approaching 3/2 for the s-t-path TSP Vera Traub & Jens Vygen, Universität Bonn
Online Bipartite Matching with Amortized O(log2 N)Replacements Aaron Bernstein, Technical University of Berlin; et al.
2017 Subquadratic Algorithms for the Diameter and the Sum of Pairwise Distances in Planar Graphs Sergio Cabello, University of Ljubljana
A (2 + Є) Approximation for Maximum Weight Matching in the Semi-Streaming Model Ami Paz, IRIF
Gregory Schwartzman, National Institute of Informatics
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.
2013 A Simple Algorithm for the Graph Minor Decomposition – Logic meets Structural Graph Theory Martin Grohe, RWTH Aachen University; et al.
Dynamic graph connectivity in polylogarithmic worst case time Bruce M. Kapron, University of Victoria; et al.
2012 Computing all maps into a sphere Martin Čadek, Masaryk University; et al.
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.
2009 Natural Algorithms Bernard Chazelle, Princeton University
SOSP (Operating Systems)
2017 DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei, Columbia University; et al.
The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web Cheng Tan, New York University; et al.
2015 Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems Jonathan Mace, Brown University; et al.
Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Massachusetts Institute of Technology; et al.
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.
Naiad: A Timely Dataflow System Derek G. Murray, Microsoft Research; et al.
The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors Austin T. Clements, Massachusetts Institute of Technology; et al.
2011 A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications Tyler Harter, University of Wisconsin; et al.
Cells: A Virtual Mobile Smartphone Architecture Jeremy Andrus, Columbia University; et al.
2009 FAWN: A Fast Array of Wimpy Nodes David G. Andersen, Carnegie Mellon University; et al.
seL4: Formal Verification of an OS Kernel Gerwin Klein, NICTA; et al.
RouteBricks: Exploiting Parallelism to Scale Software Routers Mihai Dobrescu, École Polytechnique Fédérale de Lausanne; et al.
2007 Zyzzyva: speculative byzantine fault tolerance Ramakrishna Kotla, University of Texas at Austin; et al.
Sinfonia: a new paradigm for building scalable distributed systems Marcos K. Aguilera, Hewlett-Packard Labs; et al.
Secure Web Applications via Automatic Partitioning Stephen Chong, Cornell University; et al.
2005 Speculative Execution in a Distributed File System Edmund B. Nightingale, University of Michigan; et al.
BAR Tolerance for Cooperative Services Amitanand S. Aiyer, University of Texas at Austin; et al.
Rx: treating bugs as allergies – a safe method to survive software failures Feng Qin, University of Illinois at Urbana-Champaign; et al.
Vigilante: End-to-End Containment of Internet Worms Manuel Costa, University of Cambridge; et al.
2003 Backtracking intrusions Samuel T. King & Peter M. Chen, University of Michigan
Preserving peer replicas by rate-limited sampled voting Petros Maniatis, Stanford University; et al.
Improving the Reliability of Commodity Operating Systems Michael M. Swift, University of Washington; et al.
2001 BASE: using abstraction to improve fault tolerance Rodrigo Rodrigues, Massachusetts Institute of Technology; et al.
Untrusted hosts and confidentiality: secure program partitioning Steve Zdancewic, Cornell University; et al.
1999 Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors Kinshuk Govil, Stanford University; et al.
Soft timers: efficient microsecond software timer support for network processing Mohit Aron & Peter Druschel, Rice University
The Click modular router Robert Morris, Massachusetts Institute of Technology; et al.
Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail se… Yasushi Saito, University of Washington; et al.
1997 Continuous profiling: where have all the cycles gone? Jennifer M. Anderson, Digital Equipment Corporation; et al.
Disco: running commodity operating systems on scalable multiprocessors Edouard Bugnion, Stanford University; et al.
Eraser: a dynamic data race detector for multithreaded programs Stefan Savage, University of Washington; et al.
STOC (Theory)
2018 A Constant-Factor Approximation Algorithm for the Asymmetric Traveling Salesman Problem Ola Svensson, École Polytechnique Fédérale de Lausanne; et al.
2017 Explicit, Almost Optimal, Epsilon-Balanced Codes Amnon Ta-Shma, Tel-Aviv University
A Weighted Linear Matroid Parity Algorithm Satoru Iwata, University of Tokyo
Yusuke Kobayashi, University of Tsukuba
Deciding Parity Games in Quasipolynomial Time Cristian S. Calude, University of Auckland; et al.
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.
2015 Exponential Separation of Information and Communication for Boolean Functions Anat Ganor, Weizmann Institute of Science; et al.
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.
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.
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.
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm Oliver Friedmann, University of Munich; et al.
2010 An improved LP-based approximation for steiner tree Jaroslaw Byrka, École Polytechnique Fédérale de Lausanne; et al.
QIP = PSPACE Rahul Jain, National University of Singapore; et al.
2009 A constructive proof of the Lovász local lemma Robin A. Moser, ETH Zurich
Public-Key Cryptosystems from the Worst-Case Shortest Vector Problem Chris Peikert, SRI International
2008 Optimal algorithms and inapproximability results for every CSP? Prasad Raghavendra, University of Washington
Optimal hierarchical decompositions for congestion minimization in networks Harald Räcke, University of Warwick
2007 Faster integer multiplication Martin Fürer, Pennsylvania State University
Towards 3-query locally decodable codes of subexponential length Sergey Yekhanin, Massachusetts Institute of Technology
2006 The PCP theorem by gap amplification Irit Dinur, Hebrew University
2005 Undirected ST-connectivity in log-space Omer Reingold, Weizmann Institute of Science
2004 Multi-linear formulas for permanent and determinant are of super-polynomial size Ran Raz, Weizmann Institute of Science
Expander flows, geometric embeddings and graph partitioning Sanjeev Arora, Princeton University; et al.
2003 Derandomizing polynomial identity tests means proving circuit lower bounds Valentine Kabanets & Russell Impagliazzo, University of California San Diego
New lattice-based cryptographic constructions Oded Regev, Tel-Aviv University
UIST (User Interface)
2018 Porta: Profiling Software Tutorials Using Operating-System-Wide Activity Tracing Alok Mysore & Philip J. Guo, University of California San Diego
Authoring and Verifying Human-Robot Interactions David Porfirio, University of Wisconsin-Madison; et al.
RESi: A Highly Flexible, Pressure-Sensitive, Imperceptible Textile Interface Based on Resistive Ya… Patrick Parzer, University of Applied Sciences Upper Austria; et al.
2017 Triggering Artwork Swaps for Live Animation Nora S. Willett, Princeton University; et al.
Grabity: A Wearable Haptic Interface for Simulating Weight and Grasping in Virtual Reality Inrak Choi, Stanford University; et al.
AirCode: Unobtrusive Physical Tags for Digital Fabrication Dingzeyu Li, Columbia University; et al.
2016 Rovables: Miniature On-Body Robots as Mobile Wearables Artem Dementyev, Massachusetts Institute of Technology; et al.
proCover: Sensory Augmentation of Prosthetic Limbs Using Smart Textile Covers Joanne Leong, University of Applied Sciences Upper Austria; et al.
ViBand: High-Fidelity Bio-Acoustic Sensing Using Commodity Smartwatch Accelerometers Gierad Laput, Carnegie Mellon University; et al.
Zooids: Building Blocks for Swarm User Interfaces Mathieu Le Goc, INRIA; et al.
2015 Orbits: Gaze Interaction for Smart Watches using Smooth Pursuit Eye Movements Augusto Esteves, Lancaster University; et al.
Webstrates: Shareable Dynamic Media Clemens Klokmose, Aarhus University; et al.
Foldio: Digital Fabrication of Interactive and Shape-Changing Objects With Foldable Printed Electr… Simon Olberding, Max Planck Institut; et al.
2014 Sensing Techniques for Tablet+Stylus Interaction Ken Hinckley, Microsoft Research; et al.
PrintScreen: Fabricating Highly Customizable Thin-film Touch-Displays Simon Olberding, Max Planck Institut; et al.
Expert Crowdsourcing with Flash Teams Daniela Retelny, Stanford University; et al.
2013 PneUI: Pneumatically Actuated Soft Composite Materials for Shape Changing Interfaces Lining Yao, Massachusetts Institute of Technology; et al.
Touch & Activate: Adding Interactivity to Existing Objects using Active Acoustic Sensing Makoto Ono, University of Tsukuba; et al.
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.
Jamming User Interfaces: Programmable Particle Stiffness and Sensing for Malleable and Shape-Chang… Sean Follmer, Massachusetts Institute of Technology; et al.
2011 SideBySide: Ad-hoc Multi-user Interaction with Handheld Projectors Karl D.D. Willis, Carnegie Mellon University; et al.
2010 VizWiz: nearly real-time answers to visual questions Jeffrey P. Bigham, University of Rochester; et al.
2009 Mouse 2.0: Multi-touch meets the Mouse Nicolas Villar, Microsoft Research; et al.
2008 Bringing Physics to the Surface Andrew D. Wilson, Microsoft Research; et al.
2007 ThinSight: Versatile Multi-touch Sensing for Thin Form-factor Displays Steve Hodges, Microsoft Research; et al.
2006 Reflective Physical Prototyping through Integrated Design, Test, and Analysis Björn Hartmann, Stanford University; et al.
2005 Automation and Customization of Rendered Web Pages Michael Bolin, Massachusetts Institute of Technology; et al.
2004 Multi-Finger Gestural Interaction with 3D Volumetric Displays Tovi Grossman, University of Toronto; et al.
CrossY: A Crossing-Based Drawing Application Georg Apitz & François Guimbretière, University of Maryland
2003 Perceptually-Supported Image Editing of Text and Graphics Eric Saund, Palo Alto Research Center; et al.
2002 Clothing Manipulation Takeo Igarashi, University of Tokyo
John F. Hughes, Brown University
2001 Phidgets: Easy Development of Physical Interfaces through Physical Widgets Saul Greenberg & Chester Fitchett, University of Calgary
2000 Sensing Techniques for Mobile Interaction Ken Hinckley, Microsoft Research; et al.
1996 Indigo: A Local Propagation Algorithm for Inequality Constraints Alan Borning, University of Washington; et al.
VLDB (Databases)
2017 Provenance for Natural Language Queries Daniel Deutch, Tel-Aviv University; et al.
2016 Compressed Linear Algebra for Large-Scale Machine Learning Ahmed Elgohary, University of Maryland; et al.
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.
Building Efficient Query Engines in a High-Level Language Yannis Klonatos, École Polytechnique Fédérale de Lausanne; et al.
On k-Path Covers and their Applications Stefan Funke, University of Stuttgart; et al.
epiC: an Extensible and Scalable System for Processing Big Data Dawei Jiang, National University of Singapore; et al.
The Uncracked Pieces in Database Cracking Felix Martin Schuhknecht, Saarland University; et al.
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.
2011 RemusDB: Transparent High-Availability for Database Systems Umar Farooq Minhas, University of Waterloo; et al.
2010 Towards Certain Fixes with Editing Rules and Master Data Shuai Ma, University of Edinburgh; et al.
2009 A Unified Approach to Ranking in Probabilistic Databases Jian Li, University of Maryland; et al.
2008 Finding Frequent Items in Data Streams Graham Cormode & Marios Hadjieleftheriou, AT&T Laboratories
Constrained Physical Design Tuning Nicolas Bruno & Surajit Chaudhuri, Microsoft Research
2007 Scalable Semantic Web Data Management Using Vertical Partitioning Daniel J. Abadi, Massachusetts Institute of Technology; et al.
2006 Trustworthy Keyword Search for Regulatory-Compliant Records Retention Soumyadeb Mitra, University of Illinois at Urbana-Champaign; et al.
2005 Cache-conscious Frequent Pattern Mining on a Modern Processor Amol Ghoting, Ohio State University; et al.
2004 Model-Driven Data Acquisition in Sensor Networks Amol Deshpande, University of California Berkeley; et al.
2001 Weaving Relations for Cache Performance Anastassia Ailamaki, Carnegie Mellon University; et al.
1997 Integrating Reliable Memory in Databases Wee Teck Ng & Peter M. Chen, University of Michigan
Institutions with Best Papers
Microsoft Research 49.2
University of Washington 42.0
Massachusetts Institute of Technology 39.7
Carnegie Mellon University 39.3
Stanford University 37.5
University of California Berkeley 28.8
Cornell University 16.7
University of Illinois at Urbana-Champaign 16.3
University of Toronto 14.3
University of Michigan 13.9
University of Texas at Austin 13.0
IBM Research 12.8
Google 12.7
University of British Columbia 11.4
University of Massachusetts Amherst 11.2
Georgia Institute of Technology 9.2
École Polytechnique Fédérale de Lausanne 9.1
University of California Irvine 8.9
University of Maryland 8.6
Princeton University 8.4
Yahoo! Research 7.9
University of Oxford 7.4
University of California San Diego 6.2
Tsinghua University 6.2
Weizmann Institute of Science 6.2
Columbia University 6.1
University of Wisconsin 6.0
McGill University 5.9
University of Cambridge 5.6
Brown University 5.4
University of Nottingham 5.3
Tel-Aviv University 5.3
Max Planck Institut 5.2
University of Waterloo 5.0
New York University 4.9
AT&T Laboratories 4.9
Northwestern University 4.6
Oregon State University 4.6
INRIA 4.6
University of Alberta 4.5
Technion 4.5
Rice University 4.2
National University of Singapore 4.2
Purdue University 4.2
NEC Labs America 4.1
KAIST 4.0
Hasso Plattner Institute 4.0
Université Paris-Sud 4.0
Newcastle University 3.9
Bell Labs 3.8
Hewlett-Packard Labs 3.7
Aarhus University 3.6
University of Nebraska-Lincoln 3.6
University of California Davis 3.6
Delft University of Technology 3.5
Ohio State University 3.4
University of North Carolina at Chapel Hill 3.4
University of Copenhagen 3.4
University of California Los Angeles 3.3
Technische Universität Berlin 3.3
Peking University 3.3
ETH Zurich 3.2
University College London 3.1
Aalto University 3.1
Rutgers University 3.1
Virginia Tech 3.0
Pennsylvania State University 3.0
DePaul University 3.0
Indiana University at Bloomington 3.0
University of Minnesota 3.0
Hong Kong University of Science and Technology 2.9
University of Virginia 2.8
Microsoft 2.8
Lancaster University 2.8
Saarland University 2.8
Imperial College London 2.8
Chinese Academy of Sciences 2.7
Paderborn University 2.6
University of Edinburgh 2.6
The Chinese University of Hong Kong 2.5
Polytechnic Institute of New York University 2.5
University of Tokyo 2.5
Université catholique de Louvain 2.4
Duke University 2.4
University of Glasgow 2.4
University of Applied Sciences Upper Austria 2.4
University of Bristol 2.4
University of Saskatchewan 2.4
Toyota Technological Institute at Chicago 2.3
University of Pennsylvania 2.3
Harvard University 2.2
University of Amsterdam 2.2
University of Oregon 2.2
Disney Research 2.2
RWTH Aachen University 2.2
Singapore Management University 2.2
Vienna University of Technology 2.2
University of Canterbury 2.2
University of Colorado 2.1
University of Calgary 2.1
VMware 2.1
Intel Research 2.0
Universidade Técnica de Lisboa 2.0
BBN Technologies 2.0
NASA Ames Research Center 2.0

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

本文最后更新于2019年5月21日,已超过 1 年没有更新,如果文章内容或图片资源失效,请留言反馈,我们会及时处理,谢谢!

如果你对这篇文章有什么疑问或建议,欢迎下面留言提出,我看到会立刻回复!

打赏
未经允许不得转载:马春杰杰 » [mcj]计算机科学最佳论文奖汇总(自1996年起至2018年)

留个评论吧~ 2 评论前登陆可免验证码!

私密评论
  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址(选填,便于回访^_^)
  1. #1

    Please let me know if you’re looking for a writer for your weblog.
    You have some really good posts and I feel I would be a good asset.
    If you ever want to take some of the load off, I’d absolutely love to write some articles for your blog in exchange for a link back to mine.
    Please shoot me an e-mail if interested. Thank you!

    Rosario 5年前 (2019-07-21) Hong Kong 谷歌浏览器 Mac OS X 10_13_4 回复

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

微信扫一扫打赏

登录

忘记密码 ?

切换登录

注册