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)

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.

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.

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.

Bibliometrics

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

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

Affiliation Paper Counts
University of California System 1
California Institute of Technology 1
Kyushu Institute of Technology 1
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo, State University of New York 1
University of Urbino 1
University of Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Laval University 1
Concordia University, Montreal 1
Bayerische Akademie der Wissenschaften 1
Intel Research Laboratories 1
Kestrel Institute 1
Schlumberger-Doll Research Center 1
National Penghu University 1
Symantec Corporation 1
Daimler AG 1
MIPS Technologies, Inc. 1
Cambridge Technology Partners 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
Peking University 1
University of Brescia 1
Abo Akademi University 1
University of Kansas Lawrence 1
General Electric Company 1
University of Stuttgart 1
University of Trento 1
The College of William and Mary 1
University of Wroclaw 1
The University of Tennessee System 1
Charles University in Prague 1
University of New Brunswick 1
University of Tubingen 1
Vienna University of Technology 1
George Mason University 1
University of Trieste 1
Rose Hulman Institute Technology 1
Memorial University of Newfoundland 1
Chennai Mathematical Institute 1
University of Southern Denmark 1
Chinese Academy of Sciences 1
Universite de Savoie 1
Boston University 1
James Cook University, Australia 1
University of Wisconsin Milwaukee 1
Bucknell University 1
University of Twente 1
University of Hagen 1
University of Liverpool 1
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler University Linz 1
University of Central Florida 1
University of Durham 1
University of Bari 1
National Institute of Standards and Technology 1
Waseda University 1
Portland State University 1
University of Iowa 1
Roskilde University 1
Missouri University of Science and Technology 1
The University of North Carolina at Chapel Hill 1
University of Cincinnati 1
Northrop Grumman corporation 1
Tata Research Development and Design Centre 1
University of Gdansk 1
National University of Ireland, Maynooth 1
University of Nebraska - Lincoln 1
Clemson University 1
DePaul University 1
Virginia Tech 1
Complutense University of Madrid 1
Oracle Corporation 1
University of New South Wales 1
City College of New York 1
IBM Zurich Research Laboratory 1
Lund University 1
Haverford College 1
Bournemouth University 1
NICTA 1
Verimag 1
Texas State University-San Marcos 1
University of Queensland 1
Tokyo Institute of Technology 1
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
National Technical University of Athens 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
Vanderbilt University 1
Mentor Graphics Corporation 1
University of G. d'Annunzio Chieti and Pescara 1
Tokyo University of Agriculture and Technology 1
University of Parma 1
Ecole Normale Superieure de Cachan 1
Ruhr University of Bochum 1
Ecole Normale Superieure de Lyon 1
University of Auckland 1
University of Minnesota System 1
Google Inc. 1
Newcastle University, United Kingdom 1
Malardalen University 1
City University of New York 1
Louisiana State University 1
Ecole des Mines de Nantes 1
University of Brighton 1
Poznan University of Technology 1
Brigham and Women's Hospital and Harvard Medical School 1
Birkbeck University of London 1
INP Grenoble 1
Escuela Tecnica Superior de Ingenieros de Telecomunicacion, Madrid 1
University of Vermont 1
University of Montreal 1
Tampere University of Technology 1
University of Innsbruck 1
Avaya Inc. 1
Western Illinois University 1
Washington University in St. Louis 1
University of Colorado at Colorado Springs 1
University of Colorado at Denver 1
Florida Institute of Technology 1
Hasselt University 1
Apple Computer 1
The University of Western Ontario 1
Technical University of Berlin 1
Auburn University 1
University of Leeds 1
INRIA Rhone-Alpes 1
Verizon Communications 1
Ecole Polytechnique 1
University of Hawaii at Manoa 1
University of Massachusetts System 1
University of Florida 1
Martin Luther University of Halle-Wittenberg 1
VA Medical Center 1
Compaq Systems Research Center 2
Catholic University of Louvain 2
Microelectronics Computer Technology Corporation 2
Royal Institute of Technology 2
Iowa State University 2
Swansea University 2
Johns Hopkins University 2
Korea University 2
Facultes Universitaires Notre-Dame de la Paix 2
CNRS Centre National de la Recherche Scientifique 2
California Polytechnic State University, San Luis Obispo 2
University of Dublin, Trinity College 2
Technical University of Denmark 2
Japan Advanced Institute of Science and Technology 2
Universidad Politecnica de Valencia 2
National Chiao Tung University Taiwan 2
Universidad de Chile 2
University of Zurich 2
University of Warsaw 2
Florida International University 2
University of Washington 2
Queen's University, Kingston 2
University of York 2
Academia Sinica Taiwan 2
De Montfort University 2
National Tsing Hua University 2
Xerox Corporation 2
University of Bern 2
Royal Holloway University of London 2
University of Coimbra 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
Osaka University 2
University of Ferrara 2
Swiss Federal Institute of Technology, Zurich 2
University of Udine 2
Alcatel-Lucent 2
Gustavus Adolphus College 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig Maximilian University of Munich 2
University of Southern California 2
University of Minnesota Twin Cities 2
University of Bergen 2
Queen's University Belfast 2
Universite de Versailles Saint-Quentin-en-Yvelines 2
University of Bath 2
Ecole des Mines de Paris 2
Syracuse University 2
Universite de Rennes 1 2
Naval Postgraduate School 2
University of New Mexico 2
University of Leicester 2
Colorado Technical University 2
Research Institute for Advanced Computer Science 2
GrammaTech, Inc 2
Karlsruhe Institute of Technology 2
IMDEA Institute 2
Indian Institute of Technology 2
Max Planck Institute for Informatics 3
University of Munster 3
Chalmers University of Technology 3
Florida State University 3
Victoria University of Wellington 3
Max Planck Institute for Software Systems 3
University of Illinois 3
National Taiwan University 3
Hebrew University of Jerusalem 3
Australian National University 3
University of Groningen 3
University of Catania 3
University of Kent 3
Kyoto University 3
Technical University of Darmstadt 3
BRICS Basic Research in Computer Science 3
University of Oregon 3
University of Kiel 3
MITRE Corporation 3
Loyola University Maryland 3
Michigan Technological University 3
University of Sussex 3
Weizmann Institute of Science Israel 3
Simon Fraser University 3
University of Science and Technology of China 3
Heriot-Watt University 3
University of Canterbury 3
The University of Warwick 3
Telcordia Technologies, Inc. 3
Universidad de A Coruna 3
University of Freiburg 3
Microsoft 3
Stevens Institute of Technology 3
Siemens AG 3
University of Chicago 3
University of California, Riverside 3
Federal University of Minas Gerais 3
University of California, San Diego 3
Tata Institute of Fundamental Research 3
Pontifical Catholic University of Rio de Janeiro 3
DoCoMo USA Labs. 3
Toyota Technological Institute at Chicago 3
Siemens USA 3
Academic College of Tel-Aviv - Yaffo 3
Microsoft Research India 3
Kansas State University 4
Universidad Carlos III de Madrid 4
New Mexico State University Las Cruces 4
University of Manchester 4
MIT Computer Science and Artificial Intelligence Laboratory 4
Synopsys Incorporated 4
King's College London 4
Indian Institute of Science 4
University of California, Davis 4
University of Tennessee, Knoxville 4
University of Virginia 4
Dublin City University 4
University of Sydney 4
Lawrence Livermore National Laboratory 4
Swiss Federal Institute of Technology, Lausanne 4
INRIA Rocquencourt 4
Eindhoven University of Technology 4
University of Seville 4
International Computer Science Institute 4
Universite de La Reunion 5
Ohio State University 5
Northwestern University 5
The University of British Columbia 5
University of Turin 5
Oregon State University 5
AT&T Inc. 5
Sun Microsystems 5
University of Southern California, Information Sciences Institute 5
Radboud University Nijmegen 5
RWTH Aachen University 5
Oregon Health and Science University 5
Texas Tech University at Lubbock 5
Queen Mary, University of London 5
University of St Andrews 5
University College London 5
University of Delaware 5
University of Utah 5
Ben-Gurion University of the Negev 5
University of Rochester 5
University of Illinois at Chicago 5
University of Alberta 5
University of Roma La Sapienza 5
German Research Center for Artificial Intelligence (DFKI) 5
University of Illinois at Urbana-Champaign 6
McGill University 6
Uppsala University 6
Delft University of Technology 6
Utrecht University 6
Silicon Graphics, Inc. 6
University of Texas at Dallas 6
Brown University 6
Ca' Foscari University of Venice 6
Carleton University 6
Politecnico di Milano 6
University of Technology Sydney 6
Columbia University 6
University of East Anglia 7
Tohoku University 7
IBM Almaden Research Center 7
IBM Research 7
State University of New York at Albany 7
University of Passau 7
Brandeis University 7
IT University of Copenhagen 7
Williams College 7
New York University 7
University of Southampton 7
University of Tokyo 7
University of Edinburgh 7
University of Cambridge 7
Swedish Institute of Computer Science 7
University of Verona 7
Pennsylvania State University 8
University of Amsterdam 8
AT&T Laboratories Florham Park 8
National University of Singapore 8
University of Wisconsin 8
Georgia Institute of Technology 8
University of Bologna 8
Intel Corporation 8
Ecole Normale Superieure 9
North Carolina State University 9
Colorado State University 9
NEC Laboratories America, Inc. 9
Monash University 9
University of California, Santa Barbara 9
Karlsruhe Institute of Technology, Campus South 9
University of Copenhagen 9
Ghent University 9
Universite Paris 7- Denis Diderot 10
Universitat Politecnica de Catalunya 10
Vrije Universiteit Amsterdam 10
Harvard University 10
HP Labs 10
University of Toronto 10
INRIA Sophia Antipolis 10
Saarland University 10
Indian Institute of Technology, Bombay 11
Indiana University 11
University of Oxford 11
Rutgers, The State University of New Jersey 11
Korea Advanced Institute of Science & Technology 11
University of Padua 12
University of Glasgow 12
University of Waterloo 12
University of California, Santa Cruz 12
University of Genoa 12
Palo Alto Research Center 12
Courant Institute of Mathematical Sciences 13
Microsoft Research Cambridge 13
SRI International 14
IBM Tokyo Research Laboratory 14
Center for Mathematics and Computer Science - Amsterdam 14
University of Washington Seattle 14
University of Pittsburgh 14
Technical University of Munich 14
Technical University of Madrid 14
University of Colorado at Boulder 15
Seoul National University 15
University of Melbourne 15
Institute for Research in IT and Random Systems 15
University of Massachusetts Amherst 16
Northeastern University 16
University of California, Irvine 17
INRIA Institut National de Rechereche en Informatique et en Automatique 17
Imperial College London 18
University of Aarhus 18
Tel Aviv University 20
Stony Brook University 20
University of California, Los Angeles 20
Yale University 21
University of Pennsylvania 21
Alcatel-Lucent Bell Labs 24
IBM 24
Microsoft Research 25
Princeton University 26
Rice University 27
Purdue University 27
Technion - Israel Institute of Technology 28
University of California, Berkeley 29
University of Pisa 29
Hewlett-Packard 34
Catholic University of Leuven 34
University of Texas at Austin 35
Stanford University 37
University of Maryland 39
University of Wisconsin Madison 40
University of Arizona 42
Massachusetts Institute of Technology 42
Cornell University 45
IBM Thomas J. Watson Research Center 59
Carnegie Mellon University 60

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2016
Volume 38 Issue 4, September 2016  Issue-in-Progress
Volume 38 Issue 3, May 2016
Volume 38 Issue 2, January 2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Search TOPLAS
enter search term and/or author name