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