ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Don’t Sit on the Fence

Modern architectures rely on memory fences to prevent undesired weakenings of memory consistency. As the fences’ semantics may be subtle, the automation of their placement is highly desirable. But precise methods for restoring consistency do not scale to deployed systems’ code. We choose to trade some precision for genuine scalability:... (more)

Programs from Proofs

Today, software is traded worldwide on global markets, with apps being downloaded to smartphones within minutes or seconds. This poses, more than ever, the challenge of ensuring safety of software in the face of (1) unknown or untrusted software providers together with (2) resource-limited software consumers. The concept of Proof-Carrying Code... (more)

Towards a Compiler for Reals

Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-precision approximation of the real arithmetic in which most algorithms are designed. In many applications, the roundoff errors introduced by finite-precision arithmetic are not the only source of inaccuracy, and measurement and other input errors... (more)

Newtonian Program Analysis via Tensor Product

Recently, Esparza et al. generalized Newton’s method—a numerical-analysis algorithm for finding roots of real-valued functions—to a method for finding fixed-points of systems of equations over semirings. Their method provides a new way to solve interprocedural dataflow-analysis problems. As in its real-valued counterpart, each... (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
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 is an influential model. While Erlang conceptually provides reliable scalability, it has some inherent scalability limits. The paper establishes the scalability limits of Erlang systems, and reports EU RELEASE project work to improve scalability and understandability. We address scaling at the virtual machine, language and tool levels. (1) We have evolved the Erlang virtual machine so that it can work effectively in large scale single-host multicore and NUMA architectures, improving the widely-used Erlang/OTP release. (2) We have designed and implemented Scalable Distributed (SD) Erlang libraries to address language-level scalability issues, providing and validating a set of semantics. (3) To make large Erlang systems easier to deploy, monitor, and debug we have developed and made open source releases of five complementary tools. Throughout the paper we use two case studies to investigate our new technologies: an Orbit calculation and Ant Colony Optimisation (ACO). Chaos Monkey experiments show that two versions of ACO survive random process failure and hence that SD Erlang provides reliability. The key scalability experiments are conducted on the Athos cluster with 256 hosts (6144 cores). Even for programs with no global recovery data to maintain, SD Erlang partitions the network to reduce network traffic and hence improves performance of the Orbit and ACO benchmarks above 80 hosts. ACO measurements show that maintaining global recovery data dramatically limits scalability; however scalability is recovered by partitioning the recovery data.

Bibliometrics

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

Affiliation Paper Counts
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
National Technical University of Athens 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
Vanderbilt University 1
Mentor Graphics Corporation 1
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
VA Medical Center 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
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
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
Karlsruhe Institute of Technology 2
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
Korea 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
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
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
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
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
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
Ohio State University 5
Northwestern University 5
Utrecht University 5
Australian National University 5
The University of British Columbia 5
University of Kent 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
Uppsala University 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
Pennsylvania State University 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
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
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
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 Glasgow 12
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
University of Oxford 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
Seoul National University 15
University of Melbourne 15
Institute for Research in IT and Random Systems 15
Microsoft Research Cambridge 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 Washington, Seattle 18
University of Aarhus 18
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 37
University of Maryland 39
University of Arizona 42
Massachusetts Institute of Technology 42
University of Wisconsin Madison 43
Cornell University 45
Carnegie Mellon University 60
IBM Thomas J. Watson Research Center 61

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2017
Volume 39 Issue 2, May 2017
Volume 39 Issue 3, May 2017  Issue-in-Progress
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