ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

MCALIB

Runtime analysis provides an effective method for measuring the sensitivity of programs to rounding errors. To date, implementations have required significant changes to source code, detracting from their widespread application. In this work, we present an open source system that automates the quantitative analysis of floating point rounding errors through the use of C-based source-to-source compilation and a Monte Carlo arithmetic library. We demonstrate its application to the comparison of algorithms, detection of catastrophic cancellation, and determination of whether single precision... (more)

Secure Compilation to Protected Module Architectures

A fully abstract compiler prevents security features of the source language from being bypassed by an attacker operating at the target language level. Unfortunately, developing fully abstract compilers is very complex, and it is even more so when the target language is an untyped assembly language. To provide a fully abstract compiler that targets untyped assembly, it has been suggested to extend the target language with a protected module architecture—an assembly-level isolation mechanism which can be found in next-generation processors. This article provides a fully abstract... (more)

Verification of a Cryptographic Primitive

This article presents a full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic. Verifiable C is a separation logic for the C language, proved sound with respect to the operational semantics for C, connected to the CompCert verified optimizing C compiler.

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

An Extension of ATL With Strategy Interaction

We extend ATL (alternating-time temporal logic), called BSIL (basic strategy-interaction logic), for specifying collaboration among agents in a multi-agent system. We show that BSIL is strictly more expressive than ATL+, but incomparable with ATL*, GL (game logic), and AMC (alternating mu-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-checking can be performed in time quadratic in the model for fixed formulas. The BSIL (and hence ATL+) satisfiability is 2-EXPTIME complete. Finally, we report our experiment with a model-checker for BSIL.

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning

The Design and Implementation of a Verification Technique for GPU Kernels

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

Data races are one of the main causes of concurrency problems in multi-threaded 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 todays code has many races [Kasikci et al. 2012; Jin et al. 2012; John Erickson and Olynyk 2010], and fixing 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, in order to prioritize their resolution.

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

Bibliometrics

Publication Years 1979-2015
Publication Count 1009
Citation Count 28859
Available for Download 1009
Downloads (6 weeks) 4376
Downloads (12 Months) 36105
Downloads (cumulative) 639643
Average downloads per article 634
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 Michael 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 C 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 S 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
Ernest Emerson 5
Rajeev Alur 5
Craig Chambers 5
Martin Rinard 5
Todd Millstein 5
Alex Aiken 5
Maurice Bruynooghe 5
Andrew Gordon 5
Maurice Herlihy 4
Dhananjay Dhamdhere 4
Alan Demers 4
Michael Burke 4
Frank Tip 4
Paul Klint 4
Tim Teitelbaum 4
Raymond Boute 4
Jeffrey Foster 4
Anne Rogers 4
Greg Morrisett 4
Vugranam Sreedhar 4
Jongdeok Choi 4
Thomas Henzinger 4
Davide Sangiorgi 4
Manfred Broy 4
Bjorn De Sutter 4
Keith Cooper 4
Giuseppe Castagna 4
Rajiv Gupta 4
Orna Grumberg 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
Jeannette Wing 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
Guy Blelloch 4
Toshio Nakatani 4
John Hennessy 4
K Chandy 3
Ralph Griswold 3
Fausto Spoto 3
Richard Waters 3
Roberto Giacobazzi 3
Linda Torczon 3
Frank Mueller 3
Peter Thiemann 3
Yoav Zibin 3
Laurie Hendren 3
Christian Schulte 3
Hideaki Komatsu 3
Norman Cohen 3
Harald Søndergaard 3
Ferruccio Damiani 3
Jacques Cohen 3
Abhik Roychoudhury 3
Arvind 3
Barbara Ryder 3
Scott Stoller 3
Joseph Gil 3
Jens Krinke 3
Joseph Morris 3
Robert Constable 3
Mitchell Wand 3
Prithviraj Banerjee 3
Yanhong Liu 3
Helmut Seidl 3
David Hanson 3
Valery Trifonov 3
Gilles Barthe 3
Richard Holt 3
Fred Mesnard 3
Daniel Berry 3
David Walker 3
Amir Ben-Amram 3
Gregory Andrews 3
Jørgen Steensgaard-Madsen 3
John Mitchell 3
Fred Krogh 3
Paul Attie 3
Philip Wadler 3
Atsushi Igarashi 3
Aravinda Sistla 3
Sophia Drossopoulou 3
Stephen Freund 3
Thomas Ball 3
Somesh Jha 3
Gordon Plotkin 3
Thomas Groß 3
Uday Khedker 3
Santosh Pande 3
Jack Davidson 3
Gary Peterson 3
M Sleep 3
Jack Wileden 3
Atsushi Ohori 3
François Pottier 3
George Necula 3
David Gries 3
William Weihl 3
Matthew Hennessy 3
Matthias Blume 3
Robert Harper 3
Daniel Rosenkrantz 3
Lars Birkedal 3
Reinhard Wilhelm 3
Karthikeyan Bhargavan 3
Mark Harman 3
Yongfong Lee 3
Shaula Yemini 3
Lori Pollock 3
Bernhard Steffen 3
Tachio Terauchi 2
Michael Smith 2
Massimiliano Poletto 2
Ephraim Korach 2
Ceriel Jacobs 2
David Ungar 2
Kwangkeun Yi 2
Stephen Blackburn 2
Jan Rekers 2
Daniel Yellin 2
Sandro Etalle 2
Coimbatore Ramakrishnan 2
Moreno Falaschi 2
Shlomit Pinter 2
Steve Carr 2
Patrice Godefroid 2
Roberto Amadio 2
Enrico Pontelli 2
Peter Lee 2
Sergio Maffeis 2
Pierpaolo Degano 2
Xavier Leroy 2
Xavier Vera 2
Shaz Qadeer 2
Tamara Rezk 2
Michael Mehl 2
Haruo Hosoya 2
Toshiaki Yasue 2
Rudolf Eigenmann 2
Radu Rugina 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
Larry Rudolph 2
Robert Dewar 2
Shingtsaan Huang 2
Étienne Payet 2
F Burton 2
Roland Yap 2
Frank Zadeck 2
Maurizio Gabbrielli 2
Peter Sewell 2
Paola Giannini 2
Stefan Freudenberger 2
Sanjay Rajopadhye 2
Konstantinos Sagonas 2
Maria García De La Banda 2
Gary Leavens 2
Krishna Palem 2
David Padua 2
Hans Boehm 2
William Winsborough 2
Martin Feather 2
Peter Breuer 2
Laura Dillon 2
Andreas Podelski 2
Boris Lubachevsky 2
John Boyland 2
Pierre Ganty 2
Pierre Wolper 2
Carroll Morgan 2
David Whalley 2
David Wortman 2
Karl Crary 2
Marc Snir 2
Lawrence Paulson 2
Anders Møller 2
Peichi Wu 2
Matthew Hertz 2
Mark Wegman 2
Westley Weimer 2
Ian Foster 2
Mahadevan Ganapathi 2
John Williams 2
Henri Bal 2
George Avrunin 2
Susan Graham 2
Kwangmoo Choe 2
Kohei Honda 2
Christian Collberg 2
Robert Strom 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
Jonathan Aldrich 2
Motohiro Kawahito 2
César Kunz 2
Niklaus Wirth 2
Toshio Suganuma 2
Franco Turini 2
Jens Knoop 2
John Ashley 2
Dan Grossman 2
Antonio González 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
Gerda Janssens 2
Andrew Wright 2
Frank Piessens 2
David Wonnacott 2
Scott Nettles 2
Timothy Hickey 2
Anne Mulkers 2
Flemming Nielson 2
Eljas Soisalon-Soininen 2
Gregor Snelting 2
Hongseok Yang 2
Saman Amarasinghe 2
Nobuko Yoshida 2
Jan Vitek 2
Eran Yahav 2
Constantine Polychronopoulos 2
Ronald Morrison 2
Neil Jones 2
Elliot Kolodner 2
Koen De Bosschere 2
Umut Acar 2
Samir Genaim 2
Elena Zucca 2
Amr Sabry 2
Edmond Schonberg 2
Markus Müller-Olm 2
Steve Zdancewic 2
Samuel Midkiff 2
Manish Gupta 2
Chinsoon Lee 2
Yehuda Afek 2
Eli Gafni 2
Steve Tjiang 2
Martin Hirzel 2
Ron Cytron 2
Sriram Rajamani 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
Arthur Charlesworth 2
Nicolas Gold 2
Antonio Brogi 2
Catuscia Palamidessi 2
Bart Jacobs 2
Peter Pepper 2
Monica Lam 2
David Turner 2
Gérard Boudol 2
Robert Schreiber 2
Peter Van Roy 2
Karl Lieberherr 2
David Pichardie 2
Dominic Duggan 2
Junghee Lim 2
Daniel Le Métayer 2
Simon Peyton-Jones 2
Adam Buchsbaum 2
Michael Schwartzbach 2
Joseph Bates 2
Gregg Townsend 2
Roland Backhouse 2
David Long 2
Michael Hind 2
Carlo Ghezzi 2
Noah Torp-Smith 2
John Reynolds 2
Martin Odersky 2
Ralf Scheidhauer 2
Seif Haridi 2
Fred Chow 2
David Luckham 2
Christos Dimoulas 2
Daniel Marino 2
K Leino 2
Luc Moreau 2
Philip Bernstein 2
Alan Carle 2
Scott Smith 2
Pascal Fradet 2
Michael Wolfe 2
Maria De La Banda 2
Carl Landwehr 2
Soomook Moon 2
Pedro Diniz 2
Olivier Danvy 2
Gary Lindstrom 2
Anindya Banerjee 2
Richard Gerber 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
Michael Merritt 2
Rajive Bagrodia 2
David Wall 2
I Ramakrishnan 2
Gopal Gupta 2
Walter Tichy 2
Vincent Simonet 2
Mihalis Yannakakis 2
Patrick Lam 1
Peng Tu 1
Noah Prywes 1
Derek Oppen 1
Allen Leung 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
James Noble 1
Zhiming Liu 1
Manuel Serrano 1
James Mcgraw 1
Christoph Hoffmann 1
Peter Buhr 1
Natividad Madrid 1
Carlos Delgado 1
Jon Mauney 1
Sven Verdoolaege 1
Chris Laffra 1
George Milne 1
Scott Mcpeak 1
Jeremy Condit 1
Keith Gallagher 1
M Anicona 1
Éric Tanter 1
Alexander Kaiser 1
Michael Benedikt 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
Prakash Panangaden 1
Richard Conway 1
PerngTi Ma 1
Rick Cattell 1
Dhruva Chakrabarti 1
Michael Butler 1
Adrian Fiech 1
Jacob Katzenelson 1
Munagala Ramanath 1
Ori Ben-Yitzhak 1
Richard Jones 1
IkSoon Kim 1
Tom Rothamel 1
Ninghui Li 1
Brian Murphy 1
Andrey Rybalchenko 1
Michael Greenwald 1
Asumu Takikawa 1
Mariangiola Dezani-Ciancaglini 1
Richard Beach 1
Robert Müller 1
R Sekar 1
David Gifford 1
Andrew Black 1
Oscar Nierstrasz 1
Oliver Rüthing 1
Michael Isard 1
T Vijaykumar 1
Eshrat Arjomandi 1
Konstantin Läufer 1
Jonas Skeppstedt 1
Steven Skiena 1
Nicholas Haines 1
Darrell Kindred 1
Jon Solworth 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
Yihkuen Tsay 1
Sudhir Aggarwal 1
Jared Darlington 1
Shanghua Teng 1
Michael Gerlek 1
Carole Delporte-Gallet 1
Joe Warren 1
Annabelle McIver 1
Đurica Nikolić 1
Rob Gerth 1
Daegon Kim 1
Donald Porter 1
Lorenzo De Carli 1
Aloysius Mok 1
Michael Tautschnig 1
Robert Nix 1
Malcolm Atkinson 1
Julia Lawall 1
Thomas Pennello 1
Frank DeRemer 1
Hendrik Boom: 1
William Mallgren 1
Shay Kutten 1
David Parnas 1
Fritz Henglein 1
Theodore Baker 1
Charles McDowell 1
Fer De Vries 1
Lawrence Crowl 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
Clark Thomborson 1
R McKeag 1
David Gregg 1
Yonghong Song 1
Mohammad Haghighat 1
Marty Ossefort 1
Jürgen Börstler 1
David Bacon 1
Jakob Rehof 1
Wim Hesselink 1
Mohamed Gouda 1
Rajiv Joshi 1
Robert Johnson 1
S Ramesh 1
Jaydeep Marathe 1
Johan Janssen 1
Tobias Nipkow 1
Stefaan Decorte 1
Jay Ramanathan 1
David, Wise 1
Bodil Biering 1
Venkatesh Ranganath 1
Lorraine de Vere 1
Hanbok Lee 1
Gian Ferrari 1
William Jalby 1
Christine Fricker 1
Mic Bowman 1
Stijn Vansummeren 1
Peter Schneider-Kamp 1
Shanshan Huang 1
Yannis Smaragdakis 1
Patrick O'Keefe 1
Paul Kelly 1
Amey Karkare 1
José Amaral 1
Tom Hirschowitz 1
Cliff Click 1
Dawson Engler 1
Charles Wetherell 1
Gudjon Gudjonsson 1
Orna Kupferman 1
Stefano Bistarelli 1
Evan Tick 1
Hongjin Liang 1
Ming Fu 1
Manuel Mohr 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
Trevor Jim 1
M Morgavi 1
Tushar Sharma 1
Efe Yardimci 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
Radha Jagadeesan 1
Zheng Li 1
Shaye Koenig 1
Maborobert Ito 1
Peter Wallis 1
Santiago Zanella Béguelin 1
Paweł Wojciechowski 1
Asis Unyapoth 1
Radu Grosu 1
Michela Milano 1
Irit Goft 1
Nikolaos Papaspyrou 1
Ronald Garcia 1
J Foster 1
Naftaly Minsky 1
Neelam Soundararajan 1
Bruno Mojana 1
Paul Lowney 1
Mihai Christodorescu 1
Chang Li 1
Brent Hailpern 1
Marcel Beemster 1
Valentin Turchin 1
Veroniek Dumortier 1
Robert Netzer 1
Eelco Visser 1
Runyao Duan 1
A Dubuque 1
Vance Waddle 1
Gang Tan 1
Thomas Leblanc 1
Andrew MacDonald 1
Doron Rotem 1
Takuya Katayama 1
Ravi Sethi 1
Tadao Murata 1
Lubomir Bic 1
Bob Johnson 1
Thomas Wolf 1
Maurício Serrano 1
Silvia Crafa 1
M Hull 1
Debasish Banerjee 1
Elena Marchiori 1
J Routeau 1
Jean Banâtre 1
Stavros Tripakis 1
Ben Lickly 1
Salvatore Ruggieri 1
Hanspeter Mössenböck 1
Dale Grit 1
Albert Wang 1
Martin Wirsing 1
Eric Amiel 1
Kevin Hammond 1
Steven Kurlander 1
Jade Alglave 1
Luc Maranget 1
Jacobo Valdes 1
Robert Giegerich 1
Shlomo Moran 1
Shmuel Katz 1
Harish Patil 1
Jan Klop 1
Andrew Kelly 1
John Reif 1
Uwe Aßmann 1
Kai Shen 1
Helmut Richter 1
Nachum Dershowitz 1
David Jefferson 1
Richard Kennaway 1
Eric Juan 1
Vincent Partington 1
Sergei Gorlatch 1
C Chang 1
Patrick Eugster 1
Kenneth Birman 1
Michael Reiter 1
Preston Briggs 1
F Kurki-Suonio 1
Ed Anson 1
Tomoyuki Higuchi 1
Maria Meo 1
Sabine Glesner 1
Ulrich Kremer 1
Thomas Murtagh 1
George Porter 1
Arthur Sorkin 1
Brad Nemanich 1
Zhiyuan Li 1
Alfred Brown 1
Richard Connor 1
J Moore 1
José Llabería 1
Lin Yu 1
Valmir Barbosa 1
David Fuchs 1
Justin Maris 1
Tingjian Ge 1
Rajiv Mirani 1
Andy Yoo 1
Olivier Tardieu 1
Rudrapatna Shyamasundar 1
Nagaraj Shenoy 1
Piero Mussio 1
Ajay Chander 1
Matthew Dwyer 1
Corey Yeatman 1
Gregor Bochmann 1
Laurent Mauborgne 1
Stephan Swiderski 1
Peter O'Hearn 1
Jacob Matthews 1
Jonathan Schaeffer 1
François Pessaux 1
Raúl Silvera 1
Manuel Arenaz 1
Ramón Doallo 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
Eberhard Bertsch 1
Raymie Stata 1
John Ellis 1
John Derrick 1
Mark Van Den Brand 1
Stephen Taylor 1
Donald Knuth 1
Bernard Moret 1
Simon Helsen 1
Iulian Neamtiu 1
Mads Olesen 1
Phil Stocks 1
Steve Gregory 1
John Kodumal 1
Sally Mckee 1
Robert Gallager 1
Adrian Johnstone 1
Gerwin Klein 1
Nayeem Islam 1
Michael Sperber 1
José Moreira 1
Jinpyo Park 1
Hussein Zedan 1
Xipeng Shen 1
Larry Peterson 1
Jonathan Leivent 1
Dexter Kozen 1
Gianfranco Bilardi 1
Jürgen Giesl 1
Brian Grant 1
Duane Szafron 1
Amitabha Sanyal 1
Daniel Schuh 1
G Venkatesh 1
Martin Carlisle 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
Doug Orleans 1
Ganesan Ramalingam 1
Parthasarathy Madhusudan 1
Mark Korsloot 1
Paulo Marques 1
Michael O'Donnell 1
Heike Wehrheim 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
Paolo Ciancarini 1
Andrea Flexeder 1
Albert Greenberg 1
Dirk Grunwald 1
Cinzia Bernardeschi 1
Paolo Masci 1
Alan Finlay 1
David Lacey 1
Tomáš Poch 1
Robert Sebesta 1
Charles Shub 1
Tim Sheard 1
Douglas Comer 1
David Harel 1
Weingan Chin 1
Cun Xiao 1
Francesca Levi 1
Eugen Schenfeld 1
Eric Walkingshaw 1
Sungwoo Park 1
Mark Moriconi 1
Robert Hagmann 1
Johannes Heuft 1
Stefano Mannucci 1
Mayur Naik 1
James Cheney 1
Christian Urban 1
Seonwook Kim 1
Paul Carini 1
Noam Rinetzky 1
Daniel Dantas 1
Stephanie Weirich 1
Daniel Siewiorek 1
Jonathan Bowen 1
Per Stenström 1
Karoline Malmkjær 1
Rodney Oldehoeft 1
Lennart Kats 1
Khayri Ali 1
Gangryung Uh 1
Antonio Ruiz 1
Miguel Toro 1
David Streeter 1
Ilan Bar-On 1
Christopher Hayden 1
Thomas Wahl 1
Matt Elder 1
Izidor Gertner 1
Calton Pu 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
Robert Paige 1
Susan Owicki 1
Arthur Bernstein 1
Ted Lewis 1
Ahmed Bouajjani 1
Christos, Papadimitriou 1
Ajit Pai 1
Richard Waldinger 1
Kim Bruce 1
Jeff Sanders 1
Peter Dickman 1
Alan Schmitt 1
Gilles Barthe 1
Dwight Hare 1
Hans Leiß 1
Michael Georgeff 1
Daniel Jackson 1
Rémi Douence 1
Dino Pedreschi 1
Gerald Fisher 1
Hang Pham 1
Tim Brecht 1
Margaret Martonosi 1
Bern Martens 1
Joseph Skudlarek 1
Barry Rosen 1
Susi Dulli 1
Nicoletta Cocco 1
Hugues Fauconnier 1
Srinivas Devadas 1
David Lamb 1
Eric Simon 1
Diogo Sampaio 1
Dennis Dams 1
Xing Wu 1
Michael Sartin-Tarm 1
Karthikeyan Sankaralingam 1
Jorge Navas 1
Stephen Masticola 1
Thomas Marlowe 1
Steven Pemberton 1
Harald Ganzinger 1
Jesse Wright 1
Paweł Urzyczyn: 1
Jerzy Tiuryn 1
James Thatcher 1
Rob Van Nieuwpoort 1
Richard Karp 1
Manfred Stadel 1
Robert Schwanke 1
Urs Hölzle 1
Nicola Santoro 1
Alexandru Nicolau 1
Jacques Loeckx 1
Harry Hunt 1
Daniel Friedman 1
Aske Christensen 1
Niels Christensen 1
Bruno Blanchet 1
Mikkel Thorup 1
Tao Wang 1
Luigi Liquori 1
Daniel Cooke 1
Barak Pearlmutter 1
Anders Ravn 1
John Clements 1
Mordechai Ben-Ari 1
Bernard Carré 1
Wolf Zimmermann 1
Mani Chandy 1
David Monniaux 1
John Morrisett 1
Yuan Feng 1
Mingsheng Ying 1
Otto Juelich 1
Stan Liao 1
John Žic 1
Rafael De Souza 1
Patrick Sansom 1
Christian Hammer 1
Behnam Robatmili 1
Andrea Ribichini 1
Richard Kelsey 1
Richard Lipton 1
Nikolas Gloy 1
Geoffrey Clemm 1
Amal Ahmed 1
Cong Fu 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
Timothy Budd 1
Kevin Casey 1
M Ertl 1
Vijay Nagarajan 1
Adrienne Bloss 1
Alon Lavie 1
J Rushton 1
Jeffrey Siskind 1
William Appelbe 1
C Jay 1
Richard Schlichting 1
Ben Sijtsma 1
Amitabh Srivastava 1
Germán Vidal 1
Alan Dearle 1
Wuxu Peng 1
Scott Smolka 1
Scott Hudson 1
Marta Jiménez 1
Sebastian Unger 1
Ron Pinter 1
Denise Ombres 1
Chauwen Tseng 1
Alfred Aho 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
Butler Lampson 1
Sukumar Ghosh 1
Kemal Ebcioğlu 1
Elizabeth Scott 1
Richard Carlsson 1
Jagannathan Ramanujam 1
Maria Costabile 1
SsuCheng Liu 1
Robert Tarjan 1
Edward Robertson 1
Torben Amtoft 1
John Hatcliff 1
Bruce McKenzie 1
Germán Puebla 1
N Raja 1
Olivier Temam 1
Mary Fernández 1
Ambuj Singh 1
Susan Eggers 1
Shimin Cui 1
Siaucheng Khoo 1
Bruno De Bus 1
Yunheung Paek 1
Jason Ryder 1
Roberto Ierusalimschy 1
James Cordy 1
Zhengqin Luo 1
Eric Bodden 1
Robert Kennedy 1
Yuhjzer Joung 1
Rishiyur Nikhil 1
Norman Foo 1
Cliff Jones 1
Aaron Keen 1
R Gonzalez 1
William Ogden 1
George Ernst 1
Christopher Dutchyn 1
Nick Benton 1
Ludo Van Put 1
Hideya Iwasaki 1
Zhenjiang Hu 1
Robert Keller 1
Daniel Von Dincklage 1
Evelyn Duesterwald 1
Ting Yu 1
Peter Henderson 1
Carla Piazza 1
Agostino Dovier 1
Jesper Wilhelmsson 1
Yinnon Haviv 1
Martin Ward 1
Chen Ding 1
Roberto Zunino 1
Huimin Lin 1
Gordon Cormack 1
Manhoi Choy 1
Curtis Clifton 1
Barbara Simons 1
Steve MacDonald 1
Kai Tan 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
Amir S. Shastry 1
Peter Welch 1
Tulika Mitra 1
Bhargav Gulavani 1
Supratik Chakraborty 1
Jan Pachl 1
Shane Markstrum 1
Baudouin Charlier 1
Richard Bird 1
Hans Van Staveren 1
Ashif Harji 1
Arne Glenstrup 1
Ernst Olderog 1
James Riely 1
Mario Südholt 1
Peter Sweeney 1
Gael Buckley 1
B Maher 1
Carsten Gomard 1
Yossi Levanoni 1
Roger Wolff 1
Tycho Andersen 1
Benjamin Grégoire 1
Godmar Back 1
Xiangyu Zhang 1
Youtao Zhang 1
David Bernstein 1
Patrick Lincoln 1
Robert Boyer 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
Zena Ariola 1
Rajeev Barua 1
Robert Shostak 1
Marshall Pease 1
Daniel Zlatin 1
James Archer 1
Robert Van Gent 1
Cristina Cifuentes 1
Rolf Bahlke 1
Clinton Jeffery 1
Vivy Suhendra 1
Thomas Sager 1
Frederick Smith 1
Bertrand Jeannet 1
Joshua Sunshine 1
Alcides Fonseca 1
Delphine Demange 1
Mathai Joseph 1
Mark Nederhof 1
Girija Narlikar 1
Johan Stevenson 1
Andrew Tanenbaum 1
Martin Sulzmann 1
Paul Havlak 1
Andres Marin 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
Vittoria Gianuzzi 1
Edward Smith 1
Daniel Kroening 1
Luca Padovani 1
Kousha Etessami 1
Yichen Xie 1
Bowen Alpern 1
Allan Borodin 1
Werner Dietl 1
Peter Müller 1
Michael Petter 1
Sapan Bhatia 1
Alban Douillet 1
Paul Hilfinger 1
Francesco Ranzato 1
Brad Calder 1
Jisheng Zhao 1
Jan Smans 1
Joachim Parrow 1
Geoffrey Brown 1
Yifeng Chen 1
Angelo Morzenti 1
Spiro Michaylov 1
Sheng Chen 1
Sven Stork 1
Karl Naden 1
Paola Mello 1
Clemens Szyperski 1
Livio Colussi 1
Boris Köpf 1
Federico Olmedo 1
Polle Zellweger 1
Jun Lang 1
David Stewart 1
Andrew Birrell 1
Mirko Viroli 1
Mila Preda 1
Sharad Malik 1
Hanne Nielson 1
Wim Simoens 1
Abu Masud 1
Maartje De Jonge 1
Emma Söderberg 1
T Dinesh 1
Bent Kristensen 1
Gogul Balakrishnan 1
Marc Brandis 1
Bernadette Charron-Bost 1
Paul Reynolds, 1
Farn Wang 1
Julian Dolby 1
Peter Schachte 1
Cristian Estan 1
Jin Yang 1
Michelle Strout 1
Camil Demetrescu 1
Henry Cejtin 1
Gustavo Petri 1
Wim Böhm 1
Robert Sedgewick 1
Stephen North 1
Eliezer Dekel 1
Richard Demillo 1
Cliff Young 1
Micha Shirar 1
Elia Weixelbaum 1
Leon Osterweil 1
Sara Kalvala 1
Ittai Balaban 1
Edward Lycklama 1
Deepak Garg 1
Mike Dodds 1
Angela Schuett 1
Martin Erwig 1
Katherine Barabash 1
Victor Leikehman 1
Mary Hall 1
David Gudeman 1
Frank Jackson 1
Daniel Swinehart 1
Lori Clarke 1
Alexander Wolf 1
James Stamos 1
Roel Wuyts 1
Nathanael Schärli 1
Stéphane Ducasse 1
Paolo Mancarella 1
Udi Manber 1
Raphael Finkel 1
Josephine Micallef 1
Denis Caromel 1
Nengfa Zhou 1
A Böhm 1
Barton Miller 1
Frank De Boer 1
Clinton Foulk 1
C Mohan 1
Peter Wallis 1
Edward Wimmers 1
Stefan Sokolowski 1
Scott Carson 1
Cordelia Hall 1
John Hauser 1
Sylvain Collange 1
Fernando Pereira 1
Jan Smans 1
Michael Bond 1
Indrajit Roy 1
Tony Nowatzki 1
David Sands 1
Min Aung 1
Richard Joiner 1
Sergiu Hart 1
Kedar Swadi 1
Bijan Arbab 1
Zhenyu Qian 1
Katsuro Inoue 1
Larry Jones 1
Andrea Schaerf 1
Lawrence Snyder 1
Stephen Michell 1
Sunae Seo 1
William Thies 1
Frédéric Vivien 1
Sven Apel 1
DeLesley Hutchins 1
Nikolay Mateev 1
David Gelernter 1
Danny Dolev 1
Alessandro Pellegrini 1
David Garlan 1
Saniya Ben Hassen 1
Jean Bergeretti 1
Douglas Dunlop 1
Mads Tofte 1
R Dybvig 1
Pieter Olivier 1
Barbara Lerner 1
Colin Bleckner 1
Harel Paz 1
Gareth Stoyle 1
Gavin Bierman 1
Masato Takechi 1
Joylyn Reed 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
William Evans 1
Yutao Zhong 1
Massimo Bartoletti 1
Milind Girkar 1
Chris Hankin 1
Peizong Lee 1
Adam Webber 1
Abha Moitra 1
Robert Scheifler 1
John Ramsdell 1
William Farmer 1
Daniel Wang 1
J Kennaway 1
Jonathan Young 1
Paul Spirakis 1
Hong Tang 1
Hikaru Yagi 1
David Mcallester 1
Jeffrey Tsai 1
Gilles Muller 1
Andy Wellings 1
Vijay Menon 1
Anish Arora 1
Patricia Hill 1
Joseph Park 1
Pamela Zave 1
Bageshri Karkare 1
Christian Grothoff 1
Christoph Kirsch 1
Robert Watson 1
Richard Hobson 1
Tim Nicholson 1
Fred Templin 1
Oukseh Lee 1
S Puroshothaman 1
Agustín Fernández 1
M Thomason 1
Dereck Oppen 1
Gregor Kiczales 1
V Rajan 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
Mads Ager 1
Alok Choudhary 1
Henk Vandecasteele 1
Richard Sites 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
Kenneth Knowles 1
Matthew Esquivel 1
Chris Andreae 1
Yoav Ossia 1
Mats Carlsson 1
John Hannan 1
Gerhard Schellhorn 1
Erik Ernst 1
Minghui Yang 1
Steven Reiss 1
Dibyendu Das 1
U Ramakrishna 1
Olaf Chitil 1
Mark Linton 1
Eugene Meyers 1
Nancy Lynch 1
Michael Fischer 1
Simon S Lam 1
William Howden 1
Gilberto Filé 1
Paul Steckler 1
Vincent Russo 1
Jun Shirako 1
Stefan Staiger-Stohr 1
Frank Pfenning 1
David Stoutamire 1
Rance Cleaveland 1
Hakjoo Oh 1
Kihong Heo 1
Jeehoon Kang 1
Matko Botinčan 1
Paolo Sipala 1
Arie Kaufman 1
Wolfgang Polak 1
Thomas Lengauer 1
Shlomi Dolev 1
Richard Brent 1
Naiwei Lin 1
Charles Clarke 1
Jesper Bengtson 1
Matthias Raffelsieper 1
Matthai Philipose 1
Peng Zhao 1
Laurence Tratt 1
Roland Ducournau 1
Jaume Abella 1
Jay Hoeflinger 1
Zvi Kedem 1
Serdar Taşiran 1
Michael Carey 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
Sun Chan 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
Xinyu Feng 1
M Williams 1
Avi Owshanko 1
Martin Hofmann 1
Rafael Corchuelo 1
Maria Gini 1
Giuseppina Gini 1
François Irigoin 1
Gabriella Dodero 1
Russell Quong 1
Karla Saur 1
Nils Gesbert 1
Roger Nasr 1
Michael Emmi 1
Richard Reitman 1
Prasun Dewan 1
Marco Gavanelli 1
Luís Fernández 1
Shihwei Liao 1
Jonathan Moore 1
T Strickland 1
Robert Winner 1
Massimo Merro 1
Craig Damon 1
Babak Falsafi 1
Somnath Ghosh 1
Geoffrey Washburn 1
Isabelle Attali 1
Hirofumi Hotta 1
Stefan Wehr 1
Costas Courcoubetis 1
Jurgen Vollmer 1
Geoffrey Smith 1
Lal George 1
Andreas Lochbihler 1
Nicholas Pippenger 1
Rupak Majumdar 1
Mandana Vaziri 1
Lakshminarayanan Renganarayanan 1
Graeme Gange 1
Vincent Laporte 1
Robert Halstead 1
Sartaj Sahni 1
Eric Wagner 1
J Bergeron 1
Assaf Kfoury 1
Christopher Richards 1
Gosia Wrzesińska 1
Ronan Sleep 1
Karl Drechsler 1
Loren Simpson 1
Christopher Vick 1
Seppo Sippu 1
Jacob Brunekreef 1
Tim Wagner 1
Ting Yang 1
Milenko Drinić 1
Hoi Vo 1
Webb Miller 1
Marina Lifshin 1
Robert Cartwright 1
Gerald Baumgartner 1
Benjamin Zorn 1
Giuseppe Lettieri 1
Wolfram Schulte 1
George Caragea 1
Daejun Park 1
Thomas Gawlitza 1
Robert Fuhrer 1
Vassos Hadzilacos 1
Syed Islam 1
David Arnold 1
Joxan Jaffar 1
James Purtilo 1
Evelina Lamma 1
Christian Skalka 1
Allan Gottlieb 1
Jennifer Widom 1
Sebastian Thrun 1
Stephan Murer 1
Christopher League 1
Christopher Spooner 1
Peter Dencker 1
Karl Durre 1
James Larus 1
Tim Harris 1
Grant Weddell 1
Chongliang Ooi 1
Tevfik Bultan 1
Philip Koopman 1
Sidi Ehmety 1
Steven Dawson 1
José Piquer 1
John Field 1
Rex Page 1
Edward Lee 1
Jean Larcheveque 1
John Gilbert 1
Bengt Jonsson 1
Eric Stoltz 1
Kurt Keutzer 1
Karl Ottenstein 1
Eric Dujardin 1
Karen Seidel 1
Taisook Han 1
Dennis Jeffrey 1
Josyularamachandra Rao 1
Arnaud Spiwack 1
Per Andersen 1
K Sankaranarayanan 1
Sathyanarayanan Thammanur 1
Victor Basili 1
K Kumar 1
María Alpuente 1
Gary Levin 1
Ulrich Moncke 1
Nir Shavit 1
Charles Krueger 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
Mahmut Kandemir 1
Arthur Grand 1
David Espinosa 1
Xavier Rival 1
Robert Muth 1
Jan Prins 1
David Warren 1
Seongsoo Hong 1
Darko Stefanović 1
René Thiemann 1
Markus Mock 1
Robert Findler 1
Yaoqing Gao 1
Juan Touriño 1
Joel Richardson 1
John Reppy 1
Alessandro Warth 1
John Greiner 1
Richard Hamlet 1
Emmett Witchel 1
Peter Stuckey 1
Irene Finocchi 1
Anthony Sloane 1
Jan Vitek 1
Arie De Bruin 1
Gopalakrishnan Vijayan 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
University of Sydney 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 4
Synopsys Incorporated 4
King's College London 4
Ca' Foscari University of Venice 4
University of California, Davis 4
University of Tennessee, Knoxville 4
University of Virginia 4
Dublin City University 4
Lawrence Livermore National Laboratory 4
INRIA Rocquencourt 4
Eindhoven University of Technology 4
University of Seville 4
International Computer Science Institute 4
Ecol