ACM DL

ACM

Computing Surveys (CSUR)

Menu
Latest Articles

Fog Computing for Sustainable Smart Cities

The Internet of Things (IoT) aims to connect billions of smart objects to the Internet, which can bring a promising future to smart cities. These objects are expected to generate large amounts of data and send the data to the cloud for further processing, especially for knowledge discovery, in order that appropriate actions can be taken. However,... (more)

Arabic Online Handwriting Recognition (AOHR)

This article comprehensively surveys Arabic Online Handwriting Recognition (AOHR). We address the challenges posed by online handwriting recognition, including ligatures, dots and diacritic problems, online/offline touching of text, and geometric variations. Then we present a general model of an AOHR system that incorporates the different phases of... (more)

A Survey on Reinforcement Learning Models and Algorithms for Traffic Signal Control

Traffic congestion has become a vexing and complex issue in many urban areas. Of particular interest are the intersections where traffic bottlenecks... (more)

GPU Virtualization and Scheduling Methods

The integration of graphics processing units (GPUs) on high-end compute nodes has established a new accelerator-based heterogeneous computing model, which now permeates high-performance computing. The same paradigm nevertheless has limited adoption in cloud computing or other large-scale distributed computing paradigms. Heterogeneous computing with... (more)

Cross Domain Recommender Systems

Cross domain recommender systems (CDRS) can assist recommendations in a target domain based on knowledge learned from a source domain. CDRS consists of three building blocks: domain, user-item overlap scenarios, and recommendation tasks. The objective of this research is to identify the most widely used CDRS building-block definitions, identify... (more)

A Survey of Power and Energy Predictive Models in HPC Systems and Applications

Power and energy efficiency are now critical concerns in extreme-scale high-performance scientific computing. Many extreme-scale computing systems... (more)

Optimization of Complex Dataflows with User-Defined Functions

In many fields, recent years have brought a sharp rise in the size of the data to be analyzed and the complexity of the analysis to be performed. Such... (more)

A New Classification Framework to Evaluate the Entity Profiling on the Web

Recently, we have witnessed entity profiling (EP) becoming increasingly one of the most important topics in information extraction, personalized... (more)

Searchable Symmetric Encryption

Searchable Symmetric Encryption (SSE) when deployed in the cloud allows one to query encrypted data without the risk of data leakage. Despite the widespread interest, existing surveys do not examine in detail how SSE’s underlying structures are designed and how these result in the many properties of a SSE scheme. This is the gap we seek to... (more)

A Survey on Malware Detection Using Data Mining Techniques

In the Internet age, malware (such as viruses, trojans, ransomware, and bots) has posed serious and evolving security threats to Internet users. To... (more)

Corrections to “A Menagerie of Timed Automata”

This note corrects a technical error in the ACM Computing Surveys article mentioned in the title. The flaw involved constructions for showing that... (more)

Data Science

The 21st century has ushered in the age of big data and data economy, in which data DNA, which carries important knowledge, insights, and potential, has become an intrinsic constituent of all data-based organisms. An appropriate understanding of data DNA and its organisms relies on the new field of data science and its keystone, analytics. Although... (more)

NEWS

About CSUR

ACM Computing Surveys (CSUR) publishes comprehensive, readable tutorials and survey papers that give guided tours through the literature and explain topics to those who seek to learn the basics of areas outside their specialties. These carefully planned and presented introductions are also an excellent way for professionals to develop perspectives on, and identify trends in complex technologies. Recent issues have covered image understanding, software reusability, and object and relational database topics. 

read more
Forthcoming Articles
Analysis of JavaScript Programs: Challenges and Research Trends

JavaScript has been a de facto standard language for client-side web programs, and now it is expanding its territory to general purpose programs including compilers and games. In this paper, we classify the JavaScript research for last 10 or so years into 6 topics: formalization and reasoning, type safety and JIT optimization, security for web applications, static analysis, dynamic analysis, and empirical studies. We then evaluate research trends in the static analysis topic: extending analysis scope; improving analysis precision, scalability, and usability; and broadening analysis applications. Finally, we discuss possible future research directions with open challenges.

Foundations of Modern Graph Query Languages

We survey foundational features underlying modern graph query languages. We first discuss two popular graph data models: edge-labelled graphs, where nodes are connected to other nodes by directed, labelled edges; and property graphs, where nodes and edges can have attributes. Next we discuss the two most basic graph querying functionalities: graph patterns and navigational expressions. We start with graph patterns, in which a graph-structured query is matched against the data. Thereafter we discuss navigational expressions, in which patterns can be matched recursively against the graph to navigate paths of arbitrary length; we give an overview of what kinds of expressions have been proposed, and how such expressions can be combined with graph patterns. We also discuss a variety of semantics under which queries using the previous features can be evaluated, what effects the introduction of additional features and the selection of semantics has on complexity, as well as offering examples of said features in three modern languages that can be used to query graphs: SPARQL, Cypher and Gremlin. We conclude with discussion of the importance of formalisation for graph query languages, as well as possible future directions in which such languages can be extended.

Automated Vehicle Detection and Classification: Models, Methods, and Techniques

Automated Vehicle Classification (AVC) based on vision sensors has received active attention from researchers, due to heightened security concerns in Intelligent Transportation Systems. In this work, we propose a categorization of AVC studies based on the granularity of classification, namely Vehicle Type Recognition (VTR), Vehicle Make Recognition (VMR) and Vehicle Make and Model Recognition (VMMR). For each category of AVC systems, we present a comprehensive review and comparison of features extraction, global representation, and classification techniques. The various datasets proposed over the years for AVC are also compared in light of the real-world challenges they represent, and those they do not. The major challenges involved in each category of AVC systems are presented, highlighting open problems in this area of research. Finally, we conclude by providing future directions of research in this area, paving the way towards efficient large-scale AVC systems. This survey shall help researchers interested in the area to analyze works completed so far in each category of AVC, focusing on techniques proposed for each module, and to chalk out strategies to enhance state-of-the-art technology.

A Survey on Post-silicon Functional Validation for Multicore Architectures

During a processor development cycle, validation is performed on the first fabricated chip to detect and fix design errors. Design errors due to functional issues occur when a unit in a design does not meet its specification. Their chances of occurrence are high when new features are added in a processor. Therefore, the task of verifying the functionality independently and in coordination with other units increases for multicore architectures. Several new techniques are being proposed in the field of functional validation. In this paper, we undertake a survey of these techniques to identify areas that need to be addressed for multicore designs. We start with an analysis of design errors in two multicore architectures. We then survey different functional validation techniques based on hardware, software and formal methods and propose a comprehensive taxonomy for each of these approaches. We also perform a critical analysis to identify gaps in existing research and propose new research directions for validation of multicore architectures.

Software Platforms for Smart Cities: Concepts, Requirements, Challenges, and a Unified Reference Architecture

Making cities smarter help improve city services and increase citizens quality of life. Information and communication technologies (ICT) are fundamental for progressing towards smarter city environments. Smart City software platforms potentially support the development and integration of Smart City applications. However, the ICT community must overcome current signicant technological and scientic challenges before these platforms can be widely used. This paper surveys the state-of-the-art in software platforms for Smart Cities. We analyzed 23 projects with respect to the most used enabling technologies, as well as functional and non-functional requirements, classifying them into four categories: Cyber-Physical Systems, InternetofThings,BigData,andCloudComputing.Basedontheseresults,wederivedareferencearchitecture to guide the development of next-generation software platforms for Smart Cities. Finally, we enumerated the most frequently cited open research challenges, and discussed future opportunities. This survey gives important references for helping application developers, city managers, system operators, end-users, and Smart City researchers to make project, investment, and research decisions.

Non GPS Positioning Systems: A Survey

