ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Multiple Facets for Dynamic Information Flow with Exceptions

JavaScript is the source of many security problems, including cross-site scripting attacks and malicious advertising code. Central to these problems... (more)

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types

Verifying invariants of fine-grained concurrent data structures is challenging, because interference from other threads may occur at any time. We... (more)

From Clarity to Efficiency for Distributed Algorithms

This article describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient... (more)

The Chemical Approach to Typestate-Oriented Programming

We introduce a novel approach to typestate-oriented programming based on the chemical metaphor: state and operations on objects are molecules of... (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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language is an influential model. While Erlang conceptually provides reliable scalability, it has some inherent scalability limits. The paper establishes the scalability limits of Erlang systems, and reports EU RELEASE project work to improve scalability and understandability. We address scaling at the virtual machine, language and tool levels. (1) We have evolved the Erlang virtual machine so that it can work effectively in large scale single-host multicore and NUMA architectures, improving the widely-used Erlang/OTP release. (2) We have designed and implemented Scalable Distributed (SD) Erlang libraries to address language-level scalability issues, providing and validating a set of semantics. (3) To make large Erlang systems easier to deploy, monitor, and debug we have developed and made open source releases of five complementary tools. Throughout the paper we use two case studies to investigate our new technologies: an Orbit calculation and Ant Colony Optimisation (ACO). Chaos Monkey experiments show that two versions of ACO survive random process failure and hence that SD Erlang provides reliability. The key scalability experiments are conducted on the Athos cluster with 256 hosts (6144 cores). Even for programs with no global recovery data to maintain, SD Erlang partitions the network to reduce network traffic and hence improves performance of the Orbit and ACO benchmarks above 80 hosts. ACO measurements show that maintaining global recovery data dramatically limits scalability; however scalability is recovered by partitioning the recovery data.

Bit-Precise Procedure-Modular Termination Analysis

We present a modular termination analysis for C programs using template-based interprocedural summari- sation. Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. Our experimental results show that our tool 2LS out- performs state-of-the-art alternatives, and demonstrate the clear advantage of interprocedural reasoning over monolithic analysis in terms of efficiency, while retaining comparable precision.

Adapting Static Analysis via Learning with Bayesian Optimization

Building a cost-effective static analyzer for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyzer. An ideal analyzer should be adaptive to a given analysis task, and avoid using techniques that unnecessarily improve precision and increase analysis cost. However, achieving this ideal is highly nontrivial, and it requires a large amount of engineering efforts. In this paper we present a new approach for building an adaptive static analyzer. In our approach, the analyzer includes a sophisticated parameterized strategy that decides, for each part of a given program, whether to apply a precision-improving technique to that part or not. We present a method for learning a good parameter for such a strategy from an existing codebase via Bayesian optimization. The learnt strategy is then used for new, unseen programs. Using our approach, we developed partially flow- and context-sensitive variants of a realistic C static analyzer. The experimental results demonstrate that using Bayesian optimization is crucial for learning from an existing codebase. Also, they show that among all program queries that require flow- or context-sensitivity, our partially flow- and context-sensitive analysis answers the 75% of them, while increasing the analysis cost only by 3.3x of the baseline flow- and context-insensitive analysis, rather than 40x or more of the fully sensitive version.

SHErrLoc: a Static Holistic Error Locator

We introduce a general way to locate programmer mistakes that are detected by static analyses. The program analysis is expressed in a general constraint language which is powerful enough to model type checking, information flow analysis, dataflow analysis and points-to analysis. Mistakes in program analysis result in unsatisfiable constraints. Given an unsatisfiable system of constraints, both satisfiable and unsatisfiable constraints are analyzed, to identify the program expressions most likely to be the cause of unsatisfiability. The likelihood of different error explanations is evaluated under the assumption that the programmers code is mostly correct, so the simplest explanations are chosen, following Bayesian principles. For analyses that rely on programmer-stated assumptions, the diagnosis also identifies assumptions likely to have been omitted. The new error diagnosis approach has been implemented as a tool called SHErrLoc, which is applied to three very different program analyses, such as type inference for a highly expressive type system implemented by the Glasgow Haskell Compiler (GHC)including type classes, GADTs, and type families. The effectiveness of the approach is evaluated using previously collected programs containing errors. The results show that when compared to existing compilers and other tools, SHErrLoc consistently identifies the location of programmer errors significantly more accurately, without any language-specific heuristics.

Bibliometrics

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