ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic

Synchronization constructs lie at the heart of any reliable concurrent program. Many such constructs are standard (e.g., locks, queues, stacks, and... (more)

Compiler-Driven Software Speculation for Thread-Level Parallelism

Current parallelizing compilers can tackle applications exercising regular access patterns on arrays or affine indices, where data dependencies can be... (more)

Selective X-Sensitive Analysis Guided by Impact Pre-Analysis

We present a method for selectively applying context-sensitivity during interprocedural program analysis. Our method applies context-sensitivity only... (more)

An Abstract Interpretation-Based Model of Tracing Just-in-Time Compilation

Tracing just-in-time compilation is a popular compilation technique for the efficient implementation of dynamic languages, which is commonly used for... (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

ThisType for Object-Oriented Languages: From Theory to Practice

Static backward slicing of non-deterministic programs and systems

Thinking Inside the Box: Compartmentalized Garbage Collection

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 for program parts and using these to infer bounds on the sizes of program variables, we restrict each analysis step to a small program part while maintaining a high level of precision. We extend our approach to arbitrary cost measures, allowing our technique to find upper bounds for other resources, such as network requests. Our contributions are implemented in the open source tool KoAT, and extensive experiments show the power of our implementation in comparison with other tools.

A Practical Approach for Model Checking C/C++11 Code

A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations

We put a pre-existing abstract-machine for dynamic-delimited-continuations in defunctionalized-form, we prove this adjustment correct, and we present its consequences. Because it is in defunctionalized-form, we can refunctionalize the adjusted abstract-machine into an evaluation-function, which is compositional. It is in continuation+state-passing-style and threads a trail of delimited-continuations and a meta-continuation. We present the corresponding transformation into `dynamic-CPS'. We show that the induced notion of computation takes the form of a continuation-monad with a recursive-answer-type and we present a new simulation of dynamic-delimited-continuations in terms of static ones as well as new applications of dynamic-delimited-continuations.

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 present the language at large, via an introduction along with some motivating examples. We then present a modular formalization of Mezzos core type system, in the form of a concurrent »-calculus, which we extend with references and locks. We prove that well-typed programs do not go wrong and are data-race free. Our definitions and proofs are machine-checked.

Automatic Storage Optimization for Arrays

Bibliometrics

Publication Years 1979-2016
Publication Count 1022
Citation Count 30080
Available for Download 1022
Downloads (6 weeks) 2845
Downloads (12 Months) 29840
Downloads (cumulative) 658580
Average downloads per article 644
Average citations per article 29
First Name Last Name Award
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 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-W Athena Lecturer Award (2009)
John R. Ellis ACM Doctoral Dissertation Award (1985)
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 A. M. Turing Award (1979)
Mathai Joseph ACM Presidential Award (2010)
Zvi Kedem Outstanding Contribution to ACM Award (2012)
Donald E Knuth ACM Software System Award (1986)
A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Simon Lam ACM Software System Award (2004)
Leslie Lamport A. M. Turing Award (2013)
Butler W Lampson A. M. Turing Award (1992)
ACM Software System Award (1984)
Ondrej Lhotak ACM Senior Member (2013)
Ninghui Li ACM Distinguished Member (2012)
Barbara Liskov A. M. Turing Award (2008)
Nancy Lynch ACM-W 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)
Frank Pfenning ACM Senior Member (2007)
Amir Pnueli ACM Software System Award (2007)
A. M. Turing Award (1996)
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 G 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)
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-W Athena Lecturer Award (2015)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
Jeannette M. Wing ACM Distinguished Service Award (2014)
Niklaus E Wirth A. M. Turing Award (1984)
ACM Programming Systems and Languages Paper Award (1978)
David S Wise Outstanding Contribution to ACM Award (2006)
Emmett Witchel ACM Doctoral Dissertation Award
Honorable Mention (2004) ACM Doctoral Dissertation Award
Honorable Mention (2004)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Benjamin G Zorn ACM Distinguished Member (2011)

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

Affiliation Paper Counts
Federal University of Rio de Janeiro 1
Universite Libre de Bruxelles 1
Case Western Reserve University 1
Medtronic, Inc. 1
Harvey Mudd College 1
University of Liege 1
University of Essex 1
Universite Pierre et Marie Curie 1
Boise State University 1
University of Sheffield 1
Universite de Provence Aix-Marseille 1 1
Institute for Infocomm Research, A-Star, Singapore 1
Illinois Institute of Technology 1
National Technical University of Athens 1
University of Helsinki 1
University of Victoria 1
Loyola University of Chicago 1
Universidad de Malaga 1
Vanderbilt University 1
Mentor Graphics Corporation 1
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
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
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 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
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
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
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
Madrid Institute for Advanced Studies 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
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
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
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
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 Bologna 7
University of Cambridge 7
Swedish Institute of Computer Science 7
University of Verona 7
Ecole Normale Superieure 8
Pennsylvania State University 8
University of Amsterdam 8
AT&T Laboratories Florham Park 8
National University of Singapore 8
University of Wisconsin 8
Georgia Institute of Technology 8
Intel Corporation 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
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
Korea Advanced Institute of Science & Technology 10
INRIA Sophia Antipolis 10
University of the Saarland 10
Indian Institute of Technology, Bombay 11
Indiana University 11
University of Oxford 11
Rutgers University 11
University of Padua 12
University of Glasgow 12
University of California, Irvine 12
University of Waterloo 12
University of California, Santa Cruz 12
University of Genoa 12
Palo Alto Research Center 12
Microsoft Research Cambridge 12
Courant Institute of Mathematical Sciences 13
INRIA Institut National de Rechereche en Informatique et en Automatique 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
Institut de Recherche en Informatique et Systemes Aleatoires 15
University of Massachusetts Amherst 16
Northeastern University 16
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 26
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 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