ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Bit-Precise Procedure-Modular Termination Analysis

Constraint-Based Refactoring

Conditioning in Probabilistic Programming

NEWS

TOPLAS participates in ORCID

ORCID is a community-based effort to create a global registry of unique researcher identifiers for the purpose of ensuring proper attribution of works to their creators. When you submit a manuscript for review, you will be presented with the opportunity to register for your ORCID.

Forthcoming Articles
Type-Driven Gradual Security with References

In security-typed programming languages, types statically enforce noninterference between potentially conspiring values, such as the arguments and results of functions. But to adopt static security types, like other advanced type disciplines, programmers face a steep wholesale transition, often forcing them to refactor working code just to satisfy their type checker. To provide a gentler path to security typing that supports safe and stylish but hard-to-verify programming idioms, researchers have designed languages that blend static and dynamic checking of security types. Unfortunately the resulting languages only support static, type-based reasoning about noninterference if a program is purely statically secured. This limitation substantially weakens the benefits that dynamic enforcement bring to static security typing. In this paper we present GSLref, a gradual security-typed higher-order language with references, which lets programmers use types to reason statically about noninterference in all programs, even those that enforce security dynamically. We prove that GSLref satisfies all but one of Siek et al.'s refined criteria for gradually-typed languages, which ensure that programs can seamlessly combine and transition between simple typing and security typing. It remains an open question whether such a language could satisfy Siek et al.'s dynamic gradual guarantee. To realize this design, we were led to acknowledge a sharp distinction between syntactic type safety and semantic type soundness, each of which constrains the design of the gradual language.

Context-Free Session Type Inference

Some interesting communication protocols can be precisely described only by context-free session types, an extension of conventional session types supporting a general form of sequential composition. The complex metatheory of context-free session types, however, hinders the de nition of corresponding checking and inference algorithms. In this work we address and solve these problems introducing a new syntax-directed type system for context-free session types of which we provide two OCaml embeddings.

Transactional Sapphire: Lessons in High Performance, On-the-fly Garbage Collection

Constructing a high-performance garbage collector is hard. Constructing a fully concurrent on-the-fly (OTF), compacting collector is much more so. We describe our experience of implementing the Sapphire algorithm as the first on-the-fly, parallel, replication copying, garbage collector for the Jikes RVM Java virtual machine. In part, we explain our innovations such as copying with hardware and software transactions, OTF management of Javas reference types and simple, yet correct, lock-free management of volatile fields in a replicating collector. We fully evaluate, for the first time, and using realistic benchmarks, Sapphires performance and suitability as a low latency collector. An important contribution of this work is a detailed description of our experience of building an OTF copying collector for a complete JVM with some assurance that it is correct. A key aspect of this is model checking of critical components of this complicated and highly concurrent system.

POP-PL: A Patient-Oriented Prescription Programming Language

Medical prescriptions are algorithmic sets of instructions that may include orders for drug therapy, diet, activity, clinical assessment, laboratory testing, and other tasks. Clinicians have long used algorithmic thinking to describe and implement these prescriptions without the benefit of the conceptual framework provided by a programming language. Instead, medical algorithms are expressed using a natural language patois, flowcharts, or (more recently) as structured data in database tables. This lack of a programming language often results in prescriptions that are difficult to understand, hard to debug, and awkward to reuse. This article reports on the design and evaluation of POP-PL, a domain-specific programming language for expressing prescriptions. The language design draws on the experience of researchers in two disciplines, programming languages and medicine. The language is based around the idea that programs and humans have complementary strengths, that when combined can make for safer, more accurate performance of prescriptions. Use of POP-PL will facilitate automation of certain low-level vigilance tasks, freeing up human cognition for abstract thinking, empathy, and communication. We implemented this language and evaluated its design by writing prescriptions in the new language and administering a usability survey to medical professionals. This evaluation suggests that medical prescriptions can be conveyed by a programming languages mode of expression and provides useful information for refining the language. Analysis of the survey results suggests that medical professionals can understand and correctly modify programs in POP-PL. We also identified opportunities for refining POP-PL.

Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components

We study algorithmic questions wrt algebraic path properties in concurrent systems, where the transitions of the system are labeled from a complete, closed semiring. The algebraic path properties can model dataflow analysis problems, the shortest path problem, and many other natural problems that arise in program analysis. We consider that each component of the concurrent system is a graph with constant treewidth, a property satisfied by the controlflow graphs of most programs. We allow for multiple possible queries, which arise naturally in demand driven dataflow analysis. The study of multiple queries allows us to consider the tradeoff between the resource usage of the one-time preprocessing and for each individual query. The traditional approach constructs the product graph of all components and applies the best-known graph algorithm on the product. In this approach, even the answer to a single query requires the transitive closure, which provides no room for tradeoff between preprocessing and query time. Our contributions are algorithms that significantly improve the worst-case running time of the traditional approach, and provide various tradeoffs depending on the number of queries. For example, in a concurrent system of two components, the traditional approach requires hexic time in the worst case for answering one query as well as computing the transitive closure, whereas we show that with one-time preprocessing in almost cubic time, each subsequent query can be answered in at most linear time, and even the transitive closure can be computed in almost quartic time.

Program Synthesis for Program Analysis

In this paper, we propose a unified framework for designing static analysers based on program synthesis. For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g. safety proving, bug finding, termination and non-termination proving, superoptimisation). We call this fragment the {\it synthesis fragment}. We build a decision procedure for the synthesis fragment over finite domains in the form of a program synthesiser. Given our initial motivation to solve static analysis problems, this synthesiser is specialised for such analyses. We provide instantiations of our framework for solving program verification tasks such as termination, non-termination, safety and bug finding. Our experimental results show that, on benchmarks capturing static analysis problems, our program synthesiser compares positively with other general purpose synthesisers.

Modular Termination Verification of Single-Threaded and Multithreaded Programs

We propose an approach for the modular specification and verification of total correctness properties of object-oriented programs. The core of our approach is a specification style that prescribes a way to assign a level expression to each method such that each callees level is below the callers, even in the presence of dynamic binding. The specification style yields specifications that properly hide implementation details. The main idea is to use multisets of method names as levels, and to associate with each object levels that abstractly reflect the way the object is built from other objects. A methods level is then defined in terms of the methods own name and the levels associated with the objects passed as arguments. We first present the specification style in the context of programs that do not modify object fields. We then combine it with separation logic and abstract predicate families to obtain an approach for programs with heap mutation. In a third step, we address concurrency, by incorporating an existing approach for verifying deadlock-freedom of channels and locks. Our main contribution here is to achieve information hiding by using the proposed termination levels for lock ordering as well. Also, we introduce call permissions to enable elegant verification of termination of programs where threads cause work in other threads, such as in thread pools or fine-grained concurrent algorithms involving compare-and-swap loops. We explain how our approach can be used also to verify liveness of non-terminating programs.

Dynamic Deadlock Verification for General Barrier Synchronisation

We present Armus, a verification tool for dynamically detecting or avoiding barrier deadlocks. The core design of Armus is based on phasers, a generalisation of barriers that supports split-phase synchronisation, dynamic membership, and optional-waits. This allows Armus to handle the key barrier synchronisation patterns found in modern languages and libraries. We implement Armus for X10 and Java, giving the first sound and complete barrier deadlock verification tools in these settings. Armus introduces a novel event-based graph model of barrier concurrency constraints that distinguishes between task-event and event-task dependencies. Decoupling these two kinds of dependencies facilitates the verification of distributed barriers with dynamic membership, a challenging feature of X10. Our base representation can dynamically switch between a task-to-task model, Wait-for Graph (WFG), and an event-to- event model, State Graph (SG), to improve the scalability of the analysis. Formally, we show that the verification is sound and complete with respect to the occurrence of deadlock in our core phaser language; and that switching graph representations preserves the soundness and completeness properties. These results are machine checked with the Coq proof assistant. Practically, we evaluate the runtime overhead of our implementations using three benchmark suites in local and distributed scenarios. Regarding deadlock detection, distributed scenarios show negligible overheads and local scenarios show overheads below 1.15×. Deadlock avoidance is more demanding, and highlights the potential gains from dynamic graph selection. In one benchmark scenario, the runtime overheads vary from: 1.8× for dynamic selection, 2.6× for SG-static selection, and 5.9× for WFG-static selection.

Cross-Language Interoperability in a Multi-Language Runtime

In large-scale software applications, programmers combine different programming languages because this allows them to use the most suitable language for a given problem, to gradually migrate existing projects from one language to another, or to reuse existing source code. However, different programming languages have fundamentally different implementations, which are hard to combine. The composition of language implementations often results in complex interfaces between languages, insufficient flexibility, or poor performance. We propose the Truffle Multi-Language Runtime (TMLR), which can execute different programming languages and is able to compose them in a seamless way. TMLR consists of Truffle language implementations, which translate source code to an intermediate representation that is executed by a shared virtual machine. It composes these different language implementations via generic access. Generic access is a language-agnostic mechanism that language implementations use to access foreign data or call foreign functions. It features language-agnostic messages that the TMLR resolves to efficient foreign-language-specific operations at run time. Generic access supports multiple languages, enables an efficient multi-language development, and ensures high-performance. We evaluate generic access with two case studies. The first one explains the transparent composition of JavaScript, Ruby, and C. The second one shows an implementation of the C extensions API for Ruby. We can show that generic access guarantees good run-time performance. It avoids conversion or marshalling of foreign objects at the language boundary and allows the dynamic compiler to perform its optimizations across language boundaries.

Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs

