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