ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Analyzing Runtime and Size Complexity of Integer Programs

We present a modular approach to automatic complexity analysis of integer programs. Based on a novel alternation between finding symbolic time bounds... (more)

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

The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We give a comprehensive... (more)

NEWS

Call for Nominations of a New Editor-in-Chief.

ACM Transactions on Programming Languages and Systems (TOPLAS) is seeking a new Editor-in-Chief. Please view the TOPLAS nominations page for more information.

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

DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages

Bibliometrics

Publication Years 1979-2016
Publication Count 1029
Citation Count 30947
Available for Download 1029
Downloads (6 weeks) 6104
Downloads (12 Months) 31670
Downloads (cumulative) 676831
Average downloads per article 658
Average citations per article 30
First Name Last Name Award
Jonathan Aldrich ACM Senior Member (2009)
Jose Nelson Amaral ACM Distinguished Member (2014)
ACM Senior Member (2012)
George S Avrunin ACM Distinguished Member (2006)
David F Bacon ACM Distinguished Member (2006)
Andrew Birrell ACM Software System Award (1994)
Stephen Blackburn ACM Distinguished Member (2011)
Daniel Bobrow ACM Software System Award (1992)
ACM Programming Systems and Languages Paper Award (1974)
Hans Boehm ACM Distinguished Member (2006)
Robert S Boyer ACM Software System Award (2005)
Martin C Carlisle ACM Distinguished Member (2009)
ACM Senior Member (2006)
Roderic G. Cattell ACM Doctoral Dissertation Award (1978)
Dhruva R Chakrabarti ACM Senior Member (2009)
Siddhartha Chatterjee ACM Distinguished Member (2007)
Charles L A Clarke ACM Distinguished Member (2015)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Corinna Cortes ACM Paris Kanellakis Theory and Practice Award (2008)
Bronis R. De Supinski ACM Gordon Bell Prize (2006)
Laura Dillon ACM Distinguished Member (2009)
ACM Senior Member (2009)
Evelyn Duesterwald ACM Distinguished Member (2010)
Matthew B Dwyer ACM Distinguished Member (2007)
Susan Eggers ACM Athena Lecturer Award (2009)
John R. Ellis ACM Doctoral Dissertation Award (1985)
Dawson Engler ACM Grace Murray Hopper Award (2008)
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 Senior Member (2007)
Matthias Felleisen ACM Karl V. Karlstrom Outstanding Educator Award (2009)
Kathleen S Fisher ACM Distinguished Member (2007)
Cormac Flanagan ACM Senior Member (2013)
Michael Franz ACM Distinguished Member (2006)
David Garlan ACM Senior Member (2008)
Maria L Gini ACM Distinguished Member (2006)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
David Gries ACM Karl V. Karlstrom Outstanding Educator Award (1995)
ACM Programming Systems and Languages Paper Award (1977)
David Paul Grove ACM Distinguished Member (2010)
ACM Senior Member (2006)
Manish Gupta ACM Distinguished Member (2009)
Mary W Hall ACM Distinguished Member (2010)
Kevin Hammond ACM Senior Member (2009)
David Harel ACM Software System Award (2007)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
Tim Harris ACM Senior Member (2007)
John L Hennessy ACM-IEEE CS Eckert-Mauchly Award (2001)
Michael Hind ACM Distinguished Member (2009)
Kenneth E. Iverson ACM A. M. Turing Award (1979)
Mathai Joseph ACM Presidential Award (2010)
Zvi Kedem Outstanding Contribution to ACM Award (2012)
Donald E Knuth ACM Software System Award (1986)
ACM A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Simon Lam ACM Software System Award (2004)
Leslie Lamport ACM A. M. Turing Award (2013)
Butler W Lampson ACM A. M. Turing Award (1992)
ACM Software System Award (1984)
Ondrej Lhotak ACM Senior Member (2013)
Ninghui Li ACM Distinguished Member (2012)
Barbara Liskov ACM A. M. Turing Award (2008)
Nancy Lynch ACM Athena Lecturer Award (2012)
Zohar Manna ACM Programming Systems and Languages Paper Award (1974)
Sally A McKee ACM Senior Member (2013)
Kathryn Mckinley ACM Distinguished Member (2006)
ACM Senior Member (2006)
Robert C. Miller ACM Doctoral Dissertation Award
Honorable Mention (2002) ACM Doctoral Dissertation Award
Honorable Mention (2002)
J Strother Moore ACM Software System Award (2005)
Toshio Nakatani ACM Distinguished Member (2007)
George Necula ACM Grace Murray Hopper Award (2001)
Susan S Owicki ACM Programming Systems and Languages Paper Award (1977)
David Lorge Parnas ACM Programming Systems and Languages Paper Award (1979)
Ron Perrott ACM Distinguished Service Award (2015)
Frank Pfenning ACM Senior Member (2007)
Amir Pnueli ACM Software System Award (2007)
ACM A. M. Turing Award (1996)
Lori L. Pollock ACM Distinguished Member (2010)
Ganesan Ramalingam ACM Distinguished Member (2009)
Thomas Reps ACM Doctoral Dissertation Award (1983)
John C Reynolds ACM Programming Systems and Languages Paper Award (1971)
Barbara Gershon Ryder ACM Presidential Award (2008)
Sartaj K Sahni ACM Karl V. Karlstrom Outstanding Educator Award (2003)
Hanan Samet ACM Paris Kanellakis Theory and Practice Award (2011)
Bo Ingvar Sanden ACM Senior Member (2009)
Vivek Sarkar ACM Distinguished Member (2006)
Robert Schreiber ACM Distinguished Member (2006)
Daniel Siewiorek ACM-IEEE CS Eckert-Mauchly Award (1988)
Abraham Silberschatz ACM Karl V. Karlstrom Outstanding Educator Award (1998)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
Vugranam C Sreedhar ACM Distinguished Member (2009)
ACM Senior Member (2006)
Peter James Stuckey ACM Distinguished Member (2009)
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 A. M. Turing Award (1986)
Walter F. Tichy ACM Distinguished Member (2010)
ACM Senior Member (2006)
Frank Tip ACM Distinguished Member (2008)
David M Ungar ACM Distinguished Member (2006)
ACM Doctoral Dissertation Award
Series Winner (1986)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
Richard C Waters ACM Distinguished Member (2008)
Elaine J Weyuker ACM Presidential Award (2010)
David Whalley ACM Distinguished Member (2009)
ACM Senior Member (2009)
Jennifer Widom ACM Athena Lecturer Award (2015)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
Jeannette M. Wing ACM Distinguished Service Award (2014)
Niklaus E Wirth ACM A. M. Turing Award (1984)
ACM Programming Systems and Languages Paper Award (1978)
David S Wise Outstanding Contribution to ACM Award (2006)
Emmett Witchel ACM Doctoral Dissertation Award
Honorable Mention (2004) ACM Doctoral Dissertation Award
Honorable Mention (2004)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Benjamin G Zorn ACM Distinguished Member (2011)

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

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2016
Volume 38 Issue 4, August 2016  Issue-in-Progress
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