ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

A Simple, Possibly Correct LR Parser for C11

The syntax of the C programming language is described in the C11 standard by an ambiguous context-free grammar, accompanied with English prose that describes the concept of “scope” and indicates how certain ambiguous code fragments should be interpreted. Based on these elements, the problem of implementing a compliant C11 parser is... (more)

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

The Message Passing Interface (MPI) is the standard API for parallelization in high-performance and scientific computing. Communication deadlocks are... (more)

Sound Non-Statistical Clustering of Static Analysis Alarms

We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such... (more)

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform

Distributed actor languages are an effective means of constructing scalable reliable systems, and the Erlang programming language has a well-established and influential model. While the Erlang model conceptually provides reliable scalability, it has some inherent scalability limits and these force developers to depart from the model at scale. This article establishes the scalability limits of... (more)

SHErrLoc: A Static Holistic Error Locator

We introduce a general way to locate programmer mistakes that are detected by static analyses. The program analysis is expressed in a general constraint language that is powerful enough to model type checking, information flow analysis, dataflow analysis, and points-to analysis. Mistakes in program analysis result in unsatisfiable constraints.... (more)

NEWS

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
Bit-Precise Procedure-Modular Termination Analysis

We present a modular termination analysis for C programs using template-based interprocedural summari- sation. Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. Our experimental results show that our tool 2LS out- performs state-of-the-art alternatives, and demonstrate the clear advantage of interprocedural reasoning over monolithic analysis in terms of efficiency, while retaining comparable precision.

Adapting Static Analysis via Learning with Bayesian Optimization

Building a cost-effective static analyzer for real-world programs is still regarded an art. One key contributor to this grim reputation is the difficulty in balancing the cost and the precision of an analyzer. An ideal analyzer should be adaptive to a given analysis task, and avoid using techniques that unnecessarily improve precision and increase analysis cost. However, achieving this ideal is highly nontrivial, and it requires a large amount of engineering efforts. In this paper we present a new approach for building an adaptive static analyzer. In our approach, the analyzer includes a sophisticated parameterized strategy that decides, for each part of a given program, whether to apply a precision-improving technique to that part or not. We present a method for learning a good parameter for such a strategy from an existing codebase via Bayesian optimization. The learnt strategy is then used for new, unseen programs. Using our approach, we developed partially flow- and context-sensitive variants of a realistic C static analyzer. The experimental results demonstrate that using Bayesian optimization is crucial for learning from an existing codebase. Also, they show that among all program queries that require flow- or context-sensitivity, our partially flow- and context-sensitive analysis answers the 75% of them, while increasing the analysis cost only by 3.3x of the baseline flow- and context-insensitive analysis, rather than 40x or more of the fully sensitive version.

Bibliometrics