In this paper, we consider termination of probabilistic programs with real-valued variables. The questions concerned are: qualitative ones that ask (i) whether the program terminates with probability 1 (almost-sure termination) and (ii) whether the expected termination time is finite (finite termination); and quantitative ones that ask (i) to approximate the expected termination time (expectation problem) and (ii) to compute a bound B such that the probability to terminate after B steps decreases exponentially (concentration problem). To solve these questions, we utilize the notion of ranking supermartingales which is a powerful approach for proving termination of probabilistic programs. In detail, we focus on algorithmic synthesis of linear ranking-supermartingales over affine probabilistic programs (APP's) with both angelic and demonic non-determinism. An important subclass is LRAPP which is defined as the class of all APP's over which a linear ranking-supermartingale exists. Firstly, we show that the membership problem of LRAPP (i) can be decided in polynomial time for APP's with at most demonic non-determinism, and (ii) is NP-hard and in PSPACE for APP's with angelic non-determinism; moreover, the NP-hardness result holds for APP's without probability and demonic non-determinism. Secondly, we show that the concentration problem over LRAPP can be solved in the same complexity as for the membership problem of LRAPP. Finally, we show that the expectation problem over LRAPP can be solved in 2EXPTIME and is PSPACE-hard even for APP's without probability and non-determinism. Our experimental results demonstrate the effectiveness of our approach over APP's with at most demonic non-determinism.

A Logical Analysis of Framing for Specifications with Pure Method Calls

For specifying and reasoning about object-based programs it is often attractive for contracts to be expressed using calls to pure methods. It is useful for pure methods to have contracts, including read effects, to support local reasoning based on frame conditions. This leads to puzzles such as the use of a pure method in its own contract. These ideas have been explored in connection with verification tools based on axiomatic semantics, guided by the need to avoid logical inconsistency, and focusing on encodings that cater for first order automated provers. This article adds pure methods and read effects to region logic, a first-order program logic that features frame-based local reasoning and a proof rule for linking of clients with modules to achieve end-to-end correctness by modular reasoning. Soundness is proved with respect to a conventional operational semantics and using an extensional (that is, relational) interpretation of read effects. The approach is evaluated via machine-checked verification of examples. The developments in this article can (a) guide the implementations of linking as used in modular verifiers and (b) serve as basis for studying observationally pure methods and encapsulation in the setting of relational region logic.

Bibliometrics

Publication Years 1979-2018
Publication Count 1053
Citation Count 33094
Available for Download 1053
Downloads (6 weeks) 2642
Downloads (12 Months) 24032
Downloads (cumulative) 714341
Average downloads per article 678
Average citations per article 31
First Name Last Name Award
Martin Abadi ACM Fellows (2008)
Alfred V Aho ACM Fellows (1996)
Alex Aiken ACM Fellows (2008)
Jonathan Aldrich ACM Senior Member (2009)
Rajeev Alur ACM Fellows (2007)
Jose Nelson Amaral ACM Distinguished Member (2014)
ACM Senior Member (2012)
Gregory R Andrews ACM Fellows (1998)
Andrew W Appel ACM Fellows (1998)
Arvind Arvind ACM Fellows (2006)
George S Avrunin ACM Distinguished Member (2006)
David F Bacon ACM Fellows (2009)
ACM Distinguished Member (2006)
Thomas J Ball ACM Fellows (2011)
Prithviraj Banerjee ACM Fellows (2000)
Utpal Banerjee ACM Fellows (2007)
Victor Basili ACM Fellows (1997)
Mordechai Ben-Ari ACM Distinguished Member (2009)
Philip A Bernstein ACM Fellows (2001)
Lars Birkedal ACM Fellows (2017)
Ken Birman ACM Fellows (1999)
Andrew Birrell ACM Software System Award (1994)
Stephen Blackburn ACM Fellows (2016)
ACM Distinguished Member (2011)
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)
Hans Boehm ACM Fellows (2012)
ACM Distinguished Member (2006)
Alan H Borning ACM Fellows (2001)
Allan Borodin ACM Fellows (2014)
Robert S Boyer ACM Software System Award (2005)
Richard P Brent ACM Fellows (1995)
Peter Buneman ACM Fellows (2000)
Michael G Burke ACM Distinguished Member (2007)
Luca Cardelli ACM Fellows (2004)
Michael J Carey ACM Fellows (2000)
Martin C Carlisle ACM Distinguished Member (2009)
ACM Senior Member (2006)
Robert S Cartwright ACM Fellows (1998)
Rick Cattell ACM Fellows (2012)
Dhruva R Chakrabarti ACM Senior Member (2009)
Siddhartha Chatterjee ACM Distinguished Member (2007)
Alok Choudhary ACM Fellows (2009)
Charles L A Clarke ACM Distinguished Member (2015)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Fellows (1998)
ACM Paris Kanellakis Theory and Practice Award (1998)
Lori Clarke ACM Fellows (1998)
Robert L Constable ACM Fellows (1995)
Keith D Cooper ACM Fellows (2005)
James R Cordy ACM Distinguished Member (2008)
Corinna Cortes ACM Paris Kanellakis Theory and Practice Award (2008)
Janice Cuny ACM Distinguished Service Award (2017)
ACM Presidential Award (2006)
Ron Cytron ACM Fellows (2010)
Jack Davidson ACM Fellows (2008)
Bronis R. De Supinski ACM Senior Member (2016)
ACM Gordon Bell Prize (2006)
Richard Demillo ACM Fellows (2003)
Srinivas Devadas ACM Fellows (2014)
Laura Dillon ACM Distinguished Member (2009)
ACM Senior Member (2009)
Danny Dolev ACM Fellows (2007)
Evelyn Duesterwald ACM Distinguished Member (2010)
Matthew B Dwyer ACM Distinguished Member (2007)
Lieven Eeckhout ACM Senior Member (2016)
Susan Eggers ACM Athena Lecturer Award (2009)
ACM Fellows (2002)
John R. Ellis ACM Doctoral Dissertation Award (1985)
E. Allen Emerson ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Dawson Engler ACM Grace Murray Hopper Award (2008)
Michael D Ernst ACM Fellows (2014)
Michael D. Ernst ACM Doctoral Dissertation Award
Honorable Mention (2000) ACM Doctoral Dissertation Award
Honorable Mention (2000)
Martin Erwig ACM Senior Member (2008)
Babak Falsafi ACM Fellows (2015)
ACM Senior Member (2007)
Richard J Fateman ACM Fellows (1999)
Matthias Felleisen ACM Karl V. Karlstrom Outstanding Educator Award (2009)
ACM Fellows (2006)
Jeanne Ferrante ACM Fellows (1996)
Michael J Fischer ACM Fellows (1996)
Kathleen S Fisher ACM Fellows (2010)
ACM Distinguished Member (2007)
Cormac Flanagan ACM Senior Member (2013)
Ian T Foster ACM Fellows (2009)
Michael Franz ACM Fellows (2015)
ACM Distinguished Member (2006)
Keith Brian Gallagher ACM Senior Member (2016)
John D Gannon ACM Fellows (1999)
Guang Gao ACM Fellows (2007)
David Garlan ACM Fellows (2013)
ACM Senior Member (2008)
Carlo Ghezzi ACM Fellows (1999)
David K Gifford ACM Fellows (2011)
Maria L Gini ACM Distinguished Member (2006)
Allan Gottlieb ACM Fellows (2004)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
ACM Fellows (1994)
Albert G Greenberg ACM Fellows (2006)
Irene Greif ACM Fellows (1997)
David Gries ACM Karl V. Karlstrom Outstanding Educator Award (1995)
ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1977)
David Paul Grove ACM Fellows (2012)
ACM Distinguished Member (2010)
ACM Senior Member (2006)
Orna Grumberg ACM Fellows (2015)
Manish Gupta ACM Fellows (2012)
ACM Distinguished Member (2009)
Rajiv Gupta ACM Fellows (2009)
Brent T Hailpern ACM Fellows (2003)
Mary W Hall ACM Distinguished Member (2010)
Kevin Hammond ACM Senior Member (2009)
David Harel ACM Software System Award (2007)
ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
Robert Harper ACM Fellows (2005)
Tim Harris ACM Senior Member (2007)
Mary Harrold ACM Fellows (2003)
Laurie J Hendren ACM Fellows (2009)
John L Hennessy ACM A. M. Turing Award (2017)
ACM-IEEE CS Eckert-Mauchly Award (2001)
ACM Fellows (1997)
Thomas A Henzinger ACM Fellows (2006)
Maurice Herlihy ACM Fellows (2005)
Michael Hind ACM Distinguished Member (2009)
Urs Hoelzle ACM Fellows (2009)
Antony (Tony) Hosking ACM Distinguished Member (2012)
ACM Senior Member (2008)
Paul Hudak ACM Fellows (2003)
Kenneth E. Iverson ACM A. M. Turing Award (1979)
Daniel Jackson ACM Fellows (2016)
Somesh Jha ACM Fellows (2016)
ACM Distinguished Member (2014)
Cliff B Jones ACM Fellows (1995)
Neil Jones ACM Fellows (1998)
Richard Jones ACM Distinguished Member (2006)
Mathai Joseph ACM Presidential Award (2010)
Frans Kaashoek ACM Prize in Computing (2010)
ACM Fellows (2004)
Zvi Kedem Outstanding Contribution to ACM Award (2012)
ACM Fellows (1997)
Kenneth W Kennedy ACM Fellows (1995)
Gregor Kiczales ACM Fellows (2012)
Richard B Kieburtz ACM Fellows (2001)
Donald E Knuth ACM Fellows (1994)
ACM Software System Award (1986)
ACM A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Dexter Kozen ACM Fellows (2003)
Monica Lam ACM Fellows (2007)
Simon Lam ACM Software System Award (2004)
ACM Fellows (1998)
Leslie Lamport ACM Fellows (2014)
ACM A. M. Turing Award (2013)
Butler W Lampson ACM Fellows (1994)
ACM A. M. Turing Award (1992)
ACM Software System Award (1984)
James Larus ACM Fellows (2006)
Peter Lee ACM Fellows (2004)
K. Rustan M. Leino ACM Fellows (2016)
Xavier Leroy ACM Fellows (2015)
Ondrej Lhotak ACM Senior Member (2013)
Ninghui Li ACM Distinguished Member (2012)
Richard Lipton ACM Fellows (1997)
Barbara Liskov ACM A. M. Turing Award (2008)
ACM Fellows (1996)
Paul G Lowney ACM Fellows (2008)
Nancy Lynch ACM Athena Lecturer Award (2012)
ACM Fellows (1997)
Sharad Malik ACM Fellows (2014)
Zohar Manna ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1974)
Margaret Martonosi ACM Fellows (2009)
Sally A. McKee ACM Senior Member (2013)
Kathryn S McKinley ACM Fellows (2008)
ACM Distinguished Member (2006)
ACM Senior Member (2006)
Albert R Meyer ACM Fellows (2000)
Barton P Miller ACM Fellows (2001)
Robert C. Miller ACM Doctoral Dissertation Award
Honorable Mention (2002) ACM Doctoral Dissertation Award
Honorable Mention (2002)
John C. Mitchell ACM Fellows (2008)
J Strother Moore ACM Fellows (2006)
ACM Software System Award (2005)
Greg Morrisett ACM Fellows (2013)
Eliot Moss ACM Fellows (2007)
Andrew Clifford Myers ACM Fellows (2013)
Brad A Myers ACM Fellows (2005)
Toshio Nakatani ACM Distinguished Member (2007)
George Necula ACM Distinguished Member (2016)
ACM Grace Murray Hopper Award (2001)
Martin Odersky ACM Fellows (2007)
Leon J Osterweil ACM Fellows (1998)
Susan S Owicki ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1977)
David Padua ACM Fellows (2007)
Krishna Palem ACM Fellows (2005)
Christos Papadimitriou ACM Fellows (2001)
David Lorge Parnas ACM Fellows (1994)
ACM Programming Systems and Languages Paper Award (1979)
Lawrence C Paulson ACM Fellows (2008)
Ron Perrott ACM Distinguished Service Award (2015)
ACM Fellows (1997)
Larry L Peterson ACM Fellows (2000)
Simon L Peyton-Jones ACM Fellows (2004)
Frank Pfenning ACM Fellows (2015)
ACM Senior Member (2007)
Benjamin Pierce ACM Fellows (2012)
Keshav K Pingali ACM Fellows (2012)
Nicholas Pippenger ACM Fellows (1997)
Amir Pnueli ACM Fellows (2007)
ACM Software System Award (2007)
ACM A. M. Turing Award (1996)
Lori L. Pollock ACM Distinguished Member (2010)
Sriram Rajamani ACM Fellows (2015)
Ganesan Ramalingam ACM Fellows (2016)
ACM Distinguished Member (2009)
John H Reif ACM Fellows (1997)
Michael Reiter ACM Fellows (2008)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
John C Reynolds ACM Fellows (2001)
ACM Programming Systems and Languages Paper Award (1971)
Martin Rinard ACM Fellows (2009)
Daniel J Rosenkrantz ACM Fellows (1995)
Indrajit Roy ACM Senior Member (2015)
Barbara Gershon Ryder ACM Presidential Award (2008)
ACM Fellows (1998)
Mooly Sagiv ACM Fellows (2015)
Sartaj K Sahni ACM Karl V. Karlstrom Outstanding Educator Award (2003)
ACM Fellows (1996)
Hanan Samet ACM Paris Kanellakis Theory and Practice Award (2011)
ACM Fellows (1996)
Bo Ingvar Sanden ACM Senior Member (2009)
Vivek Sarkar ACM Fellows (2008)
ACM Distinguished Member (2006)
Richard D Schlichting ACM Fellows (2001)
Fred B Schneider ACM Fellows (1995)
Robert Schreiber ACM Fellows (2012)
ACM Distinguished Member (2006)
Robert Sedgewick ACM Fellows (1997)
Ravi Sethi ACM Fellows (1996)
Micha Sharir ACM Fellows (1997)
Dennis E Shasha ACM Fellows (2013)
Nir N Shavit ACM Fellows (2013)
R K Shyamasundar ACM Fellows (2009)
Daniel Siewiorek ACM Fellows (1994)
ACM-IEEE CS Eckert-Mauchly Award (1988)
Abraham Silberschatz ACM Karl V. Karlstrom Outstanding Educator Award (1998)
ACM Fellows (1996)
Barbara B Simons Outstanding Contribution to ACM Award (2001)
ACM Fellows (1994)
Marc Snir ACM Fellows (1999)
Larry Snyder ACM Fellows (1995)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
ACM Fellows (1999)
Michael Sperber ACM Senior Member (2009)
Vugranam C Sreedhar ACM Distinguished Member (2009)
ACM Senior Member (2006)
Per O Stenstrom ACM Fellows (2008)
Peter James Stuckey ACM Distinguished Member (2009)
Norihisa Suzuki ACM Fellows (1995)
Peter F Sweeney ACM Distinguished Member (2012)
ACM Senior Member (2009)
Andrew S Tanenbaum ACM Fellows (1996)
Andrew S. Tanenbaum ACM Karl V. Karlstrom Outstanding Educator Award (1994)
Robert E Tarjan ACM Paris Kanellakis Theory and Practice Award (1999)
ACM Fellows (1994)
ACM A. M. Turing Award (1986)
Shang-Hua Teng ACM Fellows (2009)
Mikkel Thorup ACM Fellows (2005)
Walter F. Tichy ACM Fellows (2012)
ACM Distinguished Member (2010)
ACM Senior Member (2006)
Frank Tip ACM Distinguished Member (2008)
David M Ungar ACM Fellows (2010)
ACM Distinguished Member (2006)
ACM Doctoral Dissertation Award
Series Winner (1986)
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)
Uzi Vishkin ACM Fellows (1996)
Philip Wadler ACM Fellows (2007)
Mitchell Wand ACM Fellows (2007)
David S Warren ACM Fellows (2000)
Richard C Waters ACM Distinguished Member (2008)
Mark Wegman ACM Fellows (1996)
Elaine Weyuker ACM Presidential Award (2010)
ACM Fellows (1997)
David Whalley ACM Distinguished Member (2009)
ACM Senior Member (2009)
Jennifer Widom ACM Athena Lecturer Award (2015)
ACM Fellows (2005)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
ACM Fellows (2000)
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)
David S Wise Outstanding Contribution to ACM Award (2006)
ACM Fellows (2004)
Emmett Witchel ACM Doctoral Dissertation Award
Honorable Mention (2004) ACM Doctoral Dissertation Award
Honorable Mention (2004)
Alexander L Wolf ACM Fellows (2006)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Mihalis Yannakakis ACM Fellows (1998)
Frank Kenneth Zadeck ACM Fellows (2011)
Pamela Zave ACM Fellows (2001)
Andreas Zeller ACM Fellows (2010)
Benjamin G Zorn ACM Distinguished Member (2011)

