ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Analyzing Runtime and Size Complexity of Integer Programs

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

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

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

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
Polymorphic Manifest Contracts, Revised and Resolved

Manifest contracts track precise program properties by refining types with predicates. Contracts and polymorphism make a natural combination: programmers can give strong contracts to abstract types, precisely stating pre- and post-conditions while hiding implementation details. Belo et al. defined FH, a polymorphic calculus with manifest contracts and dependent functions, and established fundamental properties including type soundness and relational parametricity. Greenberg fixed some but not all of the metatheoretical problems in FHs type conversion relation. We define FÃH, which resolves the issues in both prior versions of FHs with new semantics for substitution and a new conversion relation.

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.

Bibliometrics

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

Affiliation Paper Counts
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo, State University of New York 1
Universita degli Studi di Urbino 1
Universita degli Studi di Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Universite Laval 1
Indian Institute of Technology, Delhi 1
Concordia Universite 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
Ita-Suomen yliopisto 1
Institute of Science and Technology Austria 1
Abo Akademi University 1
University of Kansas Lawrence 1
General Electric Company 1
Universitat Stuttgart 1
Universita degli Studi di Trento 1
The College of William and Mary 1
Uniwersytet Wroclawski 1
The University of Tennessee System 1
University of New Brunswick 1
Universitat Tubingen 1
Technische Universitat Wien 1
George Mason University 1
Universita degli Studi di Trieste 1
Rose Hulman Institute Technology 1
Memorial University of Newfoundland 1
Chennai Mathematical Institute 1
Syddansk Universitet 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
FernUniversitat in Hagen 1
University of Liverpool 1
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler Universitat Linz 1
University of Central Florida 1
University of Durham 1
Universita degli Studi di Bari 1
National Institute of Standards and Technology 1
Waseda University 1
Portland State University 1
University of Iowa 1
Roskilde Universitetscenter 1
Missouri University of Science and Technology 1
The University of North Carolina at Chapel Hill 1
University of Cincinnati 1
Northrop Grumman corporation 1
Tata Research Development and Design Centre 1
University Michigan Ann Arbor 1
Uniwersytet Gdanski 1
National University of Ireland, Maynooth 1
University of Nebraska - Lincoln 1
Clemson University 1
DePaul University 1
Virginia Polytechnic Institute and State University 1
Oracle Corporation 1
University of New South Wales 1
City College of New York 1
IBM Zurich Research Laboratory 1
Lunds Universitet 1
Haverford College 1
Bournemouth University 1
NICTA 1
Verimag 1
Texas State 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
Universidade Federal do Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
Universite de 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
Ethniko Metsovio Polytechnico 1
Helsingin Yliopisto 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
Vanderbilt University 1
Mentor Graphics Corporation 1
Universita degli Studi G. d'Annunzio Chieti e Pescara 1
Tokyo University of Agriculture and Technology 1
Universita degli Studi di Parma 1
Ecole Normale Superieure de Cachan 1
Universitat Bochum 1
Ecole Normale Superieure de Lyon 1
University of Auckland 1
University of Minnesota System 1
Newcastle University, United Kingdom 1
Malardalens hogskola 1
City University of New York 1
Louisiana State University 1
Ecole des Mines de Nantes 1
University of Brighton 1
Politechnika Poznanska 1
Brigham and Women's Hospital and Harvard Medical School 1
Birkbeck University of London 1
INP Grenoble 1
University of Vermont 1
Universite de Montreal 1
Tampereen Teknillinen Yliopisto 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
Universiteit Hasselt 1
Apple Computer 1
The University of Western Ontario 1
Technische Universitat 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-Universitat Halle-Wittenberg 1
VA Medical Center 1
Peking University 1
Universita degli Studi di Brescia 1
Compaq Systems Research Center 2
Universite Catholique de Louvain 2
Microelectronics Computer Technology Corporation 2
Sveriges Storsta Tekniska Universitet 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
Universita della Svizzera italiana 2
CNRS Centre National de la Recherche Scientifique 2
CalPoly 2
University of Dublin, Trinity College 2
Danmarks Tekniske Universitet 2
Japan Advanced Institute of Science and Technology 2
Universidad Politecnica de Valencia 2
National Chiao Tung University Taiwan 2
Universidad de Chile 2
Universitat Zurich 2
Uniwersytet Warszawski 2
Florida International University 2
University of Washington 2
Queen's University, Kingston 2
University of York 2
Univerzita Karlova v Praze 2
Academia Sinica Taiwan 2
De Montfort University 2
National Tsing Hua University 2
Xerox Corporation 2
Universitat Bern 2
Royal Holloway University of London 2
Universidade de Coimbra 2
Aalborg Universitet 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
Osaka University 2
Universita degli Studi di Ferrara 2
Eidgenossische Technische Hochschule Zurich 2
Universita degli Studi di Udine 2
Alcatel-Lucent 2
Gustavus Adolphus College 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
Universidad Complutense de Madrid 2
Universita degli Studi del Piemonte Orientale Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig-Maximilians-Universitat Munchen 2
University of Southern California 2
University of Minnesota Twin Cities 2
Universitetet i 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
Karlsruher Institut fur Technologie 2
Instituto IMDEA 2
Indian Institute of Technology 2
Laboratoire Parallelisme, Reseaux, Systemes, Modelisation 2
Max Planck Institut fur Informatik 3
Westfalische Wilhelms-Universitat Munster 3
Chalmers Tekniska Hogskola 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
Rijksuniversiteit Groningen 3
Universita degli Studi di Catania 3
Kyoto University 3
Technische Universitat Darmstadt 3
BRICS Basic Research in Computer Science 3
University of Oregon 3
Christian-Albrechts-Universitat zu Kiel 3
MITRE Corporation 3
Loyola University Maryland 3
Michigan Technological University 3
University of Sussex 3
Weizmann Institute of Science Israel 3
Universite Simon Fraser 3
University of Science and Technology of China 3
Heriot-Watt University 3
University of Canterbury 3
The University of Warwick 3
Telcordia Technologies, Inc. 3
Universidad de A Coruna 3
Universitat Freiburg im Breisgau 3
Stevens Institute of Technology 3
Siemens AG 3
University of Chicago 3
University of California, Riverside 3
Universidade Federal de Minas Gerais 3
University of California, San Diego 3
Tata Institute of Fundamental Research 3
Pontificia Universidade Catolica do 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
UC 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 4
Ecole Polytechnique Federale de Lausanne 4
INRIA Rocquencourt 4
Technische Universiteit Eindhoven 4
Universidad de Sevilla 4
International Computer Science Institute 4
Universite de La Reunion 5
Ohio State University 5
Northwestern University 5
Australian National University 5
The University of British Columbia 5
University of Kent 5
Universita degli Studi di Torino 5
Oregon State University 5
AT&T Inc. 5
Sun Microsystems 5
University of Southern California, Information Sciences Institute 5
Radboud University Nijmegen 5
Rheinisch-Westfalische Technische Hochschule Aachen 5
Oregon Health and Science University 5
Texas Tech University at Lubbock 5
Queen Mary, University of London 5
University of St Andrews 5
UCL 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
Universita degli Studi di Roma La Sapienza 5
Deutsches Forschungszentrum fur Kunstliche Intelligenz 5
University of Illinois at Urbana-Champaign 6
Uppsala Universitet 6
Delft University of Technology 6
Utrecht University 6
Silicon Graphics, Inc. 6
University of Texas at Dallas 6
Brown University 6
Universita Ca' Foscari Venezia 6
Carleton University 6
Politecnico di Milano 6
University of Technology Sydney 6
Columbia University in the City of New York 6
University of Alberta 6
University of East Anglia 7
McGill University 7
Tohoku University 7
IBM Almaden Research Center 7
University at Albany State University of New York 7
Universitat Passau 7
Brandeis University 7
IT-Universitetet i Kobenhavn 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
Universita degli Studi di Verona 7
Ecole Normale Superieure 8
Pennsylvania State University 8
University of Amsterdam 8
AT&T Laboratories Florham Park 8
National University of Singapore 8
University of Wisconsin 8
Georgia Institute of Technology 8
Alma Mater Studiorum Universita di Bologna 8
Intel Corporation 8
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
Kobenhavns Universitet 9
Universite Paris 7- Denis Diderot 10
Universitat Politecnica de Catalunya 10
Vrije Universiteit Amsterdam 10
Harvard University 10
Hewlett Packard Laboratories 10
University of Toronto 10
INRIA Sophia Antipolis 10
Universiteit Gent 10
Indian Institute of Technology, Bombay 11
Indiana University 11
University of Oxford 11
Rutgers, The State University of New Jersey 11
Korea Advanced Institute of Science & Technology 11
Universitat des Saarlandes 11
Universita degli Studi di Padova 12
University of Glasgow 12
University of California, Santa Cruz 12
Universita degli Studi di Genova 12
Palo Alto Research Center Incorporated 12
Courant Institute of Mathematical Sciences 13
Microsoft Research Cambridge 13
SRI International 14
IBM Tokyo Research Laboratory 14
Centrum voor Wiskunde en Informatica 14
University of Waterloo 14
University of Washington Seattle 14
University of Pittsburgh 14
Technische Universitat Munchen 14
Universidad Politecnica de Madrid 14
University of Colorado at Boulder 15
Seoul National University 15
University of Melbourne 15
Institut de Recherche en Informatique et Systemes Aleatoires 15
University of Massachusetts Amherst 16
Northeastern University 16
UC Irvine 17
INRIA Institut National de Rechereche en Informatique et en Automatique 17
Imperial College London 18
Aarhus Universitet 18
Tel Aviv University 20
Stony Brook University 20
Yale University 21
University of Pennsylvania 21
University of California, Los Angeles 21
International Business Machines 23
Alcatel-Lucent Bell Labs 24
Princeton University 26
Microsoft Research 26
Rice University 27
Purdue University 27
Technion - Israel Institute of Technology 28
UC Berkeley 29
Universita di Pisa 29
Hewlett-Packard Inc. 34
University of Texas at Austin 35
Katholieke Universiteit 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


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