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