An enormous amount of research has been conducted in the area of positioning systems and thus it calls for a detailed literature review of recent localization systems. This paper focuses on recent developments of non-Global Positioning System (GPS) localization/positioning systems. We have presented a new hierarchical method to classify various positioning systems. A comprehensive performance comparison of the techniques and technologies against multiple performance metrics along with the limitations is presented. A few indoor positioning systems have emerged as more successful in particular application environments than others, which are presented at the end.

Strategic Aspects of Cyber Risk Information Sharing

Cyber risk management largely reduces to a race for information between defenders and attackers. Defenders can gain advantage in this race by sharing cyber risk information with each other. Yet, defenders often share less than is socially desirable, because sharing decisions are guided by selfish rather than altruistic reasons. A growing line of research studies these strategic aspects that drive defenders' sharing decisions. The present survey systematizes these works in a novel framework. It provides a consolidated understanding of defenders' strategies to privately or publicly share information, and enables us to distill trends in the literature and identify future research directions. The review also reveals that many theoretical works assume cyber risk information sharing to be beneficial, while corresponding empirical validations are missing.

Mining Electronic Health Records : A Survey

The continuously increasing cost of the US healthcare system has received significant attention. Central to the ideas aimed at curbing this trend is the use of technology, in the form of the mandate to implement electronic health records (EHRs). EHRs consist of patient information such as demographics, medications, laboratory test results, diagnosis codes and procedures. Mining EHRs could lead to improvement in patient health management as EHRs contain detailed information related to disease prognosis for large patient populations. In this manuscript, we provide a structured and comprehensive overview of data mining techniques for modeling EHR data. We first provide a detailed understanding of the major application areas to which EHR mining has been applied and then discuss the nature of EHR data and its accompanying challenges. Next, we describe major approaches used for EHR mining, the metrics associated with EHRs, and the various study designs. With this foundation, we then provide a systematic and methodological organization of existing data mining techniques used to model EHRs and discuss ideas for future research.

A Survey on Fully Homomorphic Encryption: an Engineering Perspective

It is unlikely that an hacker is able to compromise sensitive data that is stored in an encrypted form. However, when data is to be processed, it has to be decrypted, becoming vulnerable to attacks. Homomorphic encryption fixes this vulnerability by allowing one to compute directly on encrypted data. In this survey, both previous and current Somewhat Homomorphic Encryption (SHE) schemes are reviewed, and the more powerful and recent Fully Homomorphic Encryption (FHE) schemes are comprehensively studied. The concepts that support these schemes are presented, and their performance and security are analyzed from an engineering standpoint.

The Experience Sampling Method on Mobile Devices

The Experience Sampling Method (ESM) is used by scientists from various disciplines to gather insights into the intrapsychic elements of human life. Researchers have used the ESM in a wide variety of studies, with the method seeing increased popularity. Mobile technologies have enabled new possibilities for the use of the ESM, while simultaneously leading to new conceptual, methodological, and technological challenges. In this survey, we provide an overview of the history of the ESM, usage of this methodology in the computer science discipline, as well as its evolution over time. Next, we identify and discuss important considerations for ESM studies on mobile devices, and analyse the particular methodological parameters scientists should consider in their study design. We reflect on the existing tools that support the ESM methodology and discuss the future development of such tools. Finally, we discuss the effect of future technological developments on the use of the ESM and identify areas requiring further investigation.

Toward Real-Time Ray Tracing: A Survey on Hardware Acceleration and Microarchitecture Techniques

Ray tracing has long been considered as the next generation technology for graphics rendering. Recent years witnessed a strong momentum to adopt the ray tracing based rendering techniques on consumer level platforms due to the inability of further enhancing user experience by increasing display resolution. On the other hand, the computing workload of ray tracing is still overwhelming. A 10-fold performance gap has to be narrowed for real-time applications, even on the latest graphics processing units (GPUs). As a result, hardware acceleration techniques are critical to deliver a satisfying level performance, while at the same time meet an acceptable power budget. A large body of research on ray tracing hardware has been proposed over the past decade. This paper is aimed to provide a timely survey on hardware techniques to accelerate the ray tracing algorithm. A quantitative profiling on the ray tracing workload is first presented. We then review hardware techniques for the main functional blocks in a ray tracing pipeline. On such a basis, the ray tracing microarchitectures for both ASIC and processors are surveyed by following a systematic taxonomy.

Systems Applications of Social Networks

The aim of this article is to provide an understanding of social networks as a useful addition to the standard tool-box of techniques used by system designers. To this end, we give examples of how data about social links have been collected and used in different application contexts. We develop a broad taxonomy-based overview of common properties of social networks, review how they might be used in different applications, and point out potential pitfalls where appropriate. We propose a framework, distinguishing between two main types of social network-based user selection  personalised user selection which identifies target users who may be relevant for a given source node, using the social network around the source as a context, and generic user selection or group delimitation, which filters for a set of users who satisfy a set of application requirements based on their social properties. Using this framework, we survey applications of social networks in three typical kinds of application scenarios: recommender systems, content-sharing systems (e.g., P2P or video streaming), and systems which defend against users who abuse the system (e.g., spam or sybil attacks). In each case, we discuss potential directions for future research that involve using social network properties.

Survey of Naturalistic Programming Technologies

Programming languages expressiveness is limited by paradigm because it is focused on solving abstraction problems without considering expressiveness of abstractions described using natural language. So, authors have developed tools for natural language software development. In this paper, many works consisting of tools that use some natural language level and domain-specific languages that have an expressiveness level similar to natural languages are reviewed. The goal of the paper is to present a review and highlight the problems that were solved and those left aside. Also, it addresses the fact that a naturalistic language based on a model is not reported.

A Survey of Fault Tolerance Algorithms for Reconfigurable Nano-Crossbar Arrays

Nano-crossbar arrays have emerged as a promising and viable technology to improve computing performance of electronic circuits beyond the limits of current CMOS. Arrays offer both structural efficiency with reconfiguration and prospective capability of integration with different technologies. However, certain problems need to be addressed and the most important one is the prevailing occurrence of faults. Considering fault rate projections as high as 20\% that is much higher than those of CMOS, it is fair to expect sophisticated fault tolerance methods. The focus of this survey paper is the assessment and evaluation of these methods and related algorithms applied in logic mapping and configuration processes. As a start, we concisely explain reconfigurable nano-crossbar arrays with their fault characteristics and models. Following that, we demonstrate configuration techniques of the arrays in the presence of permanent faults and elaborate on two main fault tolerance methodologies, namely defect-unaware and defect-aware approaches, with a short review on advantages and disadvantages. Next, we overview fault tolerance approaches for transient faults. In the experimental results section, we give detailed results of the algorithms regarding their strengths and weaknesses with a comprehensive yield, success rate, and runtime analysis. As a conclusion, we overview the proposed algorithms with future directions and upcoming challenges.

A Classification of Locality in Network Research

Locality of information is a major concern for the design of distributed algorithms. With the LOCAL model, theoretical research already established a common model of locality that has gained little practical relevance. As a result, practical research de facto lacks any common locality model. The only common denominator among practitioners is that a local algorithm is distributed with a limited scope of interaction. This paper closes the gap by introducing four practically motivated classes of locality that successively weaken the strict requirements of the LOCAL model. These classes are applied to categorize and to survey 32 local algorithms from nine different application domains. A detailed comparison shows the practicality of the classification and provides interesting insights. For example, the majority of algorithms limit the scope of interaction to at most two hops, independent of their locality class. Moreover, the application domain of algorithms tends to influence their degree of locality.

Probabilistic Complex Event Recognition: A Survey