First Name Last Name Paper Counts
Thomas Reps 17
Leslie Lamport 14
Jens Palsberg 9
Martín Abadi 9
Krzysztof Apt 8
Keshav Pingali 8
Mooly Sagiv 8
Saumya Debray 8
Peter Stuckey 8
Andrew Appel 7
Jayadev Misra 7
Fred Schneider 7
Kathryn McKinley 7
Mary Soffa 7
Manuel Hermenegildo 6
Benjamin Pierce 6
Ken Kennedy 6
Suresh Jagannathan 6
Cédric Fournet 6
Todd Millstein 6
Charles Consel 5
Jan Heering 5
François Pottier 5
Charles Fischer 5
Christopher Fraser 5
Naoki Kobayashi 5
Amer Diwan 5
Michael Franz 5
Erez Petrank 5
Greg Nelson 5
Cormac Flanagan 5
Susan Horwitz 5
Nissim Francez 5
Craig Chambers 5
Kim Marriott 5
Rajeev Alur 5
Ernest Emerson 5
Martin Rinard 5
Alex Aiken 5
Andrew Gordon 5
Maurice Bruynooghe 5
Jeffrey Foster 4
Maurice Herlihy 4
Dhananjay Dhamdhere 4
Alan Demers 4
Tim Teitelbaum 4
Frank Tip 4
Paul Klint 4
Raymond Boute 4
Michael Burke 4
Manfred Broy 4
Anne Rogers 4
Thomas Henzinger 4
Greg Morrisett 4
Davide Sangiorgi 4
Bjorn De Sutter 4
Vugranam Sreedhar 4
Jongdeok Choi 4
Kwangkeun Yi 4
Giuseppe Castagna 4
Rajiv Gupta 4
Keith Cooper 4
Orna Grumberg 4
Lars Birkedal 4
Todd Proebsting 4
Jacob Schwartz 4
Gail Kaiser 4
Richard Kieburtz 4
Laurie Hendren 4
Micha Sharir 4
Eliot Moss 4
David Binkley 4
Scott Stoller 4
Jeannette Wing 4
Yanhong Liu 4
Ganesan Ramalingam 4
Edmund Clarke 4
Daniel Kroening 4
Michael Codish 4
Barbara Liskov 4
Luca Cardelli 4
Wilf LaLonde 4
Matthias Felleisen 4
Jeanne Ferrante 4
Abraham Silberschatz 4
William Pugh 4
Zhong Shao 4
Guang Gao 4
Michael Hicks 4
John Hennessy 4
Guy Blelloch 4
Toshio Nakatani 4
Harald Søndergaard 3
Ferruccio Damiani 3
Jacques Cohen 3
Barbara Ryder 3
Arvind 3
Abhik Roychoudhury 3
Joseph Morris 3
Olivier Danvy 3
Joseph Gil 3
Jens Krinke 3
Mitchell Wand 3
Robert Constable 3
Dan Grossman 3
Prithviraj Banerjee 3
David Hanson 3
Valery Trifonov 3
Gilles Barthe 3
Helmut Seidl 3
Frank Piessens 3
Richard Holt 3
David Walker 3
Amir Ben-Amram 3
Daniel Berry 3
Gregory Andrews 3
Simon Peyton-Jones 3
Hongseok Yang 3
Fred Mesnard 3
Jørgen Steensgaard-Madsen 3
Fred Krogh 3
Paul Attie 3
John Mitchell 3
Atsushi Igarashi 3
Aravinda Sistla 3
Sophia Drossopoulou 3
Philip Wadler 3
Michael Hind 3
Albert Cohen 3
Daniel Rosenkrantz 3
Robert Harper 3
Reinhard Wilhelm 3
Karthikeyan Bhargavan 3
Martin Hirzel 3
Hakjoo Oh 3
Kihong Heo 3
Mark Harman 3
Lori Pollock 3
Shaula Yemini 3
Bernhard Steffen 3
Yongfong Lee 3
Bart Jacobs 3
K Chandy 3
Ralph Griswold 3
Richard Waters 3
Roberto Giacobazzi 3
Linda Torczon 3
Peter Thiemann 3
Frank Mueller 3
Gary Leavens 3
Konstantinos Sagonas 3
Wonchan Lee 3
Fausto Spoto 3
Yoav Zibin 3
Stephen Freund 3
Daniel Marino 3
Thomas Ball 3
Somesh Jha 3
Thomas Groß 3
Gordon Plotkin 3
Santosh Pande 3
Uday Khedker 3
Jack Davidson 3
Jack Wileden 3
Gary Peterson 3
Stephen Blackburn 3
Atsushi Ohori 3
David Gries 3
M Sleep 3
George Necula 3
Shaz Qadeer 3
William Weihl 3
Matthew Hennessy 3
Matthias Blume 3
Christian Schulte 3
Hideaki Komatsu 3
Kohei Honda 2
Wilfred Hansen 2
Marvin Solomon 2
Motohiro Kawahito 2
Toshio Suganuma 2
Tachio Terauchi 2
César Kunz 2
Jens Knoop 2
Franco Turini 2
Niklaus Wirth 2
Enrico Pontelli 2
Michael Smith 2
Massimiliano Poletto 2
Ephraim Korach 2
Ceriel Jacobs 2
David Ungar 2
Steve Carr 2
Jan Rekers 2
Moreno Falaschi 2
Shlomit Pinter 2
Sandro Etalle 2
Coimbatore Ramakrishnan 2
Patrice Godefroid 2
Sergio Maffeis 2
Roberto Amadio 2
Daniel Yellin 2
Pierpaolo Degano 2
Farn Wang 2
Xavier Leroy 2
Xavier Vera 2
Tamara Rezk 2
Radu Rugina 2
Peter Sweeney 2
Haruo Hosoya 2
Toshiaki Yasue 2
Rudolf Eigenmann 2
Michael Mehl 2
Peter Lee 2
Federico Olmedo 2
Peter Pepper 2
Tao Yang 2
Haim Kaplan 2
Jeffery Westbrook 2
Larry Rudolph 2
Thomas Kistler 2
Chinsoon Lee 2
Nicolas Gold 2
Daniel Bobrow 2
Robert Cameron 2
Catuscia Palamidessi 2
Antonio Brogi 2
Thomas Jensen 2
Sanjay Rajopadhye 2
David Turner 2
Roland Yap 2
F Burton 2
Peter Sewell 2
Robert Dewar 2
Shingtsaan Huang 2
Maurizio Gabbrielli 2
Paola Giannini 2
Frank Zadeck 2
Stefan Freudenberger 2
Krishna Palem 2
Woosuk Lee 2
Maria García De La Banda 2
Étienne Payet 2
David Padua 2
Hans Boehm 2
Peter Breuer 2
Carroll Morgan 2
Martin Feather 2
Pierre Ganty 2
David Whalley 2
Boris Lubachevsky 2
William Winsborough 2
Laura Dillon 2
Andreas Podelski 2
John Boyland 2
Pierre Wolper 2
Annabelle McIver 2
Matthew Parkinson 2
Sven Verdoolaege 2
Uday Bondhugula 2
David Wortman 2
Karl Crary 2
Marc Snir 2
Lawrence Paulson 2
Ian Foster 2
Peichi Wu 2
Michele Bugliesi 2
Carl Landwehr 2
Jonathan Aldrich 2
John Williams 2
Henri Bal 2
George Avrunin 2
Susan Graham 2
Silvia Crafa 2
Christian Collberg 2
Kwangmoo Choe 2
Heike Wehrheim 2
Ronald Olsson 2
Malcolm Tyrrell 2
Xiaotong Zhuang 2
Davide Ancona 2
Robert Strom 2
Michael Leuschel 2
Norman Ramsey 2
Danny De Schreye 2
Dino Mandrioli 2
Uzi Vishkin 2
Hassan Aït-Kaci 2
Gert Smolka 2
Anindya Banerjee 2
Zohar Manna 2
Dennis Volpano 2
Norman Cohen 2
Jade Alglave 2
Annalisa Bossi 2
Vivek Sarkar 2
Ulrik Schultz 2
Vincent Simonet 2
Walter Tichy 2
Mihalis Yannakakis 2
Alexander Bunkenburg 2
Jürgen Giesl 2
Max Copperman 2
John Ashley 2
Antonio González 2
David Wonnacott 2
Jasper Kamperman 2
Pum Walters 2
Terrance Swift 2
Jan Van Den Bos 2
Pramod Joisha 2
Bradley Vander Zanden 2
Scott Nettles 2
Amir Pnueli 2
Timothy Hickey 2
Per Brand 2
Michael Ernst 2
Andrew Wright 2
Anne Mulkers 2
Gerda Janssens 2
Junghee Lim 2
Flemming Nielson 2
Eljas Soisalon-Soininen 2
Gregor Snelting 2
Eran Yahav 2
Elliot Kolodner 2
Koen De Bosschere 2
Neil Jones 2
Constantine Polychronopoulos 2
Ronald Morrison 2
Umut Acar 2
Elena Zucca 2
Ronald Watro 2
Max Hailperin 2
James Donahue 2
Samuel Midkiff 2
Manish Gupta 2
Ugo Montanari 2
Eli Gafni 2
Yehuda Afek 2
Paul Hudak 2
Steve Tjiang 2
Ron Cytron 2
Sriram Rajamani 2
Monica Lam 2
Wilson Hsieh 2
Bratin Saha 2
James Burns 2
Alexey Loginov 2
Arthur Charlesworth 2
Amr Sabry 2
Edmond Schonberg 2
Steve Zdancewic 2
Karl Lieberherr 2
Gérard Boudol 2
Nobuko Yoshida 2
Robert Schreiber 2
David Pichardie 2
Dominic Duggan 2
Luca Padovani 2
Peter Van Roy 2
Daniel Le Métayer 2
Francesco Ranzato 2
Mike Dodds 2
Markus Müller-Olm 2
Saman Amarasinghe 2
Jan Vitek 2
Adam Buchsbaum 2
Roland Backhouse 2
Joseph Bates 2
Michael Schwartzbach 2
David Long 2
Michael Merritt 2
David Wall 2
IV Ramakrishnan 2
Nils Gesbert 2
Rajive Bagrodia 2
Gregg Townsend 2
Gopal Gupta 2
Carlo Ghezzi 2
John Reynolds 2
Martin Odersky 2
Alan Carle 2
David Luckham 2
Scott Smith 2
Luc Moreau 2
K Leino 2
Philip Bernstein 2
Christos Dimoulas 2
Noah Torp-Smith 2
Ralf Scheidhauer 2
Seif Haridi 2
Fred Chow 2
Pascal Fradet 2
Maria De La Banda 2
Michael Wolfe 2
Matthew Hertz 2
Anders Møller 2
Westley Weimer 2
Mahadevan Ganapathi 2
Soomook Moon 2
Mark Wegman 2
Richard Gerber 2
Pedro Diniz 2
Gary Lindstrom 2
Nikolaos Papaspyrou 2
Siddhartha Chatterjee 2
Josep Llosa 2
Pascal Van Hentenryck 2
José Amaral 2
Stephen Tse 2
Cliff Click 2
Wan Fokkink 2
Brad Myers 2
Raymie Stata 1
Robert Mueller 1
Tomáš Poch 1
Daejun Park 1
Aldo Eisma 1
Alain Frisch 1
Jérôme Vouillon 1
Paul Carini 1
Daniel Dantas 1
Stephanie Weirich 1
Michał Walicki 1
Steven Anderson 1
Pieter Hartel 1
Richard McDaniel 1
Francesca Levi 1
Eugen Schenfeld 1
John Ellis 1
David Schmidt 1
Noam Rinetzky 1
Mark Moriconi 1
Johannes Heuft 1
Stefano Mannucci 1
Jan Hoffmann 1
James Cheney 1
Christian Urban 1
Mayur Naik 1
Seonwook Kim 1
Jonathan Bowen 1
Alan Finlay 1
Robert Sebesta 1
Charles Shub 1
Friedrich Steimann 1
Douglas Comer 1
Paolo Ciancarini 1
Eric Simon 1
Bern Martens 1
Hugues Fauconnier 1
Srinivas Devadas 1
Diogo Sampaio 1
Marco Patrignani 1
Harald Ganzinger 1
Derek Dreyer 1
Tobias Grosser 1
Ajay Chander 1
Laurent Mauborgne 1
Matthew Dwyer 1
Bernard Moret 1
Iulian Neamtiu 1
Dexter Kozen 1
Phil Stocks 1
Behnam Robatmili 1
Uwe Aßmann 1
Kai Shen 1
Eric Juan 1
C Chang 1
Patrick Eugster 1
Tomoyuki Higuchi 1
Alberto Martelli 1
Mads Olesen 1
Jan Klop 1
Preston Briggs 1
Andrea Ribichini 1
Stephen Taylor 1
Maria Meo 1
Ed Anson 1
George Porter 1
Mark Van Den Brand 1
Simon Helsen 1
Jinpyo Park 1
Jonathan Leivent 1
Larry Peterson 1
Gianfranco Bilardi 1
Steve Gregory 1
Benjamin Livshits 1
John Kodumal 1
Hussein Zedan 1
Jay Ligatti 1
Buğra Gedik 1
Donald Knuth 1
Sabine Glesner 1
Ulrich Kremer 1
Thomas Murtagh 1
Sally McKee 1
Robert Gallager 1
Adrian Johnstone 1
Gerwin Klein 1
Dongok Kang 1
Rickard Green 1
Natalia Chechina 1
Kenneth MacKenzie 1
Stephen Adams 1
Stavros Aronis 1
Duane Szafron 1
Xing Wu 1
Bruno De Fraine 1
Albert Greenberg 1
Dirk Grunwald 1
Andrea Flexeder 1
Tim Sheard 1
David Harel 1
Joseph Skudlarek 1
Dennis Dams 1
Steven Pemberton 1
Matteo Maffei 1
Cinzia Bernardeschi 1
Paolo Masci 1
Karoline Malmkjær 1
Sungwoo Park 1
Per Stenström 1
Lennart Kats 1
Stephen Masticola 1
Thomas Marlowe 1
Prathmesh Prabhu 1
Daniel Siewiorek 1
Rodney Oldehoeft 1
Barry Rosen 1
David Lamb 1
Susi Dulli 1
Nicoletta Cocco 1
Marc Brockschmidt 1
Stephan Falke 1
Stefan Brunthaler 1
Roger Wolff 1
Tycho Andersen 1
Susan Eggers 1
Peter Schachte 1
Robert Shostak 1
Marshall Pease 1
Anders Ravn 1
Urs Hölzle 1
Chauwen Tseng 1
Nicola Santoro 1
Jacques Loeckx 1
Harry Hunt 1
Niels Christensen 1
James Cordy 1
Cristian Estan 1
Jesse Wright 1
James Thatcher 1
Nathan Chong 1
Xipeng Shen 1
José Moreira 1
Daniel Schuh 1
Chunghao Huang 1
Michael Sperber 1
Amitabha Sanyal 1
Martin Carlisle 1
G Venkatesh 1
Frans Kaashoek 1
Moshe Vardi 1
Norihisa Suzuki 1
Peter Buneman 1
Alan Borning 1
Kim Bruce 1
Ganesan Ramalingam 1
Parthasarathy Madhusudan 1
Michael O'Donnell 1
Peter Dickman 1
Khayri Ali 1
Javier Esparza 1
Gangryung Uh 1
David Streeter 1
Ilan Bar-On 1
Izidor Gertner 1
Margaret Martonosi 1
David Monniaux 1
Albert, Meyer 1
Robert Miller 1
Jeff Sanders 1
Doug Orleans 1
Mark Korsloot 1
Paulo Marques 1
Antonio Ruiz 1
Miguel Toro 1
Calton Pu 1
Bernd Krieg-Brückner 1
Neal Glew 1
Michael Georgeff 1
Dino Pedreschi 1
Gerald Fisher 1
Hang Pham 1
Mani Chandy 1
Michael Mozer 1
Francesco Logozzo 1
Lloyd Allison 1
Adam Kieżun 1
Richard Karp 1
Alexandru Nicolau 1
Daniel Friedman 1
Paweł Urzyczyn: 1
Jerzy Tiuryn 1
Marta Jiménez 1
Frank Anger 1
William Landi 1
Denise Ombres 1
Camil Demetrescu 1
Irene Finocchi 1
Mikkel Thorup 1
Ron Pinter 1
Luigi Liquori 1
Barak Pearlmutter 1
John Clements 1
Alfred Aho 1
Bruno Blanchet 1
Aske Christensen 1
Bernard Carré 1
Andrew Birrell 1
Scott Hudson 1
Keith Clark 1
Margus Veanes 1
David Molnar 1
Pierre Genevès 1
Yunhong Zhou 1
Harry Hunt 1
Tao Wang 1
Daniel Cooke 1
Manfred Stadel 1
Robert Schwanke 1
Mordechai Ben-Ari 1
Wolf Zimmermann 1
Paul Reynolds, 1
Sebastian Unger 1
Mary Fernández 1
Todd Knoblock 1
Marvin Paull 1
Titus Purdin 1
Zena Ariola 1
W Carlisle 1
Michael Burrows 1
Butler Lampson 1
Sukumar Ghosh 1
N Raja 1
Valdis Berzins 1
Aleksandar Nanevski 1
Arthur Bernstein 1
Ted Lewis 1
Gilles Barthe 1
Ahmed Bouajjani 1
Ajit Pai 1
Richard Waldinger 1
Stan Liao 1
Bo Lin 1
Michael Frechtling 1
Richard Lipton 1
Andreas Rossberg 1
Nayeem Islam 1
Christian Hammer 1
Dwight Hare 1
Hans Leiß 1
Daniel Jackson 1
Rémi Douence 1
Tim Brecht 1
Dennis Shasha 1
Gerard Tel 1
Benjamin Kaminski 1
Christos, Papadimitriou 1
Otto Juelich 1
Rafael De Souza 1
Patrick Sansom 1
John Morrisett 1
Yuan Feng 1
Mingsheng Ying 1
Richard Kelsey 1
Alan Schmitt 1
John Žic 1
Abhayendra Singh 1
Madanlal Musuvathi 1
Richard Jones 1
Lieven Eeckhout 1
Per Larsen 1
Edward Smith 1
Carla Piazza 1
Agostino Dovier 1
Michael Bond 1
Indrajit Roy 1
Tony Nowatzki 1
Nikolas Gloy 1
Cong Fu 1
Elizabeth Scott 1
Jagannathan Ramanujam 1
Olivier Boudeville 1
Maurizio Stefano 1
Ambuj Singh 1
Kemal Ebcioğlu 1
Richard Carlsson 1
Maria Costabile 1
SsuCheng Liu 1
Robert Tarjan 1
Edward Robertson 1
Ganesh Narayanaswamy 1
Dimitrios Vytiniotis 1
Jeroen Ketema 1
Adam Betts 1
Bruce McKenzie 1
Olivier Temam 1
Germán Puebla 1
Siaucheng Khoo 1
Yunheung Paek 1
Rob Van Nieuwpoort 1
Bruno De Bus 1
Shimin Cui 1
Zhengqin Luo 1
Robert Van Gent 1
Polle Zellweger 1
Peter Welch 1
Tulika Mitra 1
Bhargav Gulavani 1
Supratik Chakraborty 1
Jan Pachl 1
Angelo Morzenti 1
Shane Markstrum 1
Baudouin Charlier 1
Sheng Chen 1
Hans Van Staveren 1
Paola Mello 1
Ashif Harji 1
Ernst Olderog 1
James Riely 1
Rajeev Barua 1
Jeehoon Kang 1
Yossi Levanoni 1
David Bernstein 1
Sharad Malik 1
Spiro Michaylov 1
William Appelbe 1
Randy Allen 1
Janice Cuny 1
Lars Clausen 1
Jörg Kienzle 1
Robert Glück 1
Vijay Nagarajan 1
R Gonzalez 1
Gordon Cormack 1
Timothy Budd 1
Elaine Weyuker 1
Francesca Scozzari 1
Craig Lee 1
Christopher Haynes 1
Ali Adl-Tabatabai 1
J Arsac 1
William Ogden 1
George Ernst 1
Ludo Van Put 1
Hideya Iwasaki 1
Zhenjiang Hu 1
Geoffrey Clemm 1
Adrienne Bloss 1
Alon Lavie 1
Scott Smolka 1
Yuhjzer Joung 1
Jeffrey Siskind 1
C Jay 1
Richard Schlichting 1
Rishiyur Nikhil 1
Amitabh Srivastava 1
Polyvios Pratikakis 1
Aaron Keen 1
Germán Vidal 1
Alan Dearle 1
Wuxu Peng 1
Huimin Lin 1
Sara Kalvala 1
Samir Genaim 1
Martin Ward 1
Jeremy Blackburn 1
Michael Nachtigal 1
J Rushton 1
Ben Sijtsma 1
Norman Foo 1
Cliff Jones 1
Scott Carson 1
Ondřej Lhoták 1
Christian Probst 1
Marco Casanova 1
Eric Bodden 1
Amir S. Shastry 1
Yifeng Chen 1
Sven Stork 1
Karl Naden 1
Arne Glenstrup 1
Gael Buckley 1
B Maher 1
Patrick Lincoln 1
Robert Boyer 1
Benjamin Grégoire 1
Zhelong Pan 1
Hongbo Rong 1
Robert Kennedy 1
David Stewart 1
Mila Preda 1
Mirko Viroli 1
Godmar Back 1
Xiangyu Zhang 1
Youtao Zhang 1
Hanne Nielson 1
Donald Lindsay 1
James Martin 1
Gavin Brown 1
Livio Colussi 1
Daniel Zlatin 1
James Archer 1
Boris Köpf 1
T Dinesh 1
Bent Kristensen 1
Bernadette Charron-Bost 1
Gustavo Petri 1
Philip Leong 1
Robert Sedgewick 1
Eliezer Dekel 1
Richard DeMillo 1
V Nandivada 1
Torben Amtoft 1
John Hatcliff 1
Julian Dolby 1
Michelle Strout 1
Richard Bird 1
Jun Lang 1
Mario Südholt 1
Stefan Sokolowski 1
Daniel Von Dincklage 1
Robert Keller 1
Manhoi Choy 1
Curtis Clifton 1
Evelyn Duesterwald 1
Peter Henderson 1
Jesper Wilhelmsson 1
Phil Trinder 1
Barbara Simons 1
Ting Yu 1
Vojtěch Forejt 1
Saurabh Joshi 1
Sverker Eriksson 1
David Klaftenegger 1
Eva Bihari 1
Steve MacDonald 1
Kai Tan 1
Alastair Donaldson 1
John Wickerson 1
Chen Ding 1
Yinnon Haviv 1
Roberto Zunino 1
Amal Ahmed 1
Viswanath Ramachandran 1
Baris Kasikci 1
David Pearce 1
EakKhoon Goh 1
John Barnden 1
Jan Stroet 1
Marco Carbone 1
Eric Beyer 1
David Grove 1
Angela Schuett 1
Rolf Bahlke 1
Daniel Swinehart 1
Vivy Suhendra 1
Frederick Smith 1
Bertrand Jeannet 1
Martin Erwig 1
Delphine Demange 1
Mathai Joseph 1
Mark Nederhof 1
Johan Stevenson 1
Andrew Tanenbaum 1
Martin Sulzmann 1
Nathanael Schärli 1
Andrew Odlyzko 1
Michael Jones 1
Clemens Szyperski 1
Gogul Balakrishnan 1
Jin Yang 1
Wim Böhm 1
Wim Simoens 1
Marc Brandis 1
Abu Masud 1
Maartje De Jonge 1
Emma Söderberg 1
Henry Cejtin 1
Roberto Ierusalimschy 1
Thomas Austin 1
Carsten Gomard 1
Jason Ryder 1
Jonathan Protzenko 1
Andreas Zeller 1
Paolo Sipala 1
Graeme Gange 1
Cliff Young 1
Saniya Ben Hassen 1
Katsuro Inoue 1
Andrea Schaerf 1
Lawrence Snyder 1
Stephen Michell 1
David Gelernter 1
DeLesley Hutchins 1
Gareth Stoyle 1
Gavin Bierman 1
Micha Shirar 1
Elia Weixelbaum 1
Zhenyu Qian 1
Sven Apel 1
Harel Paz 1
Masato Takechi 1
Leon Osterweil 1
Danny Dolev 1
Alessandro Pellegrini 1
Jean Bergeretti 1
Gerhard Schellhorn 1
Mads Tofte 1
Pieter Olivier 1
Loris D'Antoni 1
Nabil Layaïda 1
John Gallagher 1
Stéphane Ducasse 1
Roel Wuyts 1
Paul Havlak 1
Andres Marin 1
Kanat Tangwongsan 1
Takeshi Ogasawara 1
Tian Zhao 1
Bowen Alpern 1
Allan Borodin 1
Paul McMullin 1
Kenneth Iverson 1
Mehdi Jazayeri 1
Cristina Cifuentes 1
Joshua Sunshine 1
Alcides Fonseca 1
Girija Narlikar 1
Katherine Barabash 1
Victor Leikehman 1
José Pérez 1
Derek Sleeman 1
Thi Nguyen 1
Sapan Bhatia 1
Alban Douillet 1
Francisco Bueno 1
Thomas Sager 1
James Stamos 1
Paolo Mancarella 1
Udi Manber 1
Raphael Finkel 1
Klaus Aehlig 1
Josephine Micallef 1
Kousha Etessami 1
Mikel Luján 1
Joachim Parrow 1
Geoffrey Brown 1
Ittai Balaban 1
Edward Lycklama 1
Deepak Garg 1
Jacob Lidman 1
Sally Mckee 1
David Gudeman 1
C Mohan 1
Peter Wallis 1
Vittoria Gianuzzi 1
Edward Wimmers 1
Daniel Poetzl 1
Christopher Anderson 1
Bijan Arbab 1
Barbara Lerner 1
David Garlan 1
Nikolay Mateev 1
Douglas Dunlop 1
R Dybvig 1
Joylyn Reed 1
Raymond Yeh 1
Mangala Nanda 1
Nachshon Cohen 1
P Spira 1
Samuel Kamin 1
Jacques Jourdan 1
Csaba Hoch 1
Taro Sekiyama 1
Henning Rohde 1
Paolo Bottoni 1
Viktória Fördős 1
Amir Ghaffari 1
Aggelos Giantsios 1
Katerina Roukounaki 1
Kjell Winblad 1
Andrew Myers 1
Yutao Zhong 1
Massimo Bartoletti 1
William Evans 1
Kedar Swadi 1
Milind Girkar 1
Peizong Lee 1
Chris Hankin 1
Fengjian Wang 1
Martin Rem 1
Irene Greif 1
R Earle 1
Richard Halterman 1
Kenneth Knowles 1
Matthew Esquivel 1
Chris Andreae 1
Marco Gavanelli 1
Massimo Merro 1
Luís Fernández 1
Mats Carlsson 1
John Hannan 1
Minghui Yang 1
Dibyendu Das 1
Marie Jakobs 1
Raoul Strackx 1
Clinton Jeffery 1
Sergiu Hart 1
Robert Scheifler 1
Abha Moitra 1
Jisheng Zhao 1
Christopher Dutchyn 1
Nick Benton 1
Kevin Casey 1
M Ertl 1
Werner Dietl 1
Peter Müller 1
Michael Petter 1
Jan Smans 1
Lori Clarke 1
Alexander Wolf 1
Mary Hall 1
Paul Hilfinger 1
Brad Calder 1
Kasper Svendsen 1
Joost Katoen 1
Frank Jackson 1
Clinton Foulk 1
Cordelia Hall 1
David Sands 1
John Hauser 1
Sylvain Collange 1
Fernando Pereira 1
Min Aung 1
Richard Joiner 1
Eva Darulova 1
Viktor Kuncak 1
Jan Smans 1
Denis Caromel 1
Nengfa Zhou 1
Barton Miller 1
Frank De Boer 1
Ana De Moura 1
A Böhm 1
Yichen Xie 1
Christopher Frost 1
Daniel Frampton 1
Matthias Hauswirth 1
Tim Brecht 1
Brian Norris 1
Somashekaracharya Bhaskaracharya 1
U Ramakrishna 1
Olaf Chitil 1
Nancy Lynch 1
Michael Fischer 1
Somnath Ghosh 1
Simon S Lam 1
Geoffrey Washburn 1
Adam Webber 1
John Gannon 1
Douglas Clark 1
David Kosbie 1
Alberto Faro 1
Prasun Dewan 1
Yoav Ossia 1
Steven Reiss 1
Eugene Meyers 1
William Howden 1
Shinming Liu 1
Raymond Lo 1
Babak Falsafi 1
Gilberto Filé 1
Rance Cleaveland 1
Larry Jones 1
Matko Botinčan 1
Arie Kaufman 1
T Strickland 1
Michael Emmi 1
Richard Reitman 1
Hirofumi Hotta 1
Mark Linton 1
Stefan Wehr 1
Jurgen Vollmer 1
Geoffrey Smith 1
Vincent Laporte 1
Robert Halstead 1
Pieter Agten 1
Cédric Lhoussaine 1
Sartaj Sahni 1
Jun Shirako 1
Stefan Staiger-Stohr 1
Sunae Seo 1
William Thies 1
Frédéric Vivien 1
Rupak Majumdar 1
Mandana Vaziri 1
Lakshminarayanan Renganarayanan 1
Sukyoung Ryu 1
Karla Saur 1
Matthai Philipose 1
Emmett Witchel 1
Peter Stuckey 1
Reinhard Von Hanxleden 1
Fabien Quilleré 1
Paul Spirakis 1
Hikaru Yagi 1
David McAllester 1
Gilles Muller 1
Andy Wellings 1
Patricia Hill 1
Agustín Fernández 1
M Thomason 1
Dereck Oppen 1
V Rajan 1
Charles Clarke 1
John Ramsdell 1
William Farmer 1
Hong Tang 1
Jeffrey Tsai 1
Anish Arora 1
Joseph Park 1
Edward Ashcroft 1
William Wadge 1
Yves Kodratoff 1
Richard Brent 1
Sean Zhang 1
J Kennaway 1
Rita Altucher 1
Jonathan Young 1
Richard Hobson 1
Fred Templin 1
Pamela Zave 1
Tim Harris 1
Oukseh Lee 1
S Puroshothaman 1
Naiwei Lin 1
Chungkuo Chang 1
Lenore Mullin 1
Jesper Bengtson 1
Matthias Raffelsieper 1
Wim Vanhoof 1
Robert Watson 1
Tim Nicholson 1
Vijay Menon 1
Robert Winner 1
Craig Damon 1
Erik Ernst 1
Shihwei Liao 1
Paul Steckler 1
Vincent Russo 1
David Stoutamire 1
Wolfgang Polak 1
Lal George 1
Andreas Lochbihler 1
Nicholas Pippenger 1
Colin Bleckner 1
Fabienne Eigner 1
Isabelle Attali 1
Frank Pfenning 1
Costas Courcoubetis 1
Jonathan Moore 1
Thomas Schmitz 1
Tom Schrijvers 1
Carsten Fuhs 1
Fabian Emmes 1
Brian Demsky 1
Éric Tanter 1
Alexander Kaiser 1
Gianfranco Rossi 1
Markus Mock 1
Donald Porter 1
Lorenzo De Carli 1
K Sankaranarayanan 1
Ronan Sleep 1
Seppo Sippu 1
Jacob Brunekreef 1
Tim Wagner 1
Ting Yang 1
Milenko Drinić 1
Hoi Vo 1
Dennis Jeffrey 1
Gary Levin 1
Jan Prins 1
Eric Wagner 1
J Bergeron 1
Loren Simpson 1
Christopher Vick 1
Assaf Kfoury 1
David Warren 1
Josyularamachandra Rao 1
Nir Shavit 1
Tushar Mohan 1
Pierre Humblet 1
Laurence Tratt 1
Roland Ducournau 1
Alok Choudhary 1
Henk Vandecasteele 1
Thomas Lengauer 1
Colin Fidge 1
Mads Ager 1
Richard Sites 1
Yiannis Tsiouris 1
Simon Thompson 1
John Korb 1
Shlomi Dolev 1
A Lopez 1
Michael Carey 1
Daniel Wang 1
Jaume Abella 1
Jay Hoeflinger 1
Sven Schewe 1
Zvi Kedem 1
Serdar Taşiran 1
Peng Zhao 1
KouChung Tai 1
Laurian Chirica 1
M Williams 1
Evelina Lamma 1
Christian Skalka 1
George Caragea 1
Allan Gottlieb 1
Maria Gini 1
Giuseppina Gini 1
Webb Miller 1
Tevfik Bultan 1
Jennifer Widom 1
Joxan Jaffar 1
Marina Lifshin 1
Sigurd Meldal 1
Ronald Perrott 1
Diane Pozefsky 1
Francesca Rossi 1
Dario Giuse 1
Pedro Szekely 1
Boaz Patt-Shamir 1
James Purtilo 1
Xinyu Feng 1
Avi Owshanko 1
Arnaud Spiwack 1
Sathyanarayanan Thammanur 1
Michael Isard 1
K Kumar 1
María Alpuente 1
Ulrich Moncke 1
Richard Warburton 1
Kevin Millikin 1
Charles Krueger 1
Per Andersen 1
Karl Drechsler 1
Victor Basili 1
Seongsoo Hong 1
Irving Elshoff 1
Kelvin Nilson 1
Michael Coffin 1
René Thiemann 1
Bronis De Supinski 1
George Leeman 1
Darko Stefanović 1
Bharat Jayaraman 1
Deborah Whitfield 1
Henk Corporaal 1
Philip Merlin 1
Juan Touriño 1
Mahmut Kandemir 1
Atsushi Igarashi 1
Owen Kaser 1
Arthur Grand 1
Subodh Sharma 1
Danfeng Zhang 1
Robert Findler 1
Robert Muth 1
Joel Richardson 1
Christopher Richards 1
Cristian Zamfir 1
Gosia Wrzesińska 1
Yaoqing Gao 1
John Reppy 1
John Greiner 1
Manuel Serrano 1
Dhruva Chakrabarti 1
Noah Prywes 1
Derek Oppen 1
Adrian Fiech 1
Rafael Corchuelo 1
Roger Nasr 1
François Irigoin 1
Sun Chan 1
Martin Hofmann 1
Grant Weddell 1
Chongliang Ooi 1
Gerald Baumgartner 1
Benjamin Zorn 1
Thomas Gawlitza 1
Robert Fuhrer 1
Vassos Hadzilacos 1
Syed Islam 1
David Arnold 1
John Field 1
Gabriella Dodero 1
Russell Quong 1
Eric Dujardin 1
Jean Larcheveque 1
John Gilbert 1
Kurt Keutzer 1
Karen Seidel 1
Anthony Sloane 1
Jan Vitek 1
Gopalakrishnan Vijayan 1
Stephen North 1
Gregor Kiczales 1
Christian Grothoff 1
Christopher Spooner 1
Peter Dencker 1
Karl Durre 1
James Larus 1
Robert Cartwright 1
Stephan Murer 1
Friedemann Mattern 1
Friedrich Gretz 1
Rex Page 1
Edward Lee 1
Bengt Jonsson 1
Eric Stoltz 1
Arie De Bruin 1
Giovanni Lagorio 1
Bageshri Karkare 1
Christoph Kirsch 1
Giuseppe Lettieri 1
Wolfram Schulte 1
Richard Beach 1
Jan Pedersen 1
Yuqiang Huang 1
David Martin 1
Daryl Pregibon 1
Kathleen Fisher 1
Corinna Cortes 1
Aditya Nori 1
Swarat Chaudhuri 1
Robert Müller 1
James Noble 1
Munagala Ramanath 1
Zhiming Liu 1
James McGraw 1
Christoph Hoffmann 1
Peter Buhr 1
Richard Jones 1
Andrew Black 1
Oscar Nierstrasz 1
Natividad Madrid 1
Carlos Delgado 1
Alexandros Tzannes 1
Kwangkeun Yi 1
Chris Laffra 1
Scott McPeak 1
Jeremy Condit 1
Keith Gallagher 1
Tom Rothamel 1
Andreas Gal 1
Hanan Samet 1
Michael and Walter 1
Richard Hamlet 1
Patrick Lam 1
Michael Butler 1
Allen Leung 1
Vincenza Carchiolo 1
Antonella Di Stefano 1
Jacob Katzenelson 1
Ori Ben-Yitzhak 1
Jon Mauney 1
IkSoon Kim 1
George Milne 1
Ninghui Li 1
Peng Tu 1
David Gifford 1
R Sekar 1
Sidi Ehmety 1
Sebastian Thrun 1
Steven Dawson 1
José Piquer 1
Samir Genaim 1
Karl Ottenstein 1
Emma Turetsky 1
Christopher League 1
Philip Koopman 1
Jon Sneyers 1
Bart Demoen 1
Nathan Keynes 1
Nathaniel Nystrom 1
Oliver Rüthing 1
T Vijaykumar 1
Eshrat Arjomandi 1
Konstantin Läufer 1
Michael Benedikt 1
Stefano Dissegna 1
Paraskevas Yiapanis 1
David von Bank 1
Norman Cohen 1
Richard Conway 1
PerngTi Ma 1
Rick Cattell 1
Asumu Takikawa 1
Hongyi Chen 1
Peter Schrammel 1
Jon Solworth 1
Thierry PetitJean 1
Jan Bergstra 1
Ole Madsen 1
Jim Des Rivières 1
Françoise André 1
M Anicona 1
Shanghua Teng 1
Yihkuen Tsay 1
Michael Gerlek 1
Carole Delporte-Gallet 1
Đurica Nikolić 1
Colin Gordon 1
Robert Nix 1
Dave Clarke 1
Christopher Stone 1
David Espinosa 1
Xavier Rival 1
Taisook Han 1
Daegon Kim 1
Brian Murphy 1
Stephen Omohundro 1
Prakash Panangaden 1
Mary Harrold 1
Rob Gerth 1
Aloysius Mok 1
Michael Tautschnig 1
Malcolm Atkinson 1
Luca Martini 1
Jonas Skeppstedt 1
Nicholas Haines 1
Darrell Kindred 1
Joe Warren 1
Sudhir Aggarwal 1
Mariangiola Dezani-Ciancaglini 1
Michael Greenwald 1
Satish Narayanasamy 1
Steven Skiena 1
Edgar Knapp 1
Jared Darlington 1
Andrey Rybalchenko 1
Alessandro Warth 1
Tomáš Kalibera 1
Sebastian Fischmeister 1
Aravind Acharya 1
Ronald Garcia 1
Shaye Koenig 1
Thomas Pennello 1
Hendrik Boom: 1
Shay Kutten 1
R McKeag 1
Hiroyuki Seki 1
Ralphjohan Back 1
Clyde Kruskal 1
Bo Sandén 1
Antonio Fernández 1
Darko Kirovski 1
Fritz Henglein 1
Hanbok Lee 1
Frank DeRemer 1
William Mallgren 1
Guei Lueh 1
Charles Wetherell 1
Julia Lawall 1
David Bacon 1
Theodore Baker 1
David Parnas 1
Fer De Vries 1
Yonghong Song 1
Mohammad Haghighat 1
Michael Sonnenschein 1
David Barstow 1
Eijiro Sumii 1
Martin Wirsing 1
Jürgen Börstler 1
Mic Bowman 1
Mohamed Gouda 1
Dariusz Biernacki 1
Rajiv Joshi 1
Jaydeep Marathe 1
Lawrence Crowl 1
Charles McDowell 1
Marty Ossefort 1
Jakob Rehof 1
Wim Hesselink 1
Aaron Bohannon 1
Robert Johnson 1
S Ramesh 1
Shanshan Huang 1
Yannis Smaragdakis 1
Peter Schneider-Kamp 1
Johan Janssen 1
Tobias Nipkow 1
Stefaan Decorte 1
David, Wise 1
Stijn Vansummeren 1
Jay Ramanathan 1
Kenneth Lundin 1
Robert Baker 1
Gian Ferrari 1
Patrick O'Keefe 1
William Jalby 1
Christine Fricker 1
Tom Hirschowitz 1
Lorraine de Vere 1
Paul Kelly 1
Amey Karkare 1
Dawson Engler 1
Orna Kupferman 1
Paweł Wojciechowski 1
Asis Unyapoth 1
Radu Grosu 1
Michela Milano 1
Eugene Myers 1
Joseph Varghese 1
Johannes Henkel 1
Morten Rhiger 1
Matthew Harren 1
Trevor Jim 1
Efe Yardimci 1
Peter Steenkiste 1
A Shankar 1
Tushar Sharma 1
Jorge Navas 1
Michael Sartin-Tarm 1
Andrew MacDonald 1
M Hull 1
Doron Rotem 1
Takuya Katayama 1
Bob Johnson 1
Thomas Wolf 1
Karthikeyan Sankaralingam 1
A Dubuque 1
Ravi Sethi 1
Tadao Murata 1
Lubomir Bic 1
Maurício Serrano 1
Richard Fateman 1
José Llabería 1
Arthur Sorkin 1
Vance Waddle 1
Bruce Leverett 1
Thomas Szymanski 1
Willem De Roever 1
Gudjon Gudjonsson 1
Stefano Bistarelli 1
Evan Tick 1
Hongjin Liang 1
Ming Fu 1
Manuel Mohr 1
Irit Goft 1
Christian Queinnec 1
Kevin Hamlen 1
Naftaly Minsky 1
Neelam Soundararajan 1
Bruno Mojana 1
Paul Lowney 1
Anna Bendersky 1
Mihai Christodorescu 1
Chang Li 1
Marcel Beemster 1
Valentin Turchin 1
Michael Furr 1
Karl Schimpf 1
Agostino Cortesi 1
Roberto Barbuti 1
Giorgio Levi 1
Zheng Li 1
Maborobert Ito 1
Peter Wallis 1
Cristina David 1
Björn Wachter 1
Debasish Banerjee 1
J Routeau 1
Jean Banâtre 1
M Morgavi 1
Eric Amiel 1
Salvatore Ruggieri 1
Albert Wang 1
Vincent Nimal 1
Jacobo Valdes 1
Robert Giegerich 1
David Naumann 1
Bodil Biering 1
Venkatesh Ranganath 1
Clark Thomborson 1
David Gregg 1
Lin Yu 1
Zhiyuan Li 1
Valmir Barbosa 1
John Derrick 1
Justin Maris 1
Tingjian Ge 1
Richard Connor 1
Rajiv Mirani 1
David Lacey 1
Olivier Tardieu 1
Brad Nemanich 1
David Fuchs 1
Alfred Brown 1
J Moore 1
Stephan Swiderski 1
Andy Yoo 1
Scott Schneider 1
Rudrapatna Shyamasundar 1
Gregor Bochmann 1
Manuel Arenaz 1
Ramón Doallo 1
Nagaraj Shenoy 1
Francesco Cesarini 1
Michael Greenberg 1
Piero Mussio 1
Huiqing Li 1
Jonathan Schaeffer 1
Paul Thomson 1
Peter O'Hearn 1
Jacob Matthews 1
Jakob Nielsen 1
George Candea 1
Corey Yeatman 1
François Pessaux 1
Gang Tan 1
Raúl Silvera 1
Cun Xiao 1
Weingan Chin 1
Luiz DeRose 1
Rinus Plasmeijer 1
Robert Hagmann 1
Bruce Childers 1
Nerina Bermudo 1
Giuseppe Pappalardo 1
Eric Walkingshaw 1
Eberhard Bertsch 1
Thomas LeBlanc 1
Manuel Bermudez 1
Utpal Banerjee 1
Radha Jagadeesan 1
Santiago Zanella Béguelin 1
Nils Jansen 1
Dale Grit 1
Stavros Tripakis 1
Ben Lickly 1
Kevin Hammond 1
Luc Maranget 1
Stefano Calzavara 1
Mingsheng Ying 1
Nicoletta De Francesco 1
Veroniek Dumortier 1
Hanspeter Mössenböck 1
Robert Netzer 1
Eelco Visser 1
Runyao Duan 1
Elena Marchiori 1
Steven Kurlander 1
J Foster 1
Brent Hailpern 1
Thibaut Balabonski 1
Antony Hosking 1
Lubomír Bulej 1
Gregor Wagner 1
Christopher Hayden 1
Thomas Wahl 1
Matt Elder 1
Robert Paige 1
Susan Owicki 1
Brian Grant 1
Shlomo Moran 1
Kenneth Birman 1
Michael Reiter 1
Andrew Kelly 1
John Reif 1
Helmut Richter 1
Nachum Dershowitz 1
David Jefferson 1
F Kurki-Suonio 1
Richard Kennaway 1
Vincent Partington 1
Sergei Gorlatch 1
Shmuel Katz 1
Harish Patil 1

