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