Complex Event Recognition applications exhibit various types of uncertainty, ranging from incomplete and erroneous data streams to imperfect complex event patterns. We review Complex Event Recognition techniques that handle, to some extent, uncertainty. We examine techniques based on automata, probabilistic graphical models and first-order logic, which are the most common ones, and approaches based on Petri Nets and Grammars, which are less frequently used. A number of limitations are identified with respect to the employed languages, their probabilistic models and their performance, as compared to the purely deterministic cases. Based on those limitations, we highlight promising directions for future work.

Automatic Sarcasm Detection: A Survey

Automatic sarcasm detection is the task of predicting sarcasm in text. This is a crucial step to sentiment analysis, considering prevalence and challenges of sarcasm in sentiment-bearing text. Beginning with an approach that used speech-based features, automatic sarcasm detection has witnessed great interest from the sentiment analysis community. This paper is the first known compilation of past work in automatic sarcasm detection. We observe three milestones in the research so far: semi-supervised pattern extraction to identify implicit sentiment, use of hashtag-based supervision, and incorporation of context beyond target text. In this paper, we describe datasets, approaches, trends and issues in sarcasm detection. We also discuss representative performance values, shared tasks and pointers to future work, as given in prior works. In terms of resources to understand the state-of-the-art, the survey presents several useful illustrations - most prominently, a table that summarizes past papers along different dimensions such as features, annotation techniques, data forms, etc.

Metrics for Community Analysis: A Survey

Detecting and analyzing dense groups or communities from social and information networks has attracted immense attention over last one decade due to its enormous applicability in different domains. Community detection is an ill-defined problem, as the nature of the communities is not known in advance. The problem has turned out to be even complicated due to the fact that communities emerge in the network in various forms - disjoint, overlapping, hierarchical etc. Various heuristics have been proposed depending upon the applications in hand. All these heuristics have been materialized in the form of new metrics, which in most cases are used as optimization functions for detecting the community structure, or provide an indication of the goodness of detected communities during evaluation. There arises a need for an organized and detailed survey of the metrics proposed with respect to community detection and evaluation. This paper presents a detailed discussion of the state-of-the-art metrics used for the detection and the evaluation of community structure. Finally, experiments are conducted on synthetic and real networks to present a comparative analysis of these metrics in measuring the goodness of the detected community structure.

A Survey of Algorithmic Debugging

Algorithmic debugging is a technique proposed in 1982 by E.Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema fitting many different programming paradigms, and with applications out of the program debugging field. We describe the general framework and the main issues related to the implementations in different programming paradigms, and discuss several proposed improvements and optimizations. We also review the main algorithmic debugger tools that have been implemented so far and compare their features. From this comparison, we elaborate a summary of desirable characteristics that should be considered when implementing future algorithmic debuggers.

Automatic Software Repair: a Bibliography

This article presents an annotated bibliography on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs, without human intervention. The uniqueness of this article is that it spans the research communities that contribute to this body of knowledge: software engineering, dependability, operating systems, programming languages and security. Furthermore, it provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.

Secure Smart Homes: Opportunities and Challenges

The Smart Home concept integrates smart applications in the daily human life. In recent years, Smart Homes have increased security and management challenges due to low capacity of small sensors, multiple connectivity to the internet for efficient applications (use of big data and cloud computing) and heterogeneity of home systems, which imposes that inexpert users should configure devices and micro-systems. This paper presents current security and management approaches in Smart Homes and shows the good practices imposed into the market for developing secure systems in houses. At last, we propose future solutions for efficiently and securely managing the Smart Homes.

Towards Reasoning Vehicles: A Survey of Fuzzy Logic-based Solutions in Vehicular Networks

Vehicular networks and their associated technologies enable an extremely varied plethora of applications and therefore attract increasing attention from a wide audience. However vehicular networks also have many challenges that arise mainly due to their dynamic and complex environment. Fuzzy Logic, known for its ability to deal with complexity, imprecision and model non-deterministic problems, is a very promising technology for use in such a dynamic and complex context. This paper presents the first comprehensive survey of research on Fuzzy Logic approaches in the context of vehicular networks, and provides fundamental information which enables readers to design their own Fuzzy Logic systems in this context. As such, the paper describes the Fuzzy Logic concepts with emphasis on their implementation in vehicular networks, includes a classification and thorough analysis of the Fuzzy Logic-based solutions in vehicular networks and discusses how Fuzzy Logic could empower the key research directions in the 5G-enabled vehicular networks, the next generation of vehicular communications.

A Survey of Dynamic Analysis and Test Generation for JavaScript

JavaScript has become one of the most prevalent programming languages. Unfortunately, some of the unique properties that contribute to this popularity also make JavaScript programs prone to errors and difficult for program analyses to reason about. These properties include the highly dynamic nature of the language, a set of unusual language features, a lack of encapsulation mechanisms, and the "no crash" philosophy. This paper surveys dynamic program analysis and test generation techniques for JavaScript targeted at improving the correctness, reliability, performance, security, and privacy of JavaScript-based software.

A Survey of Active Object Languages

To program parallel systems efficiently and easily, a wide range of programming models appeared, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate trough asynchronous messages thanks to the use of mailboxes. Some actor languages provide a strong integration with the object-oriented concepts; they are often called active object languages. This paper reviews four major actor and active object languages and compares them according to well-chosen dimensions that cover the programming paradigms and their implementation.

A Survey of Quantification Learning

The task of quantification consists in providing an aggregate estimation (e.g. the class distribution in a classification problem) for unseen test sets, applying a model that is trained using a training set with a different data distribution.} Several real-world applications demand this kind of methods that do not require predictions for individual examples and just focus on obtaining accurate estimates at an aggregate level. During the past few years, several quantification methods have been proposed from different perspectives and with different goals. This paper presents a unified review of the main approaches with the aim of serving as an introductory tutorial for newcomers in the field.

A Tutorial for Olfaction-based Multisensorial Media Application Design and Evaluation

Recently, multimedia researchers have added several so called new media to the traditional multimedia components (e.g. olfaction, haptic and gustation). The inclusion of such stimuli in addition to traditional media components is typically labeled as multiple sensorial media or mulsemedia. Capturing multimedia user perceived Quality of Experience (QoE) is already non-trivial and the addition of multiple sensorial media components increases this challenge. No standardized methodology exists to conduct subjective quality assessments of multiple sensorial media applications. To date researchers have employed different aspects of audiovisual standards to assess user QoE of multiple sensorial media applications and thus, a fragmented approach exists. In this paper, the authors highlight issues researchers face from numerous perspectives including applicability (or lack of) existing audio-visual standards to evaluate user QoE and lack of result comparability due to varying approaches, specific requirements of olfactory-based multiple sensorial media applications, and novelty associated with these applications. Finally, based on the diverse approaches in the literature and the collective experience of authors, this paper provides a tutorial and recommendations on the key steps to conduct olfactory-based multiple sensorial media QoE evaluation.

Modeling, Evaluation and Scale on Artificial Pedestrians: A Literature Review

Modeling pedestrian dynamics and their implementation in a computer are challenging and important issues in the knowledge areas of transportation and computer simulation. The aim of this paper is to provide a bibliographic outlook so that the reader could have a quick access to the most relevant works related with this problem. We have used three main axes to organise the paper contents: pedestrian models, validation techniques and multiscale approaches. The backbone of the paper is the classification of existing pedestrian models; we have organised the works in the literature under five categories, according to the techniques used for the operational level in each pedestrian model. Then, the main existing validation methods, oriented to evaluate the behavioural quality of the simulation systems, are reviewed. Furthermore, we review the key issues that arise when facing multiscale pedestrian modeling, where we firstly focus on the behavioural scale (combinations of micro and macro pedestrian models) and secondly, on the scale size (from individuals to crowds). Finally, the paper concludes with a discussion about the contributions that different knowledge fields can do in a near future to this exciting area.