Affiliation Paper Counts
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
Vanderbilt University 1
Mentor Graphics Corporation 1
University of G. d'Annunzio Chieti and Pescara 1
Tokyo University of Agriculture and Technology 1
University of Parma 1
Ecole Normale Superieure de Cachan 1
Ruhr University of Bochum 1
Ecole Normale Superieure de Lyon 1
University of Auckland 1
University of Minnesota System 1
Newcastle University, United Kingdom 1
Pomona College 1
Malardalen University 1
City University of New York 1
Louisiana State University 1
Ecole des Mines de Nantes 1
University of Brighton 1
Poznan University of Technology 1
Brigham and Women's Hospital and Harvard Medical School 1
Birkbeck University of London 1
University of Vermont 1
University of Montreal 1
Tampere University of Technology 1
Grenoble INP ENSIMAG 1
University of Innsbruck 1
Avaya Inc. 1
Western Illinois University 1
Telefonica 1
Washington University in St. Louis 1
University of Colorado at Colorado Springs 1
University of Colorado at Denver 1
Florida Institute of Technology 1
Hasselt University 1
Apple Computer 1
The University of Western Ontario 1
Technical University of Berlin 1
Auburn University 1
University of Leeds 1
INRIA Rhone-Alpes 1
Verizon Communications 1
Ecole Polytechnique 1
University of Hawaii at Manoa 1
University of Massachusetts System 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
Drexel University 1
Bilkent University 1
Peking University 1
University of Brescia 1
Abo Akademi University 1
University of Kansas Lawrence 1
San Jose State University 1
General Electric Company 1
University of Stuttgart 1
University of Trento 1
The College of William and Mary 1
University of Wroclaw 1
The University of Tennessee System 1
University of New Brunswick 1
University of Tubingen 1
Vienna University of Technology 1
George Mason University 1
University of Trieste 1
Rose Hulman Institute Technology 1
Memorial University of Newfoundland 1
Chennai Mathematical Institute 1
University of Southern Denmark 1
Chinese Academy of Sciences 1
Universite Savoie Mont Blanc 1
Macquarie University 1
Boston University 1
James Cook University, Australia 1
University of Wisconsin Milwaukee 1
Bucknell University 1
University of Twente 1
University of Liverpool 1
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler University Linz 1
University of Central Florida 1
University of Durham 1
University of Bari 1
National Institute of Standards and Technology 1
Waseda University 1
Portland State University 1
University of Iowa 1
Roskilde University 1
Missouri University of Science and Technology 1
The University of North Carolina at Chapel Hill 1
University of Cincinnati 1
Northrop Grumman corporation 1
Tata Research Development and Design Centre 1
Indian Institute of Technology, Madras 1
University Michigan Ann Arbor 1
University of Gdansk 1
National University of Ireland, Maynooth 1
University of Nebraska - Lincoln 1
Clemson University 1
DePaul University 1
Virginia Tech 1
Oracle Corporation 1
University of New South Wales 1
City College of New York 1
IBM Zurich Research Laboratory 1
Lund University 1
Haverford College 1
Bournemouth University 1
Verimag 1
Texas State University-San Marcos 1
Vanderbilt University Medical Center 1
University of Queensland 1
Tokyo Institute of Technology 1
University of California System 1
California Institute of Technology 1
Kyushu Institute of Technology 1
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo, State University of New York 1
University of Urbino 1
University of Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Laval University 1
Indian Institute of Technology, Delhi 1
Concordia University, Montreal 1
Bayerische Akademie der Wissenschaften 1
Intel Research Laboratories 1
Kestrel Institute 1
Schlumberger-Doll Research Center 1
National Penghu University 1
Daimler AG 1
MIPS Technologies, Inc. 1
Cambridge Technology Partners 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
IBM Canada Ltd. 1
HP Inc. 1
IBM Israel Ltd 1
CSIRO Data61 1
Facebook, Inc. 1
IMDEA Institute 2
Indian Institute of Technology 2
Laboratoire Parallelisme, Reseaux, Systemes, Modelisation 2
IBM, India 2
Catholic University of Louvain, Louvain-la-Neuve 2
Microelectronics Computer Technology Corporation 2
Royal Institute of Technology 2
Iowa State University 2
Swansea University 2
Johns Hopkins University 2
Google Inc. 2
Facultes Universitaires Notre-Dame de la Paix 2
University of Lugano 2
University of South Florida Tampa 2
CNRS Centre National de la Recherche Scientifique 2
California Polytechnic State University, San Luis Obispo 2
University of Dublin, Trinity College 2
Technical University of Denmark 2
Japan Advanced Institute of Science and Technology 2
Universidad Politecnica de Valencia 2
National Chiao Tung University Taiwan 2
University of Zurich 2
University of Warsaw 2
Florida International University 2
Queen's University, Kingston 2
University of York 2
Charles University 2
Academia Sinica Taiwan 2
De Montfort University 2
National Tsing Hua University 2
Xerox Corporation 2
University of Paderborn 2
University of Bern 2
Royal Holloway University of London 2
University of Hagen 2
University of Coimbra 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
Osaka University 2
University of Ferrara 2
Swiss Federal Institute of Technology, Zurich 2
University of Udine 2
Gustavus Adolphus College 2
Nokia Corporation 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
Complutense University of Madrid 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig Maximilian University of Munich 2
University of Southern California 2
University of Minnesota Twin Cities 2
University of Bergen 2
Queen's University Belfast 2
University of Bath 2
Ecole des Mines de Paris 2
Syracuse University 2
Universite de Rennes 1 2
Naval Postgraduate School 2
University of New Mexico 2
University of Leicester 2
Symantec Corporation 2
Colorado Technical University 2
Research Institute for Advanced Computer Science 2
GrammaTech, Inc 2
Karlsruhe Institute of Technology 2
Max Planck Institute for Informatics 3
University of Munster 3
Florida State University 3
Victoria University of Wellington 3
Korea University 3
University of Illinois 3
National Taiwan University 3
Hebrew University of Jerusalem 3
University of Groningen 3
University of Catania 3
Technical University of Darmstadt 3
BRICS Basic Research in Computer Science 3
University of Oregon 3
University of Kiel 3
Universidad de Chile 3
MITRE Corporation 3
Loyola University Maryland 3
Michigan Technological University 3
Ericsson Sweden 3
Weizmann Institute of Science Israel 3
Simon Fraser University 3
University of Science and Technology of China 3
Heriot-Watt University, Edinburgh 3
University of Canterbury 3
The University of Warwick 3
Telcordia Technologies, Inc. 3
Universidad de A Coruna 3
University of Freiburg 3
Stevens Institute of Technology 3
Siemens AG 3
University of Chicago 3
University of California, Riverside 3
Federal University of Minas Gerais 3
University of California, San Diego 3
Tata Institute of Fundamental Research 3
Pontifical Catholic University of Rio de Janeiro 3
DoCoMo USA Labs. 3
Toyota Technological Institute at Chicago 3
Siemens USA 3
Academic College of Tel-Aviv - Yaffo 3
Microsoft Research India 3
Kansas State University 4
Universidad Carlos III de Madrid 4
New Mexico State University Las Cruces 4
Max Planck Institute for Software Systems 4
University of Manchester 4
MIT Computer Science and Artificial Intelligence Laboratory 4
Synopsys Incorporated 4
King's College London 4
Indian Institute of Science, Bangalore 4
University of California, Davis 4
University of Tennessee, Knoxville 4
University of Sussex 4
University of Virginia 4
Dublin City University 4
University of Sydney 4
Lawrence Livermore National Laboratory 4
Microsoft Corporation 4
INRIA Rocquencourt 4
Eindhoven University of Technology 4
University of Seville 4
International Computer Science Institute 4
IBM Toronto Software Lab 4
Universite de La Reunion 5
Chalmers University of Technology 5
National Technical University of Athens 5
Ohio State University 5
Northwestern University 5
Utrecht University 5
Australian National University 5
The University of British Columbia 5
Kyoto University 5
Oregon State University 5
Sun Microsystems 5
University of Southern California, Information Sciences Institute 5
Oregon Health and Science University 5
Texas Tech University at Lubbock 5
Queen Mary, University of London 5
University of St Andrews 5
University of Delaware 5
University of Utah 5
Ben-Gurion University of the Negev 5
University of Rochester 5
University of Illinois at Chicago 5
University of Roma La Sapienza 5
German Research Center for Artificial Intelligence (DFKI) 5
University of Illinois at Urbana-Champaign 6
Delft University of Technology 6
Silicon Graphics, Inc. 6
University of Texas at Dallas 6
Brown University 6
University of Turin 6
Ca' Foscari University of Venice 6
AT&T Inc. 6
Radboud University Nijmegen 6
Carleton University 6
University College London 6
Politecnico di Milano 6
University of Technology Sydney 6
Swiss Federal Institute of Technology, Lausanne 6
Columbia University 6
University of Alberta 6
University of East Anglia 7
McGill University 7
Tohoku University 7
IBM Almaden Research Center 7
State University of New York at Albany 7
University of Passau 7
Brandeis University 7
RWTH Aachen University 7
IT University of Copenhagen 7
IBM, USA 7
Williams College 7
New York University 7
University of Southampton 7
University of Tokyo 7
University of Edinburgh 7
University of Cambridge 7
Swedish Institute of Computer Science 7
University of Verona 7
Ecole Normale Superieure 8
AT&T Laboratories Florham Park 8
National University of Singapore 8
University of Wisconsin 8
Georgia Institute of Technology 8
University of Bologna 8
Intel Corporation 8
Pennsylvania State University 9
University of Amsterdam 9
North Carolina State University 9
Colorado State University 9
IBM Research 9
NEC Laboratories America, Inc. 9
Monash University 9
IBM Haifa Labs 9
University of California, Santa Barbara 9
Karlsruhe Institute of Technology, Campus South 9
University of Copenhagen 9
Uppsala University 10
Universite Paris 7- Denis Diderot 10
Universitat Politecnica de Catalunya 10
Vrije Universiteit Amsterdam 10
Harvard University 10
HP Labs 10
University of Kent 10
University of Toronto 10
INRIA Sophia Antipolis 10
Ghent University 10
Indiana University 11
Rutgers, The State University of New Jersey 11
Korea Advanced Institute of Science & Technology 11
Saarland University 11
University of Genoa 12
Palo Alto Research Center Incorporated 12
University of Padua 13
Courant Institute of Mathematical Sciences 13
Indian Institute of Technology, Bombay 13
SRI International 14
IBM Tokyo Research Laboratory 14
Center for Mathematics and Computer Science - Amsterdam 14
University of Waterloo 14
University of Pittsburgh 14
Technical University of Munich 14
University of California, Santa Cruz 14
Technical University of Madrid 14
University of Colorado at Boulder 15
University of Melbourne 15
Institute for Research in IT and Random Systems 15
University of Glasgow 16
University of Massachusetts Amherst 16
Northeastern University 16
University of California, Irvine 17
INRIA Institut National de Rechereche en Informatique et en Automatique 17
Microsoft Research Cambridge 17
Imperial College London 18
University of Washington, Seattle 18
University of Oxford 18
University of Aarhus 18
Seoul National University 19
Tel Aviv University 20
Yale University 21
University of Pennsylvania 21
University of California, Los Angeles 21
Stony Brook University 23
Nokia Bell Labs 24
Princeton University 26
Microsoft Research 26
Rice University 27
Purdue University 27
University of California, Berkeley 29
University of Pisa 29
Technion - Israel Institute of Technology 30
University of Texas at Austin 35
Hewlett-Packard Inc. 35
Catholic University of Leuven, Leuven 35
Stanford University 38
University of Maryland 39
University of Arizona 42
Massachusetts Institute of Technology 42
University of Wisconsin Madison 43
Cornell University 46
Carnegie Mellon University 60
IBM Thomas J. Watson Research Center 61

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2018
Volume 40 Issue 1, January 2018

