ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Editorial

Editorial

I thank the associate editors who continue to serve TOPLAS, and I also thank Matthew Dwyer who in Summer 2014 reached the end of his term and stepped down as associate editor.

Welcome to Kathleen Fisher who is a new associate editor.

Jens Palsberg
Editor in Chief

(More)

Interval Analysis and Machine Arithmetic

The most commonly used integer types have fixed bit-width, making it possible for computations to “wrap around,” and many programs depend on this behaviour. Yet much work to date on program analysis and verification of integer computations treats integers as having infinite precision, and most analyses that do respect fixed width lose precision when overflow is possible. We present a novel integer interval abstract domain that correctly handles wrap-around. The analysis is signedness agnostic. By treating integers as strings of bits, only considering signedness for operations... (more)

A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories

Spatial architectures provide energy-efficient computation but require effective scheduling algorithms. Existing heuristic-based approaches offer low compiler/architect productivity, little optimality insight, and low architectural portability.

We seek to develop a spatial-scheduling framework by utilizing constraint-solving theories and find that architecture primitives and scheduler responsibilities can be related through five abstractions: computation placement, data routing, event timing, resource utilization, and the optimization objective. We encode these responsibilities as 20... (more)

Reactive Imperative Programming with Dataflow Constraints

Dataflow languages provide natural support for specifying constraints between objects in dynamic applications, where programs need to react efficiently to changes in their environment. In this article, we show that one-way dataflow constraints, largely explored in the context of interactive applications, can be seamlessly integrated in any imperative language and can be used as a general paradigm for writing performance-critical reactive applications that require efficient incremental computations. In our framework, programmers can define ordinary statements of the imperative host language... (more)

Practical Fine-Grained Information Flow Control Using Laminar

Decentralized Information Flow Control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity hardware can be broadly categorized into two types: language-level and operating system-level DIFC. Language solutions provide no guarantees against security violations on system resources such as files and sockets. Operating system solutions mediate accesses to system resources but are either inefficient or imprecise at monitoring the flow of information through fine-grained program data structures. This article... (more)

NEWS

ACM Author Options

New options for ACM authors to manage rights and permissions for their work: ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage at authors.acm.org.

TOPLAS participates in ORCID

ORCID is a community-based effort to create a global registry of unique researcher identifiers for the purpose of ensuring proper attribution of works to their creators. When you submit a manuscript for review, you will be presented with the opportunity to register for your ORCID.

Forthcoming Articles

An Extension of ATL With Strategy Interaction

We extend ATL (alternating-time temporal logic), called BSIL (basic strategy-interaction logic), for specifying collaboration among agents in a multi-agent system. We show that BSIL is strictly more expressive than ATL+, but incomparable with ATL*, GL (game logic), and AMC (alternating mu-calculus) in expressiveness. We show that a memoryful strategy is necessary for fulfilling a specification in BSIL. We establish that the BSIL model-checking problem is PSPACE-complete. However, BSIL model-checking can be performed in time quadratic in the model for fixed formulas. The BSIL (and hence ATL+) satisfiability is 2-EXPTIME complete. Finally, we report our experiment with a model-checker for BSIL.

Secure Compilation to Protected Module Architectures

The Design and Implementation of a Verification Technique for GPU Kernels

Automated Classification of Data Races Under Both Strong and Weak Memory Models

Data races are one of the main causes of concurrency problems in multi-threaded programs. Whether all data races are bad, or some are harmful and others are harmless, is still the subject of vigorous scientific debate [Narayanasamy et al. 2007; Boehm 2012]. What is clear, however, is that todays code has many races [Kasikci et al. 2012; Jin et al. 2012; John Erickson and Olynyk 2010], and fixing races without introducing bugs is time consuming [Godefroid and Nagappan 2008]. Therefore, it is important to efficiently identify data races in code and understand their consequences, in order to prioritize their resolution.

Polyhedral AST generation is more than scanning polyhedra