Publication Years 1979-2017
Publication Count 1049
Citation Count 32767
Available for Download 1049
Downloads (6 weeks) 3138
Downloads (12 Months) 24937
Downloads (cumulative) 701403
Average downloads per article 669
Average citations per article 31
First Name Last Name Award
Martin Abadi ACM Fellows (2008)
Alfred V Aho ACM Fellows (1996)
Alex Aiken ACM Fellows (2008)
Jonathan Aldrich ACM Senior Member (2009)
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)
Mordechai Ben-Ari ACM Distinguished Member (2009)
Philip A Bernstein ACM Fellows (2001)
Ken Birman ACM Fellows (1999)
Andrew Birrell ACM Software System Award (1994)
Stephen Blackburn ACM Fellows (2016)
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)
Michael G Burke ACM Distinguished Member (2007)
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)
Rick Cattell ACM Fellows (2012)
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 ACM 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)
James R Cordy ACM Distinguished Member (2008)
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 Senior Member (2016)
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 Athena Lecturer Award (2009)
ACM Fellows (2002)
John R. Ellis ACM Doctoral Dissertation Award (1985)
E. Allen Emerson ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Dawson Engler ACM Grace Murray Hopper Award (2008)
Michael D Ernst ACM Fellows (2014)
Michael D. Ernst ACM Doctoral Dissertation Award
Honorable Mention (2000) ACM Doctoral Dissertation Award
Honorable Mention (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)
Keith Brian Gallagher ACM Senior Member (2016)
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)
Mary Harrold ACM Fellows (2003)
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)
Antony (Tony) Hosking ACM Distinguished Member (2012)
ACM Senior Member (2008)
Paul Hudak ACM Fellows (2003)
Kenneth E. Iverson ACM A. M. Turing Award (1979)
Daniel Jackson ACM Fellows (2016)
Somesh Jha ACM Fellows (2016)
ACM Distinguished Member (2014)
Cliff B Jones ACM Fellows (1995)
Neil Jones ACM Fellows (1998)
Richard Jones ACM Distinguished Member (2006)
Mathai Joseph ACM Presidential Award (2010)
Frans Kaashoek ACM Prize in Computing (2010)
ACM Fellows (2004)
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)
ACM A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Dexter Kozen ACM Fellows (2003)
Monica Lam ACM Fellows (2007)
Simon Lam ACM Software System Award (2004)
ACM Fellows (1998)
Leslie Lamport ACM Fellows (2014)
ACM A. M. Turing Award (2013)
Butler W Lampson ACM Fellows (1994)
ACM A. M. Turing Award (1992)
ACM Software System Award (1984)
James Larus ACM Fellows (2006)
Peter Lee ACM Fellows (2004)
K. Rustan M. Leino ACM Fellows (2016)
Xavier Leroy ACM Fellows (2015)
Ondrej Lhotak ACM Senior Member (2013)
Ninghui Li ACM Distinguished Member (2012)
Richard Lipton ACM Fellows (1997)
Barbara Liskov ACM A. M. Turing Award (2008)
ACM Fellows (1996)
Paul G Lowney ACM Fellows (2008)
Nancy Lynch ACM 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)
Barton P Miller ACM Fellows (2001)
Robert C. Miller ACM Doctoral Dissertation Award
Honorable Mention (2002) ACM Doctoral Dissertation Award
Honorable Mention (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)
Andrew Clifford Myers ACM Fellows (2013)
Brad A Myers ACM Fellows (2005)
Toshio Nakatani ACM Distinguished Member (2007)
George Necula ACM Distinguished Member (2016)
ACM Grace Murray Hopper Award (2001)
Martin 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 Distinguished Service Award (2015)
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)
ACM A. M. Turing Award (1996)
Lori L. Pollock ACM Distinguished Member (2010)
Sriram Rajamani ACM Fellows (2015)
Ganesan Ramalingam ACM Fellows (2016)
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)
Indrajit Roy ACM Senior Member (2015)
Barbara Gershon 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)
Barbara B Simons Outstanding Contribution to ACM Award (2001)
ACM Fellows (1994)
Marc Snir ACM Fellows (1999)
Larry Snyder ACM Fellows (1995)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
ACM Fellows (1999)
Michael Sperber ACM Senior Member (2009)
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 Fellows (1996)
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)
ACM 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
Series Winner (1986)
Moshe Y Vardi ACM Presidential Award (2017)
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 Weyuker ACM Presidential Award (2010)
ACM Fellows (1997)
David Whalley ACM Distinguished Member (2009)
ACM Senior Member (2009)
Jennifer Widom ACM 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)
ACM 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
Honorable Mention (2004) ACM Doctoral Dissertation Award
Honorable Mention (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)
Pamela Zave ACM Fellows (2001)
Andreas Zeller ACM Fellows (2010)
Benjamin G Zorn ACM Distinguished Member (2011)

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

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2017
Volume 39 Issue 4, September 2017
Volume 39 Issue 3, July 2017
Volume 39 Issue 2, May 2017
Volume 39 Issue 1, March 2017

2016
Volume 38 Issue 4, October 2016
Volume 38 Issue 3, May 2016
Volume 38 Issue 2, January 2016

2015
Volume 38 Issue 1, October 2015
Volume 37 Issue 4, August 2015
Volume 37 Issue 3, June 2015
Volume 37 Issue 2, April 2015
Volume 37 Issue 1, January 2015

2014
Volume 36 Issue 4, October 2014
Volume 36 Issue 3, September 2014
Volume 36 Issue 2, July 2014
Volume 36 Issue 1, March 2014