2017
Volume 39 Issue 4, September 2017
Volume 39 Issue 3, July 2017
Volume 39 Issue 2, May 2017
Volume 39 Issue 1, March 2017

2016
Volume 38 Issue 4, October 2016
Volume 38 Issue 3, May 2016
Volume 38 Issue 2, January 2016

2015
Volume 38 Issue 1, October 2015
Volume 37 Issue 4, August 2015
Volume 37 Issue 3, June 2015
Volume 37 Issue 2, April 2015
Volume 37 Issue 1, January 2015

2014
Volume 36 Issue 4, October 2014
Volume 36 Issue 3, September 2014
Volume 36 Issue 2, July 2014
Volume 36 Issue 1, March 2014

2013
Volume 35 Issue 4, December 2013
Volume 35 Issue 3, November 2013
Volume 35 Issue 2, July 2013
Volume 35 Issue 1, April 2013

2012
Volume 34 Issue 4, December 2012
Volume 34 Issue 3, October 2012
Volume 34 Issue 2, June 2012
Volume 34 Issue 1, April 2012

2011
Volume 33 Issue 6, December 2011
Volume 33 Issue 5, November 2011
Volume 33 Issue 4, July 2011
Volume 33 Issue 3, April 2011
Volume 33 Issue 1, January 2011
Volume 33 Issue 2, January 2011

