ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Polymorphic Manifest Contracts, Revised and Resolved

Manifest contracts track precise program properties by refining types with predicates—for example, {x:Int∣ x > 0} denotes... (more)

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)

The Truth, The Whole Truth, and Nothing But the Truth

An unsound claim can misdirect a field, encouraging the pursuit of unworthy ideas and the abandonment of promising ideas. An inadequate description of a claim can make it difficult to reason about the... (more)

DRFx

The most intuitive memory model for shared-memory multi-threaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations and thus affects performance. Data-race-free (DRF) models, such as the C++11 memory model, guarantee SC execution for data-race-free programs. But these models provide no... (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
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 iteration of their method solves a simpler ``linearized'' problem. One of the reasons this advance is exciting is that some numerical analysts have claimed that ```all' effective and fast iterative [numerical] methods are forms (perhaps very disguised) of Newton's method.'' However, there is an important difference between the dataflow-analysis and numerical-analysis contexts: when Newton's method is used on numerical-analysis problems, multiplicative commutativity is relied on to rearrange expressions of the form ``c*X + X*d'' into ``(c+d) * X.'' Such equations correspond to path problems described by regular languages. In contrast, when Newton's method is used for interprocedural dataflow analysis, the ``multiplication'' operation involves function composition, and hence is non-commutative: ``c*X + X*d'' cannot be rearranged into ``(c+d) * X.'' Such equations correspond to path problems described by linear context-free languages (LCFLs). In this paper, we present an improved technique for solving the LCFL sub-problems produced during successive rounds of Newton's method. Our method applies to predicate abstraction, on which most of today's software model checkers rely.

From Clarity to Efficiency for Distributed Algorithms

This paper describes a very high-level language for clear description of distributed algorithms and optimizations necessary for generating efficient implementations. The language supports high-level control flows where complex synchronization conditions can be expressed using high-level queries, especially logic quantifications, over message history sequences. Unfortunately, the programs would be extremely inefficient, including consuming unbounded memory, if executed straightforwardly. We present new optimizations that automatically transform complex synchronization conditions into incremental updates of necessary auxiliary values as messages are sent and received. The core of the optimizations is the first general method for efficient implementation of logic quantifications. We have developed ...

On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types

Well-known techniques exist for proving the soundness of subtyping relations with respect to type safety. However, completeness has not been treated with widely applicable techniques, as far as were aware. This paper develops some techniques for stating and proving that a subtyping relation is complete with respect to type safety and applies the techniques to the study of iso-recursive subtyping.

Dont Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion

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: our technique is suitable for large code bases. We implement it in our new musketeer tool, and report experiments on more than 350 executables from packages found in Debian Linux 7.1, including memcached with about 10000 LoC.

Programs from Proofs - A Framework for the Safe Execution of Untrusted Software

Software is traded worldwide. This poses the challenge of ensuring safety in case of (a) untrusted providers and (b) resource-limited consumers. Proof-Carrying Code (PCC) is one framework for ensuring safety. We describe an alternative framework Programs from Proofs (PfP) which exploits that the structure of programs influences verification complexity. In PfP the producer constructs an abstract reachability graph (ARG) that unfolds the control flow automaton to the degree necessary for simple analysis. From the ARG we generate a program isomorphic to the ARG which can be checked by a simple analysis. We also report on experiments with different PfP instantiations.

Towards a Compiler for Reals

We present the source-to-source compiler Rosa which takes as input a real-valued program with error specifications and synthesizes code over an appropriate finite-precision data type. We present a compiler that is fully automated, sound and yet accurate enough for floating-point and fixed-point arithmetic of various precisions able to handle nonlinear arithmetic, determine closed-form symbolic invariants for unbounded loops and quantify the effects of discontinuities on numerical errors. We evaluate Rosa on a number of benchmarks from scientific computing and embedded systems and, comparing it to state-of-the-art in automated error estimation, show it presents an interesting trade-off between accuracy and performance.

Limitations of Partial Compaction: Towards Practical Bounds

Compaction of a managed heap is a costly operation,to be avoided as much as possible in commercial runtimes. Instead, partial compaction is often used to defragment parts of the heap and avoid space blowup. Previous study of compaction limitation provided some initial asymptotic bounds but no implications for practical systems. In this work, we extend the theory to obtain better bounds and make them strong enough to become meaningful for modern systems.

Multiple Facets for Dynamic Information Flow with Exceptions

JavaScript is the source of many security problems, primarily because code from untrusted sources runs with full privileges. Information flow controls protect data confidentiality and integrity, but previous dynamic information flow techniques rely on analyses that get stuck due to implicit flows, even when the target application satisfies the desired security policy. This paper explores faceted values, a mechanism for providing information flow security dynamically. We use faceted values to efficiently simulate multiple executions for different security levels, thus providing noninterference without relying on stuck executions. We also explore the interaction of faceted values with exceptions, declassification, and clearance.

Foreword: volume 39, issue 1

Bibliometrics

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

Affiliation Paper Counts
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo, State University of New York 1
University of Urbino 1
University of Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Laval University 1
Indian Institute of Technology, Delhi 1
Concordia University, Montreal 1
Bayerische Akademie der Wissenschaften 1
Intel Research Laboratories 1
Kestrel Institute 1
Schlumberger-Doll Research Center 1
National Penghu University 1
Daimler AG 1
MIPS Technologies, Inc. 1
Cambridge Technology Partners 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
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
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
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
NICTA 1
Verimag 1
Texas State University-San Marcos 1
University of Queensland 1
Tokyo Institute of Technology 1
California Institute of Technology 1
Kyushu 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
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
University of Vermont 1
University of Montreal 1
Tampere University of Technology 1
University of Innsbruck 1
Avaya Inc. 1
Western Illinois University 1
Washington University in St. Louis 1
University of Colorado at Colorado Springs 1
University of Colorado at Denver 1
Florida Institute of Technology 1
Hasselt University 1
Apple Computer 1
The University of Western Ontario 1
Technical University of Berlin 1
Auburn University 1
University of Leeds 1
INRIA Rhone-Alpes 1
Verizon Communications 1
Ecole Polytechnique 1
University of Hawaii at Manoa 1
University of Massachusetts System 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
VA Medical Center 1
Peking University 1
University of Brescia 1
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
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 in Prague 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
IBM, USA 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
University of Technology Sydney 2
Osaka University 2
University of Ferrara 2
Swiss Federal Institute of Technology, Zurich 2
University of Udine 2
Gustavus Adolphus College 2
Nokia Corporation 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
Complutense University of Madrid 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig Maximilian University of Munich 2
University of Southern California 2
University of Minnesota Twin Cities 2
University of Bergen 2
Queen's University Belfast 2
University of Bath 2
Ecole des Mines de Paris 2
Syracuse University 2
Universite de Rennes 1 2
Naval Postgraduate School 2
University of New Mexico 2
University of Leicester 2
Symantec Corporation 2
Colorado Technical University 2
Research Institute for Advanced Computer Science 2
GrammaTech, Inc 2
Karlsruhe Institute of Technology 2
IMDEA Institute 2
Indian Institute of Technology 2
Laboratoire Parallelisme, Reseaux, Systemes, Modelisation 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
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, 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
Australian National University 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
Tsinghua University 4
University of Sydney 4
Lawrence Livermore National Laboratory 4
Microsoft Corporation 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
Utrecht University 5
The University of British Columbia 5
University of Kent 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 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
Ca' Foscari University of Venice 6
Carleton University 6
Politecnico di Milano 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
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
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
University of Glasgow 11
Indiana University 11
University of Oxford 11
Rutgers, The State University of New Jersey 11
Korea Advanced Institute of Science & Technology 11
Saarland University 11
University of Padua 12
University of California, Santa Cruz 12
University of Genoa 12
Palo Alto Research Center Incorporated 12
Courant Institute of Mathematical Sciences 13
Indian Institute of Technology, Bombay 13
Microsoft Research Cambridge 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
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
University of Washington, Seattle 17
Imperial College London 18
University of Aarhus 18
Tel Aviv University 20
Stony Brook University 20
Yale University 21
University of Pennsylvania 21
University of California, Los Angeles 21
Nokia Bell Labs 24
Princeton University 26
Microsoft Research 26
Rice University 27
Purdue University 28
Technion - Israel Institute of Technology 28
University of California, Berkeley 29
University of Pisa 29
Hewlett-Packard Inc. 31
University of Texas at Austin 35
Catholic University of Leuven, Leuven 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


2017
Volume 39 Issue 1, February 2017  Issue-in-Progress

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