2013
Volume 35 Issue 4, December 2013
Volume 35 Issue 3, November 2013
Volume 35 Issue 2, July 2013
Volume 35 Issue 1, April 2013

2012
Volume 34 Issue 4, December 2012
Volume 34 Issue 3, October 2012
Volume 34 Issue 2, June 2012
Volume 34 Issue 1, April 2012

2011
Volume 33 Issue 6, December 2011
Volume 33 Issue 5, November 2011
Volume 33 Issue 4, July 2011
Volume 33 Issue 3, April 2011
Volume 33 Issue 1, January 2011
Volume 33 Issue 2, January 2011

2010
Volume 32 Issue 6, August 2010
Volume 32 Issue 5, May 2010
Volume 32 Issue 4, April 2010
Volume 32 Issue 3, March 2010
Volume 32 Issue 2, January 2010

2009
Volume 32 Issue 1, October 2009
Volume 31 Issue 6, August 2009
Volume 31 Issue 5, June 2009
Volume 31 Issue 4, May 2009
Volume 31 Issue 3, April 2009
Volume 31 Issue 2, February 2009

2008
Volume 31 Issue 1, December 2008
Volume 30 Issue 6, October 2008
Volume 30 Issue 5, August 2008
Volume 30 Issue 4, July 2008
Volume 30 Issue 3, May 2008
Volume 30 Issue 2, March 2008

2007
Volume 30 Issue 1, November 2007
Volume 29 Issue 6, October 2007
Volume 29 Issue 5, August 2007 Special Issue ESOP'05
Volume 29 Issue 4, August 2007
Volume 29 Issue 3, May 2007 Special issue on POPL 2005
Volume 29 Issue 2, April 2007
Volume 29 Issue 1, January 2007

2006
Volume 28 Issue 6, November 2006
Volume 28 Issue 5, September 2006
Volume 28 Issue 4, July 2006
Volume 28 Issue 3, May 2006
Volume 28 Issue 2, March 2006
Volume 28 Issue 1, January 2006

2005
Volume 27 Issue 6, November 2005
Volume 27 Issue 5, September 2005
Volume 27 Issue 4, July 2005
Volume 27 Issue 3, May 2005
Volume 27 Issue 2, March 2005
Volume 27 Issue 1, January 2005

2004
Volume 26 Issue 6, November 2004
Volume 26 Issue 5, September 2004
Volume 26 Issue 4, July 2004
Volume 26 Issue 3, May 2004
Volume 26 Issue 2, March 2004
Volume 26 Issue 1, January 2004

2003
Volume 25 Issue 6, November 2003
Volume 25 Issue 5, September 2003
Volume 25 Issue 4, July 2003
Volume 25 Issue 3, May 2003
Volume 25 Issue 2, March 2003
Volume 25 Issue 1, January 2003

2002
Volume 24 Issue 6, November 2002
Volume 24 Issue 5, September 2002
Volume 24 Issue 4, July 2002
Volume 24 Issue 3, May 2002
Volume 24 Issue 2, March 2002
Volume 24 Issue 1, January 2002

2001
Volume 23 Issue 6, November 2001
Volume 23 Issue 5, September 2001
Volume 23 Issue 4, July 2001
Volume 23 Issue 3, May 2001
Volume 23 Issue 2, March 2001
Volume 23 Issue 1, Jan. 2001

2000
Volume 22 Issue 6, Nov. 2000
Volume 22 Issue 5, Sept. 2000
Volume 22 Issue 4, July 2000
Volume 22 Issue 3, May 2000
Volume 22 Issue 2, March 2000
Volume 22 Issue 1, Jan. 2000

1999
Volume 21 Issue 6, Nov. 1999
Volume 21 Issue 5, Sept. 1999
Volume 21 Issue 4, July 1999
Volume 21 Issue 3, May 1999
Volume 21 Issue 2, March 1999
Volume 21 Issue 1, Jan. 1999

1998
Volume 20 Issue 6, Nov. 1998
Volume 20 Issue 5, Sept. 1998
Volume 20 Issue 4, July 1998
Volume 20 Issue 3, May 1998
Volume 20 Issue 2, March 1998
Volume 20 Issue 1, Jan. 1998