2010
Volume 32 Issue 6, August 2010
Volume 32 Issue 5, May 2010
Volume 32 Issue 4, April 2010
Volume 32 Issue 3, March 2010
Volume 32 Issue 2, January 2010

2009
Volume 32 Issue 1, October 2009
Volume 31 Issue 6, August 2009
Volume 31 Issue 5, June 2009
Volume 31 Issue 4, May 2009
Volume 31 Issue 3, April 2009
Volume 31 Issue 2, February 2009

2008
Volume 31 Issue 1, December 2008
Volume 30 Issue 6, October 2008
Volume 30 Issue 5, August 2008
Volume 30 Issue 4, July 2008
Volume 30 Issue 3, May 2008
Volume 30 Issue 2, March 2008

2007
Volume 30 Issue 1, November 2007
Volume 29 Issue 6, October 2007
Volume 29 Issue 5, August 2007 Special Issue ESOP'05
Volume 29 Issue 4, August 2007
Volume 29 Issue 3, May 2007 Special issue on POPL 2005
Volume 29 Issue 2, April 2007
Volume 29 Issue 1, January 2007

2006
Volume 28 Issue 6, November 2006
Volume 28 Issue 5, September 2006
Volume 28 Issue 4, July 2006
Volume 28 Issue 3, May 2006
Volume 28 Issue 2, March 2006
Volume 28 Issue 1, January 2006