AST generators generate effective imperative control-flow from integer polyhedra based descriptions of high-level loop transformations. However they often fail in scenarios which require complex transformations, extensive specialization, data layout transformations or precise control over AST generation strategies. We present a new AST generator which not only supports optimized polyhedral scanning of Presburger Sets in their full generality, but also the AST generation of user-provided expressions, extensive specialization through user-directed versioning, polyhedral unrolling, execution-context-aware optimization of AST expressions and fine-grained user control over AST generation strategies. We show that the combination of these capabilities are essential for developing competitive DSL compilers.

Affine Refinement Types for Secure Distributed Programming

Verification of a Cryptographic Primitive: SHA-256

A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of functional correctness in the Coq proof assistant, using the Verifiable C program logic. Verifiable C is a separation logic for the C language, proved sound w.r.t. the operational semantics for C, connected to the CompCert verified optimizing C compiler.

Bibliometrics

Publication Years 1979-2015
Publication Count 1006
Citation Count 28430
Available for Download 1006
Downloads (6 weeks) 4379
Downloads (12 Months) 35708
Downloads (cumulative) 636686
Average downloads per article 633
Average citations per article 28

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

Affiliation Paper Counts
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
National Technical University of Athens 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
University of Manchester 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
Korea University 1
Ruhr University of Bochum 1
National Taiwan University 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
CNRS Centre National de la Recherche Scientifique 1
Poznan University of Technology 1
Brigham and Women's Hospital and Harvard Medical School 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
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 York 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
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler University Linz 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
Swiss Federal Institute of Technology, Lausanne 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
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
Karlsruhe Institute of Technology 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
Compaq Systems Research Center 2
Catholic University of Louvain 2
Chalmers University of Technology 2
Microelectronics Computer Technology Corporation 2
Royal Institute of Technology 2
Iowa State University 2
Swansea University 2
Johns Hopkins University 2
Facultes Universitaires Notre-Dame de la Paix 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
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
Queen Mary, University of London 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
Osaka University 2
University of Ferrara 2
University of Sydney 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
Stevens Institute of Technology 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
Madrid Institute for Advanced Studies 2
Indian Institute of Technology 2
Max Planck Institute for Informatics 3
University of Munster 3
Florida State University 3
Victoria University of Wellington 3
Max Planck Institute for Software Systems 3
University of Illinois 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
RWTH Aachen 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
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
University of London 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
MIT Computer Science and Artificial Intelligence Laboratory 4
Synopsys Incorporated 4
King's College London 4
Ca' Foscari University of Venice 4
University of California, Davis 4
University of Tennessee, Knoxville 4
University of Virginia 4
Dublin City University 4
Lawrence Livermore National Laboratory 4
INRIA Rocquencourt 4
Eindhoven University of Technology 4
University of Seville 4
International Computer Science Institute 4
Ecole Normale Superieure 5
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
Oregon Health and Science University 5
Texas Tech University at Lubbock 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
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
University of the Saarland 8
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
University of Padua 10
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
University of Oxford 10
Korea Advanced Institute of Science & Technology 10
INRIA Sophia Antipolis 10
Indian Institute of Technology, Bombay 11
Indiana University 11
Rutgers University 11
Microsoft Research Cambridge 11
University of Glasgow 12
University of California, Irvine 12
University of Waterloo 12
Imperial College London 12
University of California, Santa Cruz 12
University of Genoa 12
Palo Alto Research Center 12
Courant Institute of Mathematical Sciences 13
INRIA Institut National de Rechereche en Informatique et en Automatique 13
Seoul National University 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
University of Melbourne 15
IRISA Institut de Recherche en Informatique et Systemes Aleatoires 15
University of Aarhus 15
University of Massachusetts Amherst 16
Northeastern University 16
Tel Aviv University 20
University of Pennsylvania 20
Stony Brook University 20
University of California, Los Angeles 20
Yale University 21
Microsoft Research 21
Alcatel-Lucent Bell Labs 24
IBM 24
Princeton University 25
Purdue University 26
Rice University 27
Technion - Israel Institute of Technology 28
Catholic University of Leuven 28
University of California, Berkeley 29
University of Pisa 29
Hewlett-Packard 34
University of Texas at Austin 35
Stanford University 36
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


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