ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and... (more)

Compiler-Driven Software Speculation for Thread-Level Parallelism

Current parallelizing compilers can tackle applications exercising regular access patterns on arrays or affine indices, where data dependencies can be... (more)

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only... (more)

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation

Tracing just-in-time compilation is a popular compilation technique for the efficient implementation of dynamic languages, which is commonly used for... (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

ThisType for Object-Oriented Languages: From Theory to Practice

Static backward slicing of non-deterministic programs and systems

Thinking Inside the Box: Compartmentalized Garbage Collection

Analyzing Runtime and Size Complexity of Integer Programs

We present a modular approach to automatic complexity analysis of integer programs. Based on a novel alternation between finding symbolic time bounds for program parts and using these to infer bounds on the sizes of program variables, we restrict each analysis step to a small program part while maintaining a high level of precision. We extend our approach to arbitrary cost measures, allowing our technique to find upper bounds for other resources, such as network requests. Our contributions are implemented in the open source tool KoAT, and extensive experiments show the power of our implementation in comparison with other tools.

A Practical Approach for Model Checking C/C++11 Code

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

We put a pre-existing abstract-machine for dynamic-delimited-continuations in defunctionalized-form, we prove this adjustment correct, and we present its consequences. Because it is in defunctionalized-form, we can refunctionalize the adjusted abstract-machine into an evaluation-function, which is compositional. It is in continuation+state-passing-style and threads a trail of delimited-continuations and a meta-continuation. We present the corresponding transformation into `dynamic-CPS'. We show that the induced notion of computation takes the form of a continuation-monad with a recursive-answer-type and we present a new simulation of dynamic-delimited-continuations in terms of static ones as well as new applications of dynamic-delimited-continuations.

The Design and Formalization of Mezzo, a Permission-Based Programming Language

The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We present the language at large, via an introduction along with some motivating examples. We then present a modular formalization of Mezzos core type system, in the form of a concurrent »-calculus, which we extend with references and locks. We prove that well-typed programs do not go wrong and are data-race free. Our definitions and proofs are machine-checked.

Automatic Storage Optimization for Arrays

Bibliometrics

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

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