2005
Volume 27 Issue 6, November 2005
Volume 27 Issue 5, September 2005
Volume 27 Issue 4, July 2005
Volume 27 Issue 3, May 2005
Volume 27 Issue 2, March 2005
Volume 27 Issue 1, January 2005

2004
Volume 26 Issue 6, November 2004
Volume 26 Issue 5, September 2004
Volume 26 Issue 4, July 2004
Volume 26 Issue 3, May 2004
Volume 26 Issue 2, March 2004
Volume 26 Issue 1, January 2004

2003
Volume 25 Issue 6, November 2003
Volume 25 Issue 5, September 2003
Volume 25 Issue 4, July 2003
Volume 25 Issue 3, May 2003
Volume 25 Issue 2, March 2003
Volume 25 Issue 1, January 2003

2002
Volume 24 Issue 6, November 2002
Volume 24 Issue 5, September 2002
Volume 24 Issue 4, July 2002
Volume 24 Issue 3, May 2002
Volume 24 Issue 2, March 2002
Volume 24 Issue 1, January 2002

2001
Volume 23 Issue 6, November 2001
Volume 23 Issue 5, September 2001
Volume 23 Issue 4, July 2001
Volume 23 Issue 3, May 2001
Volume 23 Issue 2, March 2001
Volume 23 Issue 1, Jan. 2001

2000
Volume 22 Issue 6, Nov. 2000
Volume 22 Issue 5, Sept. 2000
Volume 22 Issue 4, July 2000
Volume 22 Issue 3, May 2000
Volume 22 Issue 2, March 2000
Volume 22 Issue 1, Jan. 2000

1999
Volume 21 Issue 6, Nov. 1999
Volume 21 Issue 5, Sept. 1999
Volume 21 Issue 4, July 1999
Volume 21 Issue 3, May 1999
Volume 21 Issue 2, March 1999
Volume 21 Issue 1, Jan. 1999

1998
Volume 20 Issue 6, Nov. 1998
Volume 20 Issue 5, Sept. 1998
Volume 20 Issue 4, July 1998
Volume 20 Issue 3, May 1998
Volume 20 Issue 2, March 1998
Volume 20 Issue 1, Jan. 1998

1997
Volume 19 Issue 6, Nov. 1997
Volume 19 Issue 5, Sept. 1997
Volume 19 Issue 4, July 1997
Volume 19 Issue 3, May 1997
Volume 19 Issue 2, March 1997
Volume 19 Issue 1, Jan. 1997

1996
Volume 18 Issue 6, Nov. 1996
Volume 18 Issue 5, Sept. 1996
Volume 18 Issue 4, July 1996
Volume 18 Issue 3, May 1996
Volume 18 Issue 2, March 1996
Volume 18 Issue 1, Jan. 1996

1995
Volume 17 Issue 6, Nov. 1995
Volume 17 Issue 5, Sept. 1995
Volume 17 Issue 4, July 1995
Volume 17 Issue 3, May 1995
Volume 17 Issue 2, March 1995
Volume 17 Issue 1, Jan. 1995

1994
Volume 16 Issue 6, Nov. 1994
Volume 16 Issue 5, Sept. 1994
Volume 16 Issue 4, July 1994
Volume 16 Issue 3, May 1994
Volume 16 Issue 2, March 1994
Volume 16 Issue 1, Jan. 1994

1993
Volume 15 Issue 5, Nov. 1993
Volume 15 Issue 4, Sept. 1993
Volume 15 Issue 3, July 1993
Volume 15 Issue 2, April 1993
Volume 15 Issue 1, Jan. 1993

1992
Volume 14 Issue 4, Oct. 1992
Volume 14 Issue 3, July 1992
Volume 14 Issue 2, April 1992
Volume 14 Issue 1, Jan. 1992

1991
Volume 13 Issue 4, Oct. 1991
Volume 13 Issue 3, July 1991
Volume 13 Issue 2, April 1991
Volume 13 Issue 1, Jan. 1991

1990
Volume 12 Issue 4, Oct. 1990
Volume 12 Issue 3, July 1990
Volume 12 Issue 2, April 1990
Volume 12 Issue 1, Jan. 1990

1989
Volume 11 Issue 4, Oct. 1989
Volume 11 Issue 3, July 1989
Volume 11 Issue 2, April 1989
Volume 11 Issue 1, Jan. 1989

1988
Volume 10 Issue 4, Oct. 1988
Volume 10 Issue 3, July 1988
Volume 10 Issue 2, April 1988
Volume 10 Issue 1, Jan. 1988

1987
Volume 9 Issue 4, Oct. 1987
Volume 9 Issue 3, July 1987
Volume 9 Issue 2, April 1987
Volume 9 Issue 1, Jan. 1987

1986
Volume 8 Issue 4, Oct. 1986
Volume 8 Issue 3, July 1986 The MIT Press scientific computation series
Volume 8 Issue 2, April 1986
Volume 8 Issue 1, Jan. 1986 The MIT Press scientific computation series

1985
Volume 7 Issue 4, Oct. 1985
Volume 7 Issue 3, July 1985
Volume 7 Issue 2, April 1985 Lecture notes in computer science Vol. 174
Volume 7 Issue 1, Jan. 1985

1984
Volume 6 Issue 4, Oct. 1984 Lecture notes in computer science Vol. 174
Volume 6 Issue 3, July 1984
Volume 6 Issue 2, April 1984
Volume 6 Issue 1, Jan. 1984

1983
Volume 5 Issue 4, Oct. 1983
Volume 5 Issue 3, July 1983
Volume 5 Issue 2, April 1983
Volume 5 Issue 1, Jan. 1983

1982
Volume 4 Issue 4, Oct. 1982
Volume 4 Issue 3, July 1982
Volume 4 Issue 2, April 1982
Volume 4 Issue 1, Jan. 1982

1981
Volume 3 Issue 4, Oct. 1981
Volume 3 Issue 3, July 1981
Volume 3 Issue 2, April 1981
Volume 3 Issue 1, Jan. 1981

1980
Volume 2 Issue 4, Oct. 1980
Volume 2 Issue 3, July 1980
Volume 2 Issue 2, April 1980
Volume 2 Issue 1, Jan. 1980

1979
Volume 1 Issue 2, Oct. 1979
Volume 1 Issue 1, July 1979
 
All ACM Journals | See Full Journal Index

Search TOPLAS
enter search term and/or author name