ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

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... (more)

POP-PL: A Patient-Oriented Prescription Programming Language

A medical prescription is a set of health care instructions that govern the plan of care for an individual patient, which may include orders for drug therapy, diet, clinical assessment, and laboratory testing. Clinicians have long used algorithmic thinking to describe and implement prescriptions but... (more)

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... (more)

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
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions

Rigorous estimation of maximum floating-point round-off errors is an important capability central to many formal verification tools. Unfortunately, available techniques for this task often provide very pessimistic overestimates, causing unnecessary verification failure. Furthermore, there are no available rigorous approaches that handle transcendental functions other than by analyzing truncated series expansions thereof. We have developed a new approach called Symbolic Taylor Expansions that avoids these problems, and implemented a new tool called FPTaylor embodying this approach. Key to our approach is the use of rigorous global optimization, instead of the more familiar interval arithmetic, affine arithmetic, and/or SMT solvers. In addition to providing far tighter upper bounds of round-off error in a vast majority of cases, FPTaylor also emits per-instance analysis certificates in the form of HOL Light proofs that can be machine checked. In this paper, we present details of Symbolic Taylor Expansions, and comparisons with other rigorous approaches. We also release FPTaylor along with our benchmarks for evaluation.

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.

A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework

Program analyses often utilize various forms of sensitivity such as context sensitivity and object sensitivity. These techniques all allow for more precise program analyses, that are able to compute more precise program invariants, and to verify stronger properties. Despite the fact that sensitivity techniques are now part of the standard toolkit of static analyses designers and implementers, no comprehensive frameworks allow the description of all common forms of sensitivity. As a consequence, the soundness proofs of static analysis tools involving sensitivity often rely on ad hoc formalization, which are not always carried out in an abstract interpretation framework. Moreover, this also means that opportunities to identify similarities between analysis techniques to better improve abstractions or to tune static analysis tools can easily be missed. In this paper, we present and formalize a framework for the description of sensitivity in static analysis. Our framework is based on a powerful abstract domain construction, and utilizes reduced cardinal power to tie basic abstract predicates to the properties analyses are sensitive to. We formalize this abstraction, and the main abstract operations that are needed to turn it into a generic abstract domain construction. We demonstrate that our approach can allow for a more precise description of program states, and that it can also describe a large set of sensitivity techniques, both when sensitivity criteria are static or dynamic, and sensitive analysis tuning parameters. Last, we show that sensitivity techniques used in state of the art static analysis tools can be described in our framework.

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.

A Classical Sequent Calculus with Dependent Types

Dependent types are a key feature of the type systems used by the proof assistants based on the intuitionistic Curry-Howard correspondence. On the other hand, this correspondence can be extended to classical logic provided the language of proofs is enriched with control operators. Alas, control operators are known to misbehave in the presence of dependent types, unless dependencies are restricted to values. Besides, while sequent calculi smoothly support abstract machine and continuation-passing style interpretations, there is no such presentation of a language with dependent types. The main achievement of this paper is to give a sequent calculus presentation of a call-by-value language with a control operator and dependent types, and to justify its soundness through a continuation-passing style translation. We start from the call-by-value version of the »µµ~-language and design a minimal language with a value restriction and a type system that includes a list of explicit dependencies and maintains type safety. We then show how to relax the value restriction and introduce delimited continuations to directly prove the consistency by means of a continuation-passing-style translation. Finally, we relate our calculus to a similar system by Lepigre, and present a methodology to transfer properties from this system to our own.

Static backward slicing of non-deterministic programs and systems

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.

Bibliometrics

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

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

Search TOPLAS
enter search term and/or author name