1997
Volume 19 Issue 6, Nov. 1997
Volume 19 Issue 5, Sept. 1997
Volume 19 Issue 4, July 1997
Volume 19 Issue 3, May 1997
Volume 19 Issue 2, March 1997
Volume 19 Issue 1, Jan. 1997

1996
Volume 18 Issue 6, Nov. 1996
Volume 18 Issue 5, Sept. 1996
Volume 18 Issue 4, July 1996
Volume 18 Issue 3, May 1996
Volume 18 Issue 2, March 1996
Volume 18 Issue 1, Jan. 1996

1995
Volume 17 Issue 6, Nov. 1995
Volume 17 Issue 5, Sept. 1995
Volume 17 Issue 4, July 1995
Volume 17 Issue 3, May 1995
Volume 17 Issue 2, March 1995
Volume 17 Issue 1, Jan. 1995

1994
Volume 16 Issue 6, Nov. 1994
Volume 16 Issue 5, Sept. 1994
Volume 16 Issue 4, July 1994
Volume 16 Issue 3, May 1994
Volume 16 Issue 2, March 1994
Volume 16 Issue 1, Jan. 1994

1993
Volume 15 Issue 5, Nov. 1993
Volume 15 Issue 4, Sept. 1993
Volume 15 Issue 3, July 1993
Volume 15 Issue 2, April 1993
Volume 15 Issue 1, Jan. 1993

1992
Volume 14 Issue 4, Oct. 1992
Volume 14 Issue 3, July 1992
Volume 14 Issue 2, April 1992
Volume 14 Issue 1, Jan. 1992

1991
Volume 13 Issue 4, Oct. 1991
Volume 13 Issue 3, July 1991
Volume 13 Issue 2, April 1991
Volume 13 Issue 1, Jan. 1991

1990
Volume 12 Issue 4, Oct. 1990
Volume 12 Issue 3, July 1990
Volume 12 Issue 2, April 1990
Volume 12 Issue 1, Jan. 1990

1989
Volume 11 Issue 4, Oct. 1989
Volume 11 Issue 3, July 1989
Volume 11 Issue 2, April 1989
Volume 11 Issue 1, Jan. 1989

1988
Volume 10 Issue 4, Oct. 1988
Volume 10 Issue 3, July 1988
Volume 10 Issue 2, April 1988
Volume 10 Issue 1, Jan. 1988

1987
Volume 9 Issue 4, Oct. 1987
Volume 9 Issue 3, July 1987
Volume 9 Issue 2, April 1987
Volume 9 Issue 1, Jan. 1987

1986
Volume 8 Issue 4, Oct. 1986
Volume 8 Issue 3, July 1986 The MIT Press scientific computation series
Volume 8 Issue 2, April 1986
Volume 8 Issue 1, Jan. 1986 The MIT Press scientific computation series

1985
Volume 7 Issue 4, Oct. 1985
Volume 7 Issue 3, July 1985
Volume 7 Issue 2, April 1985 Lecture notes in computer science Vol. 174
Volume 7 Issue 1, Jan. 1985

1984
Volume 6 Issue 4, Oct. 1984 Lecture notes in computer science Vol. 174
Volume 6 Issue 3, July 1984
Volume 6 Issue 2, April 1984
Volume 6 Issue 1, Jan. 1984

1983
Volume 5 Issue 4, Oct. 1983
Volume 5 Issue 3, July 1983
Volume 5 Issue 2, April 1983
Volume 5 Issue 1, Jan. 1983

1982
Volume 4 Issue 4, Oct. 1982
Volume 4 Issue 3, July 1982
Volume 4 Issue 2, April 1982
Volume 4 Issue 1, Jan. 1982

1981
Volume 3 Issue 4, Oct. 1981
Volume 3 Issue 3, July 1981
Volume 3 Issue 2, April 1981
Volume 3 Issue 1, Jan. 1981

1980
Volume 2 Issue 4, Oct. 1980
Volume 2 Issue 3, July 1980
Volume 2 Issue 2, April 1980
Volume 2 Issue 1, Jan. 1980

1979
Volume 1 Issue 2, Oct. 1979
Volume 1 Issue 1, July 1979
 
All ACM Journals | See Full Journal Index

Search TOPLAS
enter search term and/or author name