A Functional Taxonomy of Music Generation Systems

Digital advances have transformed the face of automatic music generation since its beginnings at the dawn of computing. Despite the many breakthroughs, issues such as the musical tasks targeted by different machines and the degree to which they succeed remain open questions. We present a functional taxonomy for music generation systems with reference to existing systems according to the purposes for which they were designed. The taxonomy also reveals the inter-relatedness among the systems. This design-centred approach contrasts with predominant methods-based surveys, and facilitates the identification of grand challenges so as to set the stage for new breakthroughs.

Bibliometrics

Publication Years 1969-2017
Publication Count 1622
Citation Count 49988
Available for Download 1622
Downloads (6 weeks) 19421
Downloads (12 Months) 202541
Downloads (cumulative) 3157825
Average downloads per article 1947
Average citations per article 31
First Name Last Name Award
El Saddik Abdulmotaleb ACM Distinguished Member (2010)
ACM Senior Member (2008)
Serge Abiteboul ACM Fellows (2011)
Gregory Abowd ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics (2009)
ACM Fellows (2008)
ACM Senior Member (2008)
Pankaj Agarwal ACM Fellows (2002)
Charu Chandra Aggarwal ACM Fellows (2013)
Alfred V Aho ACM Fellows (1996)
Narendra Ahuja ACM Fellows (1996)
Rajeev Alur ACM Fellows (2007)
Lorenzo Alvisi ACM Fellows (2010)
Nancy M Amato ACM Fellows (2015)
ACM Distinguished Member (2012)
Gregory R Andrews ACM Fellows (1998)
Owen Astrachan ACM Karl V. Karlstrom Outstanding Educator Award (2016)
ACM Distinguished Member (2013)
David F Bacon ACM Fellows (2009)
ACM Distinguished Member (2006)
Ricardo A Baeza-Yates ACM Fellows (2009)
Ruzena R Bajcsy ACM Distinguished Service Award (2003)
ACM AAAI Allen Newell Award (2001)
ACM Fellows (1996)
Victor Basili ACM Fellows (1997)
Benjamin B Bederson ACM Distinguished Member (2011)
Philip A Bernstein ACM Fellows (2001)
Fernando Berzal Galiano ACM Senior Member (2008)
Jose A Blakeley ACM Fellows (2009)
Michael W Blasgen ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1982)
Guy Blelloch ACM Fellows (2011)
Daniel Bobrow ACM Fellows (1994)
ACM Software System Award (1992)
ACM Programming Systems and Languages Paper Award (1974)
Gregor V Bochmann ACM Fellows (1996)
Ronald J. Brachman ACM Fellows (1999)
Eric A. Brewer ACM Prize in Computing (2009)
ACM Fellows (2007)
Peter Brusilovsky ACM Senior Member (2008)
Randal E Bryant ACM Fellows (2000)
ACM Paris Kanellakis Theory and Practice Award (1998)
Douglas C Burger ACM Fellows (2010)
ACM Distinguished Member (2008)
ACM Senior Member (2006)
Margaret Burnett ACM Distinguished Member (2015)
Rajkumar Buyya ACM Senior Member (2008)
Robert Cailliau ACM Software System Award (1995)
Murray S Campbell ACM Distinguished Member (2008)
Mario Cannataro ACM Senior Member (2009)
Luca Cardelli ACM Fellows (2004)
Robert S Cartwright ACM Fellows (1998)
Godwin V Caruana ACM Senior Member (2013)
Carlos A. Castillo ACM Senior Member (2014)
Rick Cattell ACM Fellows (2012)
Stefano Ceri ACM Fellows (2013)
Donald Chamberlin ACM Fellows (1994)
ACM Software System Award (1988)
Ramalingam Chellappa ACM Fellows (2013)
Danny Z Chen ACM Distinguished Member (2014)
ACM Senior Member (2011)
Peter Chen ACM Fellows (2010)
Alok Choudhary ACM Fellows (2009)
Michael G Christel ACM Senior Member (2010)
David D Clark ACM Fellows (2001)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Fellows (1998)
ACM Paris Kanellakis Theory and Practice Award (1998)
Lori Clarke ACM Fellows (1998)
Ed Coffman ACM Distinguished Service Award (2004)
ACM Fellows (1994)
Outstanding Contribution to ACM Award (1987)
Tom Cormen ACM Distinguished Member (2009)
J D Couger ACM Fellows (1997)
Fabio Crestani ACM Senior Member (2009)
Ron Cytron ACM Fellows (2010)
Ernesto Damiani ACM Distinguished Member (2008)
Susan B Davidson ACM Fellows (2001)
Umeshwar Dayal ACM Fellows (2008)
David DeWitt ACM Software System Award (2008)
ACM Fellows (1995)
Thomas L Dean ACM Fellows (2009)
Rina Dechter ACM Fellows (2013)
Alberto Del Bimbo ACM Distinguished Member (2016)
Richard Demillo ACM Fellows (2003)
Dorothy E Denning ACM Fellows (1995)
Peter J Denning Outstanding Contribution to ACM Award (1998)
ACM Karl V. Karlstrom Outstanding Educator Award (1996)
ACM Fellows (1994)
ACM Distinguished Service Award (1989)
ACM Programming Systems and Languages Paper Award (1971)
Jack Dennis ACM Fellows (1994)
ACM-IEEE CS Eckert-Mauchly Award (1984)
Narsingh Deo ACM Fellows (1996)
Steven J Derose ACM Senior Member (2007)
Thomas G Dietterich ACM Fellows (2002)
George Dodd ACM Fellows (1996)
Michel Dubois ACM Fellows (2005)
Matthew B Dwyer ACM Distinguished Member (2007)
David S Ebert ACM Senior Member (2009)
Faith Ellen ACM Fellows (2014)
Carla S. Ellis ACM Fellows (2010)
ACM Distinguished Member (2009)
Ahmed Elmagarmid ACM Fellows (2012)
ACM Distinguished Member (2009)
Joel Emer ACM-IEEE CS Eckert-Mauchly Award (2009)
ACM Fellows (2004)
Douglas Engelbart ACM A. M. Turing Award (1997)
ACM Software System Award (1990)
Martin Erwig ACM Senior Member (2008)
Vladimir Estivill-Castro ACM Senior Member (2015)
Christos Faloutsos ACM Fellows (2010)
Matthias Felleisen ACM Karl V. Karlstrom Outstanding Educator Award (2009)
ACM Fellows (2006)
Tse-Yun Feng ACM Fellows (1994)
Aaron Finerman ACM Fellows (1994)
Stephen Fink ACM Distinguished Member (2011)
ACM Senior Member (2008)
Michael J Flynn ACM Fellows (1994)
ACM-IEEE CS Eckert-Mauchly Award (1992)
Patrick J Flynn ACM Distinguished Member (2011)
ACM Senior Member (2009)
James D Foley ACM Fellows (1999)
Stephanie Forrest ACM AAAI Allen Newell Award (2011)
Michael Franz ACM Fellows (2015)
ACM Distinguished Member (2006)
Herbert Freeman ACM Fellows (1997)
Peter A Freeman ACM Fellows (2000)
Ophir Frieder ACM Fellows (2005)
Benjamin Fung ACM Senior Member (2013)
Zvi Galil ACM Fellows (1995)
Wen Gao ACM Fellows (2013)
Hector Garcia-Molina ACM Fellows (1997)
David Garlan ACM Fellows (2013)
ACM Senior Member (2008)
Minos Garofalakis ACM Distinguished Member (2011)
ACM Senior Member (2009)
Garth A Gibson ACM Fellows (2012)
ACM Doctoral Dissertation Award
Series Winner (1991)
David K Gifford ACM Fellows (2011)
Robert L Glass ACM Fellows (1999)
Adele Goldberg ACM Fellows (1994)
ACM Software System Award (1987)
Michael T Goodrich ACM Fellows (2009)
ACM Distinguished Member (2006)
Georg Gottlob ACM Fellows (2007)
Goetz Graefe ACM Software System Award (2008)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
ACM Fellows (1994)
Jim Gray ACM A. M. Turing Award (1998)
ACM Fellows (1994)
ACM Software System Award (1988)
ACM Programming Systems and Languages Paper Award (1982)
Cordell Green ACM Fellows (1994)
ACM Grace Murray Hopper Award (1985)
Robert Grossman ACM Fellows (2016)
Barbara J Grosz ACM AAAI Allen Newell Award (2008)
ACM Fellows (2003)
Jonathan Grudin ACM Fellows (2012)
Rachid Guerraoui ACM Fellows (2012)
Leonidas J Guibas ACM AAAI Allen Newell Award (2007)
ACM Fellows (1999)
Gopal Krishna Gupta ACM Fellows (1998)
Rajiv Gupta ACM Fellows (2009)
Carl Gutwin ACM Distinguished Member (2015)
Brent T Hailpern ACM Fellows (2003)
Wendy Hall Outstanding Contribution to ACM Award (2014)
ACM Fellows (2010)
Lynda Hardman ACM Distinguished Member (2014)
ACM Senior Member (2013)
Robert Harper ACM Fellows (2005)
Juris Hartmanis ACM Distinguished Service Award (2013)
ACM Fellows (1994)
ACM A. M. Turing Award (1993)
Marti Hearst ACM Fellows (2013)
John L Hennessy ACM-IEEE CS Eckert-Mauchly Award (2001)
ACM Fellows (1997)
Thomas A Henzinger ACM Fellows (2006)
John Hershberger ACM Fellows (2012)
C. Antony R. Hoare ACM A. M. Turing Award (1980)
ACM Programming Systems and Languages Paper Award (1973)
Lance Hoffman ACM Fellows (1995)
Gerard J. Holzmann ACM Fellows (2011)
ACM Paris Kanellakis Theory and Practice Award (2005)
ACM Software System Award (2001)
James Jay Horning ACM Fellows (1998)
Tiejun Huang ACM Senior Member (2013)
Jean-Pierre Hubaux ACM Fellows (2010)
Paul Hudak ACM Fellows (2003)
Richard Hull ACM Fellows (2007)
Ihab F. Ilyas ACM Distinguished Member (2014)
Yannis E Ioannidis ACM Fellows (2004)
Sitharama Iyengar ACM Fellows (2001)
Robert J.K. Jacob ACM Fellows (2016)
Anil K Jain ACM Fellows (2003)
Ramesh C Jain ACM Fellows (2003)
Matthias Jarke ACM Fellows (2013)
Christian S. Jensen ACM Fellows (2011)
Anita K Jones ACM Fellows (1996)
Cliff B Jones ACM Fellows (1995)
Neil Jones ACM Fellows (1998)
Michael I. Jordan ACM Fellows (2010)
ACM AAAI Allen Newell Award (2009)
Joaquim Jorge ACM Senior Member (2007)
Randy H. Katz ACM Karl V. Karlstrom Outstanding Educator Award (1999)
ACM Fellows (1996)
Arie E Kaufman ACM Fellows (2009)
Lydia Kavraki ACM Athena Lecturer Award (2017)
ACM Fellows (2010)
ACM Grace Murray Hopper Award (2000)
Stephen T Kent ACM Fellows (1998)
Anne-Marie Kermarrec ACM Fellows (2016)
Angelos Dennis Keromytis ACM Distinguished Member (2012)
ACM Senior Member (2007)
Gregor Kiczales ACM Fellows (2012)
Won Kim ACM Distinguished Service Award (2001)
Jon Kleinberg ACM AAAI Allen Newell Award (2014)
ACM Fellows (2013)
ACM Prize in Computing (2008)
Craig Knoblock ACM Distinguished Member (2008)
Donald E Knuth ACM Fellows (1994)
ACM Software System Award (1986)
ACM A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Daphne Koller ACM Prize in Computing (2007)
Henry F Korth ACM Fellows (2000)
Donald Kossmann ACM Fellows (2010)
David Kotz ACM Senior Member (2006)
David J Kuck ACM-IEEE CS Ken Kennedy Award (2010)
ACM Fellows (1994)
ACM-IEEE CS Eckert-Mauchly Award (1993)
Vipin Kumar ACM Fellows (2005)
James Kurose ACM Fellows (2001)
Douglas S Lea ACM Fellows (2013)
Der-Tsai Lee ACM Fellows (1997)
Peter Lee ACM Fellows (2004)
K Rustan Leino ACM Fellows (2016)
Abraham Lempel ACM Paris Kanellakis Theory and Practice Award (1997)
Maurizio Lenzerini ACM Fellows (2009)
George Lepouras ACM Senior Member (2008)
Nancy Leveson ACM AAAI Allen Newell Award (1999)
ACM Fellows (1995)
Roy Levin ACM Fellows (2008)
Ming C Lin ACM Fellows (2011)
Bruce Lindsay ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1982)
Witold Litwin ACM Fellows (2001)
Yunhao Liu ACM Fellows (2015)
Yunhao Liu ACM Presidential Award (2013)
David B Lomet ACM Fellows (2002)
Javier Lopez ACM Senior Member (2012)
Raymond A Lorie ACM Fellows (2000)
ACM Software System Award (1988)
ACM Programming Systems and Languages Paper Award (1982)
David Maier ACM Fellows (1998)
Alessio Malizia ACM Senior Member (2014)
Igor Markov ACM Distinguished Member (2011)
ACM Senior Member (2007)
Steven R. McCanne ACM Doctoral Dissertation Award (1997)
Paul R McJones ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1982)
Tao Mei ACM Distinguished Member (2016)
ACM Senior Member (2012)
Panagiotis Takis Metaxas ACM Senior Member (2009)
Barton P Miller ACM Fellows (2001)
Jack Minker ACM AAAI Allen Newell Award (2005)
ACM Fellows (1994)
Outstanding Contribution to ACM Award (1985)
John C. Mitchell ACM Fellows (2008)
Thomas Moran ACM Fellows (2003)
James H Morris ACM Fellows (2000)
Rajeev Motwani ACM Fellows (2007)
Trevor Mudge ACM Fellows (2016)
ACM-IEEE CS Eckert-Mauchly Award (2014)
Richard R Muntz ACM Fellows (1996)
S. Muthukrishnan ACM Fellows (2010)
Brad A Myers ACM Fellows (2005)
Klara Nahrstedt ACM Fellows (2012)
Shamkant B Navathe ACM Fellows (2014)
J Nievergelt ACM Fellows (1995)
David S Notkin ACM Fellows (1998)
Martin Odersky ACM Fellows (2007)
Beng Chin Ooi ACM Fellows (2011)
Leon J Osterweil ACM Fellows (1998)
M. Tamer Ozsu ACM Fellows (2006)
Yale Patt ACM Fellows (2001)
ACM Karl V. Karlstrom Outstanding Educator Award (2000)
ACM-IEEE CS Eckert-Mauchly Award (1996)
David Patterson ACM-IEEE CS Eckert-Mauchly Award (2008)
ACM Distinguished Service Award (2007)
ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1991)
Randy Pausch ACM Fellows (2007)
ACM Karl V. Karlstrom Outstanding Educator Award (2007)
Judea Pearl ACM Fellows (2015)
ACM A. M. Turing Award (2011)
ACM AAAI Allen Newell Award (2003)
Fernando Pereira ACM Fellows (2010)
Ron Perrott ACM Distinguished Service Award (2015)
ACM Fellows (1997)
Frank Pfenning ACM Fellows (2015)
ACM Senior Member (2007)
Andre Platzer ACM Doctoral Dissertation Award
Honorable Mention (2009) ACM Doctoral Dissertation Award
Honorable Mention (2009)
Vaughan Ronald Pratt ACM Fellows (1997)
Thomas G Price ACM Programming Systems and Languages Paper Award (1982)
Roy F Rada ACM Fellows (1995)
Prabhakar Raghavan ACM Fellows (2001)
Raghu Ramakrishnan ACM Fellows (2001)
Krithivasan Ramamritham ACM Fellows (2001)
Brian Randell ACM Fellows (2008)
Rajeev Ramnarain Rastogi ACM Fellows (2012)
Raj Reddy ACM Fellows (2012)
ACM A. M. Turing Award (1994)
Daniel A Reed ACM Fellows (2003)
Edward M Reingold ACM Fellows (1996)
Aristides A Requicha ACM Fellows (2007)
John C Reynolds ACM Fellows (2001)
ACM Programming Systems and Languages Paper Award (1971)
John Rice ACM Fellows (1996)
Dirk Riehle ACM Senior Member (2008)
Eric S Roberts ACM Karl V. Karlstrom Outstanding Educator Award (2012)
ACM Fellows (2007)
Joel Jose Rodrigues ACM Senior Member (2011)
Saul Rosen ACM Distinguished Service Award (1984)
Arnold Rosenberg ACM Fellows (1996)
David S. Rosenblum ACM Fellows (2010)
Azriel Rosenfeld ACM Fellows (1994)
Nick Roussopoulos ACM Fellows (2001)
Daniela Rus ACM Fellows (2014)
Barbara Gershon Ryder ACM Presidential Award (2008)
ACM Fellows (1998)
Rizos Sakellariou ACM Senior Member (2015)
Sherif Sakr ACM Senior Member (2017)
Ahmed Sameh ACM Fellows (1999)
Hanan Samet ACM Paris Kanellakis Theory and Practice Award (2011)
ACM Fellows (1996)
Ravinderpal S Sandhu ACM Fellows (2001)
Vijay Saraswat ACM Doctoral Dissertation Award (1989)
Mahadev Satyanarayanan ACM Software System Award (2016)
ACM Fellows (2002)
John E Savage ACM Fellows (1996)
Hans-Joerg Schek ACM Fellows (2001)
William L Scherlis ACM Senior Member (2009)
Fred B Schneider ACM Fellows (1995)
Robert Sedgewick ACM Fellows (1997)
Bart Selman ACM Fellows (2012)
Lui Sha ACM Fellows (2005)
Marc Shapiro ACM Senior Member (2009)
Micha Sharir ACM Fellows (1997)
Dennis E Shasha ACM Fellows (2013)
Alan C Shaw ACM Fellows (1997)
Mary M Shaw ACM Fellows (1996)
Prashant J Shenoy ACM Distinguished Member (2009)
ACM Senior Member (2006)
Stuart Shieber ACM Fellows (2014)
Kang Shin ACM Fellows (2001)
Frank Shipman ACM Distinguished Member (2009)
Ben Shneiderman ACM Fellows (1997)
Yoav Shoham ACM AAAI Allen Newell Award (2012)
ACM Fellows (2012)
Howard Siegel ACM Fellows (1998)
Joseph Sifakis ACM Fellows (2012)
ACM A. M. Turing Award (2007)
Abraham Silberschatz ACM Karl V. Karlstrom Outstanding Educator Award (1998)
ACM Fellows (1996)
Kevin Skadron ACM Fellows (2015)
ACM Distinguished Member (2010)
ACM Senior Member (2007)
Jacob Slonim ACM Doctoral Dissertation Award (1980)
Alan Smith ACM Fellows (2001)
Richard T Snodgrass Outstanding Contribution to ACM Award (2004)
ACM Fellows (1999)
Diomidis Spinellis ACM Senior Member (2006)
Richard Stallman ACM Software System Award (2015)
ACM Grace Murray Hopper Award (1990)
John A Stankovic ACM Fellows (1996)
John Stasko ACM Distinguished Member (2011)
ACM Senior Member (2011)
Giancarlo Succi ACM Senior Member (2008)
S. Sudarshan ACM Fellows (2014)
Subhash Suri ACM Fellows (2010)
ACM Distinguished Member (2007)
Ivan Sutherland ACM Fellows (1994)
ACM Software System Award (1993)
ACM A. M. Turing Award (1988)
Jeffrey Victor Sutherland ACM Senior Member (2009)
Roberto Tamassia ACM Fellows (2012)
Andrew S Tanenbaum ACM Fellows (1996)
Andrew S. Tanenbaum ACM Karl V. Karlstrom Outstanding Educator Award (1994)
Robert W Taylor ACM Fellows (1994)
ACM Software System Award (1984)
Bent Thomsen ACM Senior Member (2016)
Irv Traiger ACM Fellows (1994)
ACM Software System Award (1988)
ACM Programming Systems and Languages Paper Award (1982)
ACM Programming Systems and Languages Paper Award (1971)
Allen Tucker ACM Fellows (1994)
Outstanding Contribution to ACM Award (1991)
Jeffrey D Ullman ACM Karl V. Karlstrom Outstanding Educator Award (1997)
ACM Fellows (1995)
Patrick Valduriez ACM Fellows (2012)
Mateo Valero ACM Distinguished Service Award (2012)
ACM-IEEE CS Eckert-Mauchly Award (2007)
ACM Fellows (2002)
Paul Van Oorschot ACM Fellows (2016)
Robbert Van Renesse ACM Fellows (2009)
C J Van Rijsbergen ACM Fellows (2003)
Moshe Y Vardi ACM Presidential Award (2017)
Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
ACM Fellows (2000)
Sebastian Ventura ACM Senior Member (2013)
Jeffrey S Vetter ACM Distinguished Member (2012)
ACM Gordon Bell Prize
Performance (2010)
Philip Wadler ACM Fellows (2007)
David L Waltz ACM Fellows (1999)
Yu Wang ACM Senior Member (2011)
Anthony I Wasserman ACM Fellows (1996)
Peter Wegner ACM Distinguished Service Award (2000)
ACM Fellows (1995)
Bruce W Weide ACM Senior Member (2009)
Fred W Weingarten ACM Fellows (1996)
Edgar Weippl ACM Senior Member (2008)
Michael Wellman ACM Fellows (2005)
John R. White ACM Presidential Award (2015)
ACM Fellows (1995)
Outstanding Contribution to ACM Award (1994)
Jennifer Widom ACM Athena Lecturer Award (2015)
ACM Fellows (2005)
Gio Wiederhold ACM Fellows (1995)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
ACM Fellows (2000)
John Wilkes ACM Fellows (2002)
Maurice V. Wilkes ACM Fellows (1994)
ACM-IEEE CS Eckert-Mauchly Award (1980)
ACM A. M. Turing Award (1967)
Jeannette M. Wing ACM Distinguished Service Award (2014)
ACM Fellows (1998)
Niklaus E Wirth ACM Fellows (1994)
ACM A. M. Turing Award (1984)
ACM Programming Systems and Languages Paper Award (1978)
Ian Witten ACM Fellows (1996)
Ouri Wolfson ACM Fellows (2001)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Jie Wu ACM Senior Member (2006)
William A Wulf ACM Karl V. Karlstrom Outstanding Educator Award (2014)
ACM Distinguished Service Award (2011)
ACM Fellows (1994)
Qiang Yang ACM Distinguished Member (2011)
Bulent Yener ACM Senior Member (2013)
Philip S Yu ACM Fellows (1997)
Pamela Zave ACM Fellows (2001)
HongJiang Zhang ACM Fellows (2007)
Lixia Zhang ACM Fellows (2006)
Feng Zhao ACM Distinguished Member (2006)
Yuanyuan Zhou ACM Fellows (2013)
ACM Distinguished Member (2011)
Albert Zomaya ACM Distinguished Member (2006)
Stuart Zweben ACM Fellows (1998)
Outstanding Contribution to ACM Award (1997)
Andries van Dam ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1993)
Andries van Dam ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1993)

First Name Last Name Paper Counts
Peter Denning 21
Adele Goldberg 18
William Dorn 9
Anthony Wasserman 8
Sparsh Mittal 7
Helen Ashman 6
Rachid Guerraoui 6
Andries Van Dam 6
Rajkumar Buyya 6
Peter Wegner 6
Jeffrey Vitter 5
Rance Cleaveland 5
Yannis Ioannidis 5
Jacques Cohen 5
Elliott Organick 5
Andrew Tanenbaum 5
Wendy Hall 4
Corrado Priami 4
Gonzalo Navarro 4
Albert Zomaya 4
James Fry 4
James Peterson 4
Pierpaolo Degano 4
Peter Lee 4
Fred Schneider 4
Jayadev Misra 4
Peter Wegner 4
Sameeullah Khan 4
Azriel Rosenfeld 4
Richard Muntz 4
Hanan Samet 4
Jens Palsberg 4
Narendra Ahuja 4
Brad Myers 4
Tamer Özsu 4
Sundaraja Iyengar 4
Gregory Andrews 4
Jeffrey Buzen 4
Luca Cardelli 4
Scott Smolka 4
Mohamed Fayad 4
Johnleslie King 3
Bruce Weide 3
Toby Teorey 3
Miroslaw Malek 3
Charles Consel 3
David Schmidt 3
Robert Rosin 3
Pankaj Agarwal 3
Nabil Adam 3
Abdullah Gani 3
Goetz Graefe 3
Ingrid Carlbom 3
Avi Silberschatz 3
David Lilja 3
Dick Bulterman 3
Leslie Carr 3
Michael Bieber 3
Robyn Kozierok 3
Mark Harman 3
Cristina Nita-Rotaru 3
Werner Retschitzegger 3
Alberto Pettorossi 3
Patrick Cousot 3
Chris Hankin 3
Thomas Dean 3
Jonathan Grudin 3
Maurizio Proietti 3
John Rice 3
John Stankovic 3
Michael, Loui 3
Azzedine Boukerche 3
Emil Lupu 3
Marvin Zelkowitz 3
Udo Pooch 3
Garth Gibson 3
Mahadevan Ganapathi 3
Jon Doyle 3
Raghu Ramakrishnan 3
Dirk Riehle 3
George Nagy 3
Alexander Thomasian 3
Laurie Damianos 3
Zimu Zhou 3
Carlo Furia 3
Henry Ledgard 3
Hanne Nielson 3
Flemming Nielson 3
Roberto Tamassia 3
Randy Katz 3
Frank Manola 3
Jacques Noyé 3
Ben Shneiderman 3
Isabel Cruz 3
Roberto Gorrieri 3
David De Roure 3
Joseph Pasquale 3
Michael Marcotty 3
Robert Sedgewick 2
Lynette Hirschman 2
Edgar Sibley 2
Niki Pissinou 2
Gustavo Rossi 2
James Hollan 2
Robert Jacob 2
Katia Sycara 2
Fatima Nunes 2
John Derrick 2
Umesh Bellur 2
Carl Gunter 2
Arun Ross 2
Victor Lesser 2
Douglas Comer 2
Aristides Requicha 2
Zvi Galil* 2
Clement Yu 2
David Maier 2
Guillaume Pierre 2
Pieter Hartel 2
William Stallings 2
Jan Heering 2
Carlo Batini 2
Renaud Marlet 2
Nic Volanschi 2
Michael Leuschel 2
Philip YU 2
Ephraim Glinert 2
Philippe Codognet 2
Alberto Marchetti-Spaccamela 2
Henry Korth 2
Tiziana Margaria 2
Ouri Wolfson 2
Mary Rosson 2
Betty Salzberg 2
Dino Mandrioli 2
Martha Larson 2
Sigmund Gorski 2
Peter Larsen 2
Patricia Lago 2
CÉcile Paris 2
Athanasios Vasilakos 2
Robbert Van Renesse 2
Marjan Mernik 2
Mark Truran 2
David Kotz 2
Zhiwen Yu 2
Thierry Lecroq 2
Hector Levesque 2
Richard Bird 2
Giuseppe Italiano 2
Claudio Carpineto 2
Mohammed Bennamoun 2
Jim Woodcock 2
Jim Kurose 2
Antônio Loureiro 2
Fred Maryanski 2
Edward Reingold 2
John Hatcliff 2
William Wulf 2
Charles Fischer 2
Michael Hanus 2
Chittoor Ramamoorthy 2
Allen Tucker 2
Jeffrey Ullman 2
Eduardo Hruschka 2
Angelo Morzenti 2
Dale Miller 2
Kim Bruce 2
Daniel Schwabe 2
Ivona Brandić 2
John Fitzgerald 2
Hans Gellersen 2
Peter Fontana 2
Shishir Nagaraja 2
Lionel Ni 2
Abdelhamid Bouchachia 2
Won Kim 2
Frederick Lochovsky 2
Wolfgang Klas 2
Lester Lipsky 2
Thomas Moran 2
Pascal Felber 2
Paul Hudak 2
Subrata Dasgupta 2
Derrell Foster 2
Subhash Suri 2
James Michener 2
Lawrence Dowdy 2
John Gallagher 2
Howard Wactlar 2
Francis Sullivan 2
Charles Hoare 2
Ugo Montanari 2
Joseph Sifakis 2
Robert Harper 2
Bernhard Steffen 2
Douglas Schmidt 2
Steve Bryson 2
Vijay Saraswat 2
João Gama 2
Juris Hartmanis 2
Kevin Mills 2
Leon Osterweil 2
Nathan Goodman 2
Fabrício Enembreck 2
Rizos Sakellariou 2
Brian Davison 2
Sungho Kang 2
Zhiqiang Lin 2
Thomas Dietterich 2
Alistair Moffat 2
Yonathan Bard 2
Gary Leavens 2
Kenneth Kraemer 2
Klara Nahrstedt 2
Ricardo Baeza-Yates 2
Cinzia Cappiello 2
Luke Hornof 2
Leon Presser 2
Norman Meyrowitz 2
H Li 2
James Foley 2
Walter Kohler 2
Dana Angluin 2
Malvin Kalos 2
Pierre Wolper 2
Theodor Nelson 2
Harri Oinas-Kukkonen 2
Faron Moller 2
Wayne Citrin 2
Ahmed Elmagarmid 2
Richard Snodgrass 2
Alexander Brodsky 2
Kenneth Neves 2
Sajjad Madani 2
William Enck 2
Trevor Mudge 2
Sitharama Iyengar 2
Inderveer Chana 2
Andreas Bulling 2
Tom Van Cutsem 2
Andrzej Jajszczyk 2
Imran Ghani 2
Ilia Pietri 2
Michael Franz 2
Raymond Yeh 2
Christos Faloutsos 2
Albert Bifet 2
Quan Sheng 2
Axel Jantsch 2
Alexander Gluhak 2
Andrew Newell 2
Sivan Toledo 2
Justin Zobel 2
Giovanni Romano 2
Natarajan Shankar 2
Bruce Leverett 2
Olivier Danvy 2
Eduardofreire Nakamura 2
Julia Lawall 2
Dennis Volpano 2
Alan Feuer 2
Barbara Ryder 2
Matthias Jarke 2
Sushil Jajodia 2
Mehmet Akşit 2
George Cybenko 2
Yale Patt 2
Pascal Van Hentenryck 2
John Wilkes 2
Andy Cockburn 2
Chunyan Miao 2
Sarvnaz Karimi 2
Sabri Mahmoud 2
Kotagiri Ramamohanarao 2
Jean Hubaux 2
Levente Buttyán 2
Maxime Crochemore 2
John Roddick 2
Michael Wellman 2
Ronald Brachman 2
Gary Sockut 2
Siba Mohanty 2
Patrick Hall 2
Frank Piessens 2
Donald Knuth 2
Ann Fitzsimmons 2
Tom Love 2
Erik Sandewall 2
Narain Gehani 2
Krithi Ramamritham 2
Edmund Clarke 2
Jeannette Wing 2
Fabio Vitali 2
Tiziana Catarci 2
John Mitchell 2
Michael Mannino 2
Philip Bernstein 2
Jeffrey Kurtz 2
Charu Aggarwal 2
Anne Kermarrec 2
James Stanier 2
Francky Catthoor 2
William Smyth 2
Cornelia Fermüller 2
Catherine McGeoch 2
George Lueker 2
Jonathan Walpole 2
James Church 2
Robert Sproull 2
Abraham Silberschatz 2
Asuman Dogac 2
Rosemary Simpson 2
C Hoare 2
Philip Treleaven 2
Richard Millar 2
Alan Burns 2
Scott Thibault 2
Daniel Le Métayer 2
Laura Lafave 2
Karl Lieberherr 2
David Brailsford 2
Lori Clarke 2
Fabio Crestani 2
Stephen Taylor 2
Kevin Martin 2
Davide Brugali 2
Brian Randell 2
Peter Triantafillou 2
Jochen Huber 2
Hafedh Mili 2
Matteo Rossi 2
Serge Demeyer 2
Boualem Benatallah 2
Alípio Jorge 2
Giuseppe Anastasi 2
Ronald Loui 2
Simon Kasif 2
Elisha Sacks 2
Dennis Severance 2
Jürg Nievergelt 2
Joseph Paciorek 2
Andrew Turpin 2
Jörg Rothe 2
Bruce Schachter 2
David Embley 2
Maarten Van Steen 2
Daniel Keim 2
Benjamin Bustos 2
André Schiper 2
Gerti Kappel 2
Eduardo Miranda 2
Gilles Muller 2
Carl Landwehr 2
John Hennessy 2
Philip Wadler 2
William Kent 2
Kevin Crowston 2
Edward Miller 1
Carla Ellis 1
Pasquale Malacaria 1
Susanne Albers 1
Linda Weldon 1
Bettina Kemme 1
Rodrigo Barros 1
Kevin Roundy 1
Barton Miller 1
Rocco De Nicola 1
Hartmut Ehrig 1
Cornelis Van Rijsbergen 1
Mounia Lalmas 1
Jean Guillaume 1
Gian Picco 1
Martin Erwig 1
Roverli Ziwich 1
Falk Scholer 1
Daniel Thalmann 1
M Rao 1
Michael Flynn 1
Michaelsahngwon Ryoo 1
Chaochao Feng 1
Stephanie Forrest 1
Stuart Hirshfield 1
Richard Holt 1
John Carlis 1
Michael Marefat 1
Ran El-Yaniv 1
Laurence Nigay 1
Jano Van Hemert 1
Marcus Pendleton 1
Richard Garcia-Lebron 1
Nour Abura'ed 1
T Geetha 1
Christine Neuwirth 1
James Morris 1
Gil Hansen 1
Brad Mehlenbacher 1
Judea Pearl 1
Nash Aragam 1
Nor Anuar 1
Dongyoung Koo 1
Fernando Berzal 1
Alexander Magnano 1
Songnian Zhou 1
Elvis Liu 1
Pedro Larrañaga 1
Mykola Pechenizkiy 1
Qi Li 1
Sridha Sridharan 1
Md Bhuiyan 1
Jun Tang 1
Shuching Chen 1
Mustapha Bagiwa 1
Roman Trobec 1
Byron Wright 1
Rahul Bobhate 1
Miguel Abreu 1
Bruno Andrade 1
Johann Brault-Baron 1
Jiliang Tang 1
Gabriel Dias 1
Mateus Ribeiro 1
Jamescornelius King 1
Victor Voydock 1
Tseyun Feng 1
W Adrion 1
M Reid 1
Jiang Xiao 1
Sangho Lee 1
Mingwei Shih 1
Ruggero Labati 1
Enrique Muñoz 1
Kiran Sundaravarathan 1
Gaurav Jaswal 1
Shadi Khalifa 1
Rebekka Renner 1
Gang Pan 1
Jesús González-Barahona 1
Soumya Sen 1
Bogdan Carbunar 1
Claus Nielsen 1
Tim Weninger 1
Jan Peleska 1
Jürgen Steimle 1
Jones Granatyr 1
Jinhee Cho 1
Daniel Lopes 1
Pauline Jepp 1
Hamid Talebian 1
Darell Tan 1
Fernando Diaz 1
Guy Tremblay 1
Ghizlane El Boussaidi 1
Stefano Spaccapietra 1
Gennady Andrienko 1
Aris Gkoulalas-Divanis 1
Kelly Androutsopoulos 1
Joan Marquès 1
Josep Jorba 1
Lubos Gaspar 1
Arnaud Hubaux 1
Theinthan Tun 1
Guy Gogniat 1
Gabriel Maciá-FernáNdez 1
Stephen Naicken 1
Levi Shaul 1
Zi Huang 1
Hongyun Cai 1
Rajshekar Kalayappan 1
Junaid Qadir 1
Alexey Lastovetsky 1
Astrid Rheinländer 1
Ulf Leser 1
Tao Li 1
Arnab Biswas 1
Christoph Busch 1
Muhammad Garba 1
Sayantan Nath 1
Sonali Agarwal 1
Taha Yasseri 1
Youssef Nasser 1
Scott Carr 1
Yimin Yang 1
Olga Zoidi 1
Xu Wang 1
Mirco Musolesi 1
Dimitrios Vergados 1
Geetika Goel 1
Tobias Noll 1
Hussein Zedan 1
Roberto Navigli 1
Anastasia Ioannidou 1
Christian Kudahl 1
Francis Kubala 1
Edward Grossman 1
Ian Witten 1
James Brancheau 1
Charles Colbourn 1
Ritendra Datta 1
Jia Li 1
Rudy Hirschheim 1
John Savage 1
Maximilian Capraro 1
David Helmbold 1
Angela Schuett 1
Suchitra Raman 1
TeckLee Tung 1
Andrew Swan 1
Randall Frank 1
Francis Quek 1
Neil Jones 1
Joseph Gallian 1
Antero Taivalsaari 1
P Krishna 1
Anne Liret 1
François Pachet 1
José Troya 1
Weizhong Shao 1
Paniti Netinant 1
Atef Bader 1
Kai Koskimies 1
David Hamu 1
Stefan Rausch-Schott 1
Koen De Hondt 1
Ihsam Lami 1
Ling Liu 1
Huadong Dai 1
Mikel Luján 1
Niall Murray 1
Gabriel Muntean 1
Shamik Sural 1
Liang Hu 1
Xilong Che 1
Kenneth Radke 1
Pol Arias 1
Roswitha Gostner 1
Melissa Morine 1
Sylvain Malacria 1
Piotr Dziurzanski 1
Leandro Indrusiak 1
Moshe Barukh 1
Rajiv Ranjan 1
Dayang Jawawi 1
Tamer Bacsar 1
Xavier Gréhant 1
Sverre Jarp 1
Gábor Pék 1
Omer Zilberberg 1
João Gomes 1
Wei Zang 1
Sonia