ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Data races are one of the main causes of concurrency problems in multithreaded programs. Whether all data races are bad, or some are harmful and others are harmless, is still the subject of vigorous scientific debate [Narayanasamy et al. 2007; Boehm 2012]. What is clear, however, is that today's code has many data races [Kasikci et al. 2012; Jin et al. 2012; Erickson et al. 2010], and fixing data races without introducing bugs is time consuming [Godefroid and Nagappan 2008]. Therefore, it is important to efficiently identify data races in code and understand their consequences to prioritize... (more)

An Extension of ATL with Strategy Interaction

We propose an extension to ATL (alternating-time temporal logic), called BSIL (basic strategy-interaction logic), for specifying collaboration among agents in a multiagent system. We show that BSIL is strictly more expressive than ATL+ but incomparable with ATL*, GL (game logic), and AMC (alternating μ-calculus) in expressiveness. We show that a memoryful strategy is necessary for fulfilling a specification in BSIL. We establish that the BSIL model-checking problem is PSPACE-complete. However, BSIL model... (more)

The Design and Implementation of a Verification Technique for GPU Kernels

We present a technique for the formal verification of GPU kernels, addressing two classes of correctness properties: data races and barrier divergence. Our approach is founded on a novel formal operational semantics for GPU kernels termed <i>synchronous, delayed visibility (SDV)</i> semantics, which captures the execution of a GPU kernel by multiple groups of threads. The SDV semantics provides operational definitions for barrier divergence and for both inter- and intra-group data races. We build on the semantics to develop a method for reducing the task of verifying a massively... (more)

NEWS

ACM Author Options

New options for ACM authors to manage rights and permissions for their work: ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage at authors.acm.org.

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

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning

Polyhedral AST generation is more than scanning polyhedra

AST generators generate effective imperative control-flow from integer polyhedra based descriptions of high-level loop transformations. However they often fail in scenarios which require complex transformations, extensive specialization, data layout transformations or precise control over AST generation strategies. We present a new AST generator which not only supports optimized polyhedral scanning of Presburger Sets in their full generality, but also the AST generation of user-provided expressions, extensive specialization through user-directed versioning, polyhedral unrolling, execution-context-aware optimization of AST expressions and fine-grained user control over AST generation strategies. We show that the combination of these capabilities are essential for developing competitive DSL compilers.

Affine Refinement Types for Secure Distributed Programming

Fast: a Transducer-Based Language for Tree Manipulation

Tree automata and transducers are used in a wide range of applications in software engineering. While these formalisms are of immense practical use, they can only model finite alphabets. To overcome this problem we augment tree automata and transducers with symbolic alphabets represented as parametric theories. Admitting infinite alphabets makes these models more general and succinct than their classical counterparts. Despite this, we show how the main operations, such as composition and language equivalence, remain computable given a decision procedure for the alphabet theory. We introduce a high-level language called Fast that acts as a front-end for the above formalisms.

Bibliometrics

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

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

Affiliation Paper Counts
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
National Technical University of Athens 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
University of Manchester 1
Vanderbilt University 1
Mentor Graphics Corporation 1
University of G. d'Annunzio Chieti and Pescara 1
Tokyo University of Agriculture and Technology 1
University of Parma 1
Ecole Normale Superieure de Cachan 1
Korea University 1
Ruhr University of Bochum 1
National Taiwan University 1
Ecole Normale Superieure de Lyon 1
University of Auckland 1
University of Minnesota System 1
Google Inc. 1
Newcastle University, United Kingdom 1
Malardalen University 1
City University of New York 1
Louisiana State University 1
Ecole des Mines de Nantes 1
University of Brighton 1
CNRS Centre National de la Recherche Scientifique 1
Poznan University of Technology 1
Brigham and Women's Hospital and Harvard Medical School 1
Escuela Tecnica Superior de Ingenieros de Telecomunicacion, Madrid 1
University of Vermont 1
University of Montreal 1
Tampere University of Technology 1
University of Innsbruck 1
Avaya Inc. 1
Western Illinois University 1
Washington University in St. Louis 1
University of Colorado at Colorado Springs 1
University of Colorado at Denver 1
Florida Institute of Technology 1
Hasselt University 1
Apple Computer 1
The University of Western Ontario 1
Technical University of Berlin 1
Auburn University 1
University of Leeds 1
INRIA Rhone-Alpes 1
Verizon Communications 1
Ecole Polytechnique 1
University of Hawaii at Manoa 1
University of Massachusetts System 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
VA Medical Center 1
Peking University 1
University of Brescia 1
Abo Akademi University 1
University of Kansas Lawrence 1
General Electric Company 1
University of Stuttgart 1
University of Trento 1
The College of William and Mary 1
University of York 1
The University of Tennessee System 1
Charles University in Prague 1
University of New Brunswick 1
University of Tubingen 1
Vienna University of Technology 1
George Mason University 1
University of Trieste 1
Rose Hulman Institute Technology 1
Memorial University of Newfoundland 1
Chennai Mathematical Institute 1
University of Southern Denmark 1
Chinese Academy of Sciences 1
Universite de Savoie 1
Boston University 1
James Cook University, Australia 1
University of Wisconsin Milwaukee 1
Bucknell University 1
University of Twente 1
University of Hagen 1
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler University Linz 1
University of Durham 1
University of Bari 1
National Institute of Standards and Technology 1
Waseda University 1
Portland State University 1
University of Iowa 1
Roskilde University 1
Missouri University of Science and Technology 1
The University of North Carolina at Chapel Hill 1
University of Cincinnati 1
Northrop Grumman corporation 1
Tata Research Development and Design Centre 1
University of Gdansk 1
National University of Ireland, Maynooth 1
University of Nebraska - Lincoln 1
Clemson University 1
DePaul University 1
Virginia Tech 1
Complutense University of Madrid 1
Oracle Corporation 1
Swiss Federal Institute of Technology, Lausanne 1
University of New South Wales 1
City College of New York 1
IBM Zurich Research Laboratory 1
Lund University 1
Haverford College 1
Bournemouth University 1
NICTA 1
Verimag 1
Texas State University-San Marcos 1
University of Queensland 1
Tokyo Institute of Technology 1
University of California System 1
California Institute of Technology 1
Kyushu Institute of Technology 1
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo State University of New York 1
University of Urbino 1
University of Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Laval University 1
Concordia University, Montreal 1
Bayerische Akademie der Wissenschaften 1
Intel Research Laboratories 1
Kestrel Institute 1
Schlumberger-Doll Research Center 1
National Penghu University 1
Symantec Corporation 1
Daimler AG 1
MIPS Technologies, Inc. 1
Cambridge Technology Partners 1
Karlsruhe Institute of Technology 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
Compaq Systems Research Center 2
Catholic University of Louvain 2
Chalmers University of Technology 2
Microelectronics Computer Technology Corporation 2
Royal Institute of Technology 2
Iowa State University 2
Swansea University 2
Johns Hopkins University 2
Facultes Universitaires Notre-Dame de la Paix 2
California Polytechnic State University, San Luis Obispo 2
University of Dublin, Trinity College 2
Technical University of Denmark 2
Japan Advanced Institute of Science and Technology 2
Universidad Politecnica de Valencia 2
National Chiao Tung University Taiwan 2
Universidad de Chile 2
University of Zurich 2
University of Warsaw 2
Florida International University 2
University of Washington 2
Queen's University, Kingston 2
Academia Sinica Taiwan 2
De Montfort University 2
National Tsing Hua University 2
Xerox Corporation 2
University of Bern 2
Royal Holloway University of London 2
University of Coimbra 2
Queen Mary, University of London 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
Osaka University 2
University of Ferrara 2
Swiss Federal Institute of Technology, Zurich 2
University of Udine 2
Alcatel-Lucent 2
Gustavus Adolphus College 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
Stevens Institute of Technology 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig Maximilian University of Munich 2
University of Southern California 2
University of Minnesota Twin Cities 2
University of Bergen 2
Queen's University Belfast 2
Universite de Versailles Saint-Quentin-en-Yvelines 2
University of Bath 2
Ecole des Mines de Paris 2
Syracuse University 2
Universite de Rennes 1 2
Naval Postgraduate School 2
University of New Mexico 2
University of Leicester 2
Colorado Technical University 2
Research Institute for Advanced Computer Science 2
GrammaTech, Inc 2
Madrid Institute for Advanced Studies 2
Indian Institute of Technology 2
Max Planck Institute for Informatics 3
University of Munster 3
Florida State University 3
Victoria University of Wellington 3
Max Planck Institute for Software Systems 3
University of Illinois 3
Hebrew University of Jerusalem 3
Australian National University 3
University of Groningen 3
University of Catania 3
University of Kent 3
Kyoto University 3
Technical University of Darmstadt 3
BRICS Basic Research in Computer Science 3
University of Oregon 3
University of Kiel 3
MITRE Corporation 3
Loyola University Maryland 3
Michigan Technological University 3
RWTH Aachen University 3
University of Sussex 3
Weizmann Institute of Science Israel 3
Simon Fraser University 3
University of Science and Technology of China 3
Heriot-Watt University 3
University of Canterbury 3
The University of Warwick 3
Telcordia Technologies, Inc. 3
Universidad de A Coruna 3
University of Freiburg 3
Microsoft 3
Siemens AG 3
University of Chicago 3
University of California, Riverside 3
Federal University of Minas Gerais 3
University of California, San Diego 3
Tata Institute of Fundamental Research 3
Pontifical Catholic University of Rio de Janeiro 3
University of London 3
DoCoMo USA Labs. 3
Toyota Technological Institute at Chicago 3
Siemens USA 3
Academic College of Tel-Aviv - Yaffo 3
Microsoft Research India 3
Kansas State University 4
Universidad Carlos III de Madrid 4
New Mexico State University Las Cruces 4
MIT Computer Science and Artificial Intelligence Laboratory</