ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Affine Refinement Types for Secure Distributed Programming

Recent research has shown that it is possible to leverage general-purpose theorem-proving techniques to develop powerful type systems for the... (more)

Polyhedral AST Generation Is More Than Scanning Polyhedra

Abstract mathematical representations such as integer polyhedra have been shown to be useful to precisely analyze computational kernels and to express... (more)

Behavioral Subtyping, Specification Inheritance, and Modular Reasoning

Verification of a dynamically dispatched method call, E.m(), seems to depend on E’s dynamic type. To avoid case analysis and allow incremental... (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

A Logical Approach To Deciding Semantic Subtyping

Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic

This paper examines the formal specification and verification of custom synchronisation constructs. Our target is a library of channels used in automated parallelization to enforce sequential behaviour between program statements. Our high-level specification captures the conditions necessary for correct execution. We connect the high-level specification with the low-level library implementation, to prove that a client's requirements are satisfied without breaking abstraction boundaries. Our results are based on a program logic called iCAP which supports both high-level abstraction and low-level reasoning about races. We show that our high-level channel specification abstracts three different, increasingly complex low-level implementations of the library.

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

Fast: a Transducer-Based Language for Tree Manipulation

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

Bibliometrics

Publication Years 1979-2015
Publication Count 1015
Citation Count 29143
Available for Download 1015
Downloads (6 weeks) 3736
Downloads (12 Months) 33960
Downloads (cumulative) 647592
Average downloads per article 638
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)
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 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 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)
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)
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 A 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 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)
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)
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)
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)

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

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