ACM DL

ACM Transactions on

Programming Languages and Systems (TOPLAS)

Menu
Latest Articles

Foreword

Limitations of Partial Compaction

Compaction of a managed heap is a costly operation to be avoided as much as possible in commercial runtimes. Instead, partial compaction is often used to defragment parts of the heap and avoid space blowup. Previous study of compaction limitation provided some initial asymptotic bounds but no implications for practical systems. In this work, we... (more)

Polymorphic Manifest Contracts, Revised and Resolved

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

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

Well-known techniques exist for proving the soundness of subtyping relations with respect to type safety. However, completeness has not been treated... (more)

SPL

Big data is revolutionizing how all sectors of our economy do business, including telecommunication, transportation, medical, and finance. Big data comes in two flavors: data at rest and data in motion. Processing data in motion is stream processing. Stream processing for big data analytics often requires scale that can only be delivered by a... (more)

NEWS

TOPLAS participates in ORCID

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

Forthcoming Articles

Bibliometrics

Publication Years 1979-2017
Publication Count 1039
Citation Count 32091
Available for Download 1039
Downloads (6 weeks) 2762
Downloads (12 Months) 27492
Downloads (cumulative) 690354
Average downloads per article 664
Average citations per article 31
First Name Last Name Award
Jonathan Aldrich ACM Senior Member (2009)
Jose Nelson Amaral ACM Distinguished Member (2014)
ACM Senior Member (2012)
George S Avrunin ACM Distinguished Member (2006)
David F Bacon ACM Distinguished Member (2006)
Mordechai Ben-Ari ACM Distinguished Member (2009)
Andrew Birrell ACM Software System Award (1994)
Stephen Blackburn ACM Distinguished Member (2011)
Daniel Bobrow ACM Software System Award (1992)
ACM Programming Systems and Languages Paper Award (1974)
Hans Boehm ACM Distinguished Member (2006)
Robert S Boyer ACM Software System Award (2005)
Michael G Burke ACM Distinguished Member (2007)
Martin C Carlisle ACM Distinguished Member (2009)
ACM Senior Member (2006)
Dhruva R Chakrabarti ACM Senior Member (2009)
Siddhartha Chatterjee ACM Distinguished Member (2007)
Charles L A Clarke ACM Distinguished Member (2015)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
James R Cordy ACM Distinguished Member (2008)
Corinna Cortes ACM Paris Kanellakis Theory and Practice Award (2008)
Bronis R. De Supinski ACM Senior Member (2016)
ACM Gordon Bell Prize (2006)
Laura Dillon ACM Distinguished Member (2009)
ACM Senior Member (2009)
Evelyn Duesterwald ACM Distinguished Member (2010)
Matthew B Dwyer ACM Distinguished Member (2007)
Susan Eggers ACM Athena Lecturer Award (2009)
John R. Ellis ACM Doctoral Dissertation Award (1985)
E. Allen Emerson ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Dawson Engler ACM Grace Murray Hopper Award (2008)
Michael D. Ernst ACM Doctoral Dissertation Award
Honorable Mention (2000) ACM Doctoral Dissertation Award
Honorable Mention (2000)
Martin Erwig ACM Senior Member (2008)
Babak Falsafi ACM Senior Member (2007)
Matthias Felleisen ACM Karl V. Karlstrom Outstanding Educator Award (2009)
Kathleen S Fisher ACM Distinguished Member (2007)
Cormac Flanagan ACM Senior Member (2013)
Michael Franz ACM Distinguished Member (2006)
Keith Brian Gallagher ACM Senior Member (2016)
David Garlan ACM Senior Member (2008)
Maria L Gini ACM Distinguished Member (2006)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
David Gries ACM Karl V. Karlstrom Outstanding Educator Award (1995)
ACM Programming Systems and Languages Paper Award (1977)
David Paul Grove ACM Distinguished Member (2010)
ACM Senior Member (2006)
Manish Gupta ACM Distinguished Member (2009)
Mary W Hall ACM Distinguished Member (2010)
Kevin Hammond ACM Senior Member (2009)
David Harel ACM Software System Award (2007)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
Tim Harris ACM Senior Member (2007)
John L Hennessy ACM-IEEE CS Eckert-Mauchly Award (2001)
Michael Hind ACM Distinguished Member (2009)
Antony (Tony) Hosking ACM Distinguished Member (2012)
ACM Senior Member (2008)
Kenneth E. Iverson ACM A. M. Turing Award (1979)
Somesh Jha ACM Distinguished Member (2014)
Richard Jones ACM Distinguished Member (2006)
Mathai Joseph ACM Presidential Award (2010)
Frans Kaashoek ACM Prize in Computing (2010)
Zvi Kedem Outstanding Contribution to ACM Award (2012)
Donald E Knuth ACM Software System Award (1986)
ACM A. M. Turing Award (1974)
ACM Grace Murray Hopper Award (1971)
Simon Lam ACM Software System Award (2004)
Leslie Lamport ACM A. M. Turing Award (2013)
Butler W Lampson ACM A. M. Turing Award (1992)
ACM Software System Award (1984)
Ondrej Lhotak ACM Senior Member (2013)
Ninghui Li ACM Distinguished Member (2012)
Barbara Liskov ACM A. M. Turing Award (2008)
Nancy Lynch ACM Athena Lecturer Award (2012)
Zohar Manna ACM Programming Systems and Languages Paper Award (1974)
Sally A McKee ACM Senior Member (2013)
Kathryn Mckinley ACM Distinguished Member (2006)
ACM Senior Member (2006)
Robert C. Miller ACM Doctoral Dissertation Award
Honorable Mention (2002) ACM Doctoral Dissertation Award
Honorable Mention (2002)
J Strother Moore ACM Software System Award (2005)
Toshio Nakatani ACM Distinguished Member (2007)
George Necula ACM Distinguished Member (2016)
ACM Grace Murray Hopper Award (2001)
Susan S Owicki ACM Programming Systems and Languages Paper Award (1977)
David Lorge Parnas ACM Programming Systems and Languages Paper Award (1979)
Ron Perrott ACM Distinguished Service Award (2015)
Frank Pfenning ACM Senior Member (2007)
Amir Pnueli ACM Software System Award (2007)
ACM A. M. Turing Award (1996)
Lori L. Pollock ACM Distinguished Member (2010)
Ganesan Ramalingam ACM Distinguished Member (2009)
Thomas Reps ACM Doctoral Dissertation Award (1983)
John C Reynolds ACM Programming Systems and Languages Paper Award (1971)
Indrajit Roy ACM Senior Member (2015)
Barbara Gershon Ryder ACM Presidential Award (2008)
Sartaj K Sahni ACM Karl V. Karlstrom Outstanding Educator Award (2003)
Hanan Samet ACM Paris Kanellakis Theory and Practice Award (2011)
Bo Ingvar Sanden ACM Senior Member (2009)
Vivek Sarkar ACM Distinguished Member (2006)
Robert Schreiber ACM Distinguished Member (2006)
Daniel Siewiorek ACM-IEEE CS Eckert-Mauchly Award (1988)
Abraham Silberschatz ACM Karl V. Karlstrom Outstanding Educator Award (1998)
Barbara B Simons Outstanding Contribution to ACM Award (2001)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
Michael Sperber ACM Senior Member (2009)
Vugranam C Sreedhar ACM Distinguished Member (2009)
ACM Senior Member (2006)
Peter James Stuckey ACM Distinguished Member (2009)
Peter F Sweeney ACM Distinguished Member (2012)
ACM Senior Member (2009)
Andrew S. Tanenbaum ACM Karl V. Karlstrom Outstanding Educator Award (1994)
Robert E Tarjan ACM Paris Kanellakis Theory and Practice Award (1999)
ACM A. M. Turing Award (1986)
Walter F. Tichy ACM Distinguished Member (2010)
ACM Senior Member (2006)
Frank Tip ACM Distinguished Member (2008)
David M Ungar ACM Distinguished Member (2006)
ACM Doctoral Dissertation Award
Series Winner (1986)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
Richard C Waters ACM Distinguished Member (2008)
Elaine Weyuker ACM Presidential Award (2010)
David Whalley ACM Distinguished Member (2009)
ACM Senior Member (2009)
Jennifer Widom ACM Athena Lecturer Award (2015)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
Jeannette M. Wing ACM Distinguished Service Award (2014)
Niklaus E Wirth ACM A. M. Turing Award (1984)
ACM Programming Systems and Languages Paper Award (1978)
David S Wise Outstanding Contribution to ACM Award (2006)
Emmett Witchel ACM Doctoral Dissertation Award
Honorable Mention (2004) ACM Doctoral Dissertation Award
Honorable Mention (2004)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Benjamin G Zorn ACM Distinguished Member (2011)

First Name Last Name Paper Counts
Thomas Reps 17
Leslie Lamport 14
Martín Abadi 9
Jens Palsberg 9
Krzysztof Apt 8
Keshav Pingali 8
Mooly Sagiv 8
Saumya Debray 8
Peter Stuckey 8
Andrew Appel 7
Fred Schneider 7
Jayadev Misra 7
Kathryn McKinley 7
Mary Soffa 7
Manuel Hermenegildo 6
Benjamin Pierce 6
Ken Kennedy 6
Suresh Jagannathan 6
Cédric Fournet 6
Todd Millstein 6
Jan Heering 5
Charles Consel 5
Charles Fischer 5
Christopher Fraser 5
Naoki Kobayashi 5
Amer Diwan 5
Michael Franz 5
Greg Nelson 5
Erez Petrank 5
Susan Horwitz 5
Nissim Francez 5
Craig Chambers 5
Kim Marriott 5
Rajeev Alur 5
Ernest Emerson 5
Martin Rinard 5
Alex Aiken 5
Andrew Gordon 5
Maurice Bruynooghe 5
Jeffrey Foster 4
Maurice Herlihy 4
Paul Klint 4
Dhananjay Dhamdhere 4
Alan Demers 4
Tim Teitelbaum 4
Frank Tip 4
Raymond Boute 4
Michael Burke 4
Manfred Broy 4
Greg Morrisett 4
Thomas Henzinger 4
Anne Rogers 4
Vugranam Sreedhar 4
Jongdeok Choi 4
François Pottier 4
Davide Sangiorgi 4
Bjorn De Sutter 4
Orna Grumberg 4
Rajiv Gupta 4
Keith Cooper 4
Giuseppe Castagna 4
Lars Birkedal 4
Todd Proebsting 4
Gail Kaiser 4
Jacob Schwartz 4
Richard Kieburtz 4
Laurie Hendren 4
David Binkley 4
Eliot Moss 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
John Hennessy 4
Guy Blelloch 4
Toshio Nakatani 4
Joseph Morris 3
Olivier Danvy 3
Scott Stoller 3
Jens Krinke 3
Joseph Gil 3
Mitchell Wand 3
Robert Constable 3
Prithviraj Banerjee 3
Yanhong Liu 3
David Hanson 3
Valery Trifonov 3
Gilles Barthe 3
Helmut Seidl 3
Frank Piessens 3
Richard Holt 3
David Walker 3
Daniel Berry 3
Amir Ben-Amram 3
Gregory Andrews 3
Hongseok Yang 3
Fred Mesnard 3
Jørgen Steensgaard-Madsen 3
Fred Krogh 3
Paul Attie 3
John Mitchell 3
Philip Wadler 3
Atsushi Igarashi 3
Aravinda Sistla 3
Stephen Freund 3
Michael Hind 3
Sophia Drossopoulou 3
Daniel Marino 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
M Sleep 3
George Necula 3
Stephen Blackburn 3
Atsushi Ohori 3
Kwangkeun Yi 3
David Gries 3
Shaz Qadeer 3
Matthew Hennessy 3
William Weihl 3
Matthias Blume 3
Albert Cohen 3
Daniel Rosenkrantz 3
Reinhard Wilhelm 3
Robert Harper 3
Martin Hirzel 3
Karthikeyan Bhargavan 3
Mark Harman 3
Lori Pollock 3
Shaula Yemini 3
Bernhard Steffen 3
Yongfong Lee 3
Bart Jacobs 3
Ralph Griswold 3
K Chandy 3
Roberto Giacobazzi 3
Linda Torczon 3
Richard Waters 3
Frank Mueller 3
Peter Thiemann 3
Gary Leavens 3
Yoav Zibin 3
Fausto Spoto 3
Christian Schulte 3
Hideaki Komatsu 3
Harald Søndergaard 3
Abhik Roychoudhury 3
Jacques Cohen 3
Ferruccio Damiani 3
Arvind 3
Barbara Ryder 3
Jens Knoop 2
Franco Turini 2
Tachio Terauchi 2
Toshio Suganuma 2
César Kunz 2
Niklaus Wirth 2
Enrico Pontelli 2
Michael Smith 2
Massimiliano Poletto 2
Ephraim Korach 2
Jan Rekers 2
Moreno Falaschi 2
Ceriel Jacobs 2
Shlomit Pinter 2
Daniel Yellin 2
Coimbatore Ramakrishnan 2
Sandro Etalle 2
David Ungar 2
Steve Carr 2
Patrice Godefroid 2
Sergio Maffeis 2
Roberto Amadio 2
Pierpaolo Degano 2
Farn Wang 2
Xavier Leroy 2
Xavier Vera 2
Tamara Rezk 2
Michael Mehl 2
Haruo Hosoya 2
Radu Rugina 2
Peter Sweeney 2
Toshiaki Yasue 2
Rudolf Eigenmann 2
Peter Lee 2
Peter Pepper 2
Tao Yang 2
Larry Rudolph 2
Ronald Watro 2
Haim Kaplan 2
Jeffery Westbrook 2
Ugo Montanari 2
Thomas Kistler 2
Yehuda Afek 2
James Burns 2
Catuscia Palamidessi 2
Thomas Jensen 2
Sanjay Rajopadhye 2
David Turner 2
Robert Dewar 2
Shingtsaan Huang 2
F Burton 2
Roland Yap 2
Frank Zadeck 2
Maurizio Gabbrielli 2
Peter Sewell 2
Krishna Palem 2
Stefan Freudenberger 2
Paola Giannini 2
Konstantinos Sagonas 2
Maria García De La Banda 2
Étienne Payet 2
David Padua 2
Hans Boehm 2
William Winsborough 2
Martin Feather 2
Laura Dillon 2
Carroll Morgan 2
Pierre Ganty 2
Wonchan Lee 2
David Whalley 2
Boris Lubachevsky 2
Peter Breuer 2
Sven Verdoolaege 2
Andreas Podelski 2
John Boyland 2
Pierre Wolper 2
Uday Bondhugula 2
David Wortman 2
Karl Crary 2
Marc Snir 2
Lawrence Paulson 2
Ian Foster 2
Mark Wegman 2
Westley Weimer 2
Peichi Wu 2
Michele Bugliesi 2
Jonathan Aldrich 2
John Williams 2
Henri Bal 2
George Avrunin 2
Susan Graham 2
Robert Strom 2
Kwangmoo Choe 2
Christian Collberg 2
Heike Wehrheim 2
Michael Leuschel 2
Ronald Olsson 2
Norman Ramsey 2
Malcolm Tyrrell 2
Xiaotong Zhuang 2
Davide Ancona 2
Danny De Schreye 2
Dino Mandrioli 2
Kohei Honda 2
Wilfred Hansen 2
Motohiro Kawahito 2
Marvin Solomon 2
Zohar Manna 2
Dennis Volpano 2
Norman Cohen 2
Vivek Sarkar 2
Max Copperman 2
Walter Tichy 2
Vincent Simonet 2
Ulrik Schultz 2
Mihalis Yannakakis 2
John Ashley 2
Alexander Bunkenburg 2
Dan Grossman 2
Antonio González 2
David Wonnacott 2
Jasper Kamperman 2
Pum Walters 2
Terrance Swift 2
Jan Van Den Bos 2
Pramod Joisha 2
Per Brand 2
Amir Pnueli 2
Bradley Vander Zanden 2
Scott Nettles 2
Timothy Hickey 2
Gerda Janssens 2
Andrew Wright 2
Anne Mulkers 2
Junghee Lim 2
Flemming Nielson 2
Eljas Soisalon-Soininen 2
Neil Jones 2
Ronald Morrison 2
Gregor Snelting 2
Eran Yahav 2
Koen De Bosschere 2
Amr Sabry 2
Constantine Polychronopoulos 2
Elliot Kolodner 2
Samir Genaim 2
Umut Acar 2
Elena Zucca 2
Edmond Schonberg 2
Steve Zdancewic 2
Eli Gafni 2
Paul Hudak 2
Max Hailperin 2
James Donahue 2
Manish Gupta 2
Samuel Midkiff 2
Chinsoon Lee 2
Steve Tjiang 2
Ron Cytron 2
Sriram Rajamani 2
Monica Lam 2
Wilson Hsieh 2
Daniel Bobrow 2
Bratin Saha 2
Alexey Loginov 2
Hakjoo Oh 2
Kihong Heo 2
Nicolas Gold 2
Arthur Charlesworth 2
Antonio Brogi 2
Robert Cameron 2
Michael Merritt 2
Joseph Bates 2
Rajive Bagrodia 2
Michael Schwartzbach 2
I Ramakrishnan 2
David Wall 2
Gregg Townsend 2
Nils Gesbert 2
Gopal Gupta 2
Carlo Ghezzi 2
John Reynolds 2
Martin Odersky 2
Alan Carle 2
Karl Lieberherr 2
Gérard Boudol 2
Nobuko Yoshida 2
Robert Schreiber 2
Peter Van Roy 2
Dominic Duggan 2
David Pichardie 2
Saman Amarasinghe 2
Daniel Le Métayer 2
Mike Dodds 2
Francesco Ranzato 2
Simon Peyton-Jones 2
Markus Müller-Olm 2
Jan Vitek 2
David Long 2
Roland Backhouse 2
Adam Buchsbaum 2
Fred Chow 2
Ralf Scheidhauer 2
Seif Haridi 2
David Luckham 2
Christos Dimoulas 2
Scott Smith 2
Luc Moreau 2
K Leino 2
Pascal Fradet 2
Michael Wolfe 2
Philip Bernstein 2
Noah Torp-Smith 2
Maria De La Banda 2
Matthew Hertz 2
Anders Møller 2
Carl Landwehr 2
Mahadevan Ganapathi 2
Soomook Moon 2
Richard Gerber 2
Pedro Diniz 2
Gary Lindstrom 2
Pascal Van Hentenryck 2
José Amaral 2
Stephen Tse 2
Siddhartha Chatterjee 2
Josep Llosa 2
Cliff Click 2
Wan Fokkink 2
Gert Smolka 2
Brad Myers 2
Uzi Vishkin 2
Hassan Aït-Kaci 2
Annalisa Bossi 2
Anindya Banerjee 2
Jonathan Protzenko 1
Julian Dolby 1
Michelle Strout 1
Andreas Zeller 1
Paolo Sipala 1
Cliff Young 1
Graeme Gange 1
Micha Shirar 1
Elia Weixelbaum 1
Zhenyu Qian 1
Katsuro Inoue 1
Leon Osterweil 1
Saniya Ben Hassen 1
Andrea Schaerf 1
Lawrence Snyder 1
Danny Dolev 1
Bijan Arbab 1
Alessandro Pellegrini 1
Barbara Lerner 1
David Garlan 1
Jean Bergeretti 1
Douglas Dunlop 1
Sven Apel 1
DeLesley Hutchins 1
Nachshon Cohen 1
Stephen Michell 1
Nikolay Mateev 1
David Gelernter 1
Gerhard Schellhorn 1
Mads Tofte 1
R Dybvig 1
Taro Sekiyama 1
Harel Paz 1
Gareth Stoyle 1
Gavin Bierman 1
Masato Takechi 1
Joylyn Reed 1
Raymond Yeh 1
Pieter Olivier 1
Loris D'antoni 1
Nabil Layaïda 1
Mangala Nanda 1
John Gallagher 1
P Spira 1
Samuel Kamin 1
Christopher Anderson 1
Mikel Luján 1
Geoffrey Brown 1
Sapan Bhatia 1
Alban Douillet 1
Paul Hilfinger 1
Kasper Svendsen 1
Joachim Parrow 1
Ittai Balaban 1
Brad Calder 1
Jan Smans 1
Denis Caromel 1
Nengfa Zhou 1
Deepak Garg 1
C Mohan 1
Peter Wallis 1
Abha Moitra 1
Jisheng Zhao 1
Christopher Dutchyn 1
Edward Lycklama 1
Clinton Foulk 1
Vittoria Gianuzzi 1
Cordelia Hall 1
David Sands 1
John Hauser 1
Sylvain Collange 1
Fernando Pereira 1
Min Aung 1
Richard Joiner 1
Raoul Strackx 1
Clinton Jeffery 1
Sergiu Hart 1
Robert Scheifler 1
Nick Benton 1
Barton Miller 1
David Gudeman 1
A Böhm 1
Frank Jackson 1
Frank De Boer 1
Edward Wimmers 1
M Ertl 1
Kevin Casey 1
Werner Dietl 1
Peter Müller 1
Michael Petter 1
Yichen Xie 1
Jan Smans 1
Daniel Frampton 1
Henning Rohde 1
Paolo Bottoni 1
Massimo Bartoletti 1
Yutao Zhong 1
William Evans 1
Milind Girkar 1
Chris Hankin 1
Kedar Swadi 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
Irene Greif 1
R Earle 1
Douglas Clark 1
David Kosbie 1
Richard Halterman 1
Chris Andreae 1
Marco Gavanelli 1
Yoav Ossia 1
Massimo Merro 1
Mats Carlsson 1
John Hannan 1
Minghui Yang 1
Steven Reiss 1
Prasun Dewan 1
Kenneth Knowles 1
Matthew Esquivel 1
Luís Fernández 1
Dibyendu Das 1
U Ramakrishna 1
Alberto Faro 1
Robert Winner 1
Craig Damon 1
Erik Ernst 1
Babak Falsafi 1
Olaf Chitil 1
Shihwei Liao 1
Michael Fischer 1
Eugene Meyers 1
Nancy Lynch 1
Somnath Ghosh 1
Simon S Lam 1
Matthias Hauswirth 1
Tim Brecht 1
Marie Jakobs 1
Eva Darulova 1
Viktor Kuncak 1
Brian Norris 1
Somashekaracharya Bhaskaracharya 1
Sukyoung Ryu 1
Karla Saur 1
Matthai Philipose 1
Reinhard Von Hanxleden 1
Fabien Quilleré 1
Peter Stuckey 1
Emmett Witchel 1
Paul Spirakis 1
Hong Tang 1
John Ramsdell 1
William Farmer 1
Hikaru Yagi 1
David McAllester 1
S Puroshothaman 1
J Kennaway 1
Jonathan Young 1
Robert Watson 1
Jeffrey Tsai 1
Anish Arora 1
Patricia Hill 1
Joseph Park 1
Edward Ashcroft 1
William Wadge 1
Yves Kodratoff 1
Richard Hobson 1
Gilles Muller 1
Andy Wellings 1
M Thomason 1
Tim Nicholson 1
Vijay Menon 1
Fred Templin 1
Pamela Zave 1
Tim Harris 1
Oukseh Lee 1
Agustín Fernández 1
Dereck Oppen 1
Richard Brent 1
V Rajan 1
Charles Clarke 1
Sean Zhang 1
Rance Cleaveland 1
Geoffrey Washburn 1
William Howden 1
Gilberto Filé 1
Paul Steckler 1
Vincent Russo 1
Frank Pfenning 1
David Stoutamire 1
Isabelle Attali 1
Larry Jones 1
Arie Kaufman 1
Richard Reitman 1
Vincent Laporte 1
Sartaj Sahni 1
Jun Shirako 1
Matko Botinčan 1
Wolfgang Polak 1
T Strickland 1
Michael Emmi 1
Mark Linton 1
Jurgen Vollmer 1
Geoffrey Smith 1
Lal George 1
Andreas Lochbihler 1
Nicholas Pippenger 1
Robert Halstead 1
Pieter Agten 1
Cédric Lhoussaine 1
Stefan Staiger-Stohr 1
Colin Bleckner 1
Fabienne Eigner 1
Hirofumi Hotta 1
Stefan Wehr 1
Costas Courcoubetis 1
William Thies 1
Frédéric Vivien 1
Sunae Seo 1
Jonathan Moore 1
Rupak Majumdar 1
Mandana Vaziri 1
Lakshminarayanan Renganarayanan 1
Fabian Emmes 1
Carsten Fuhs 1
Brian Demsky 1
Éric Tanter 1
Rita Altucher 1
Naiwei Lin 1
Chungkuo Chang 1
Jesper Bengtson 1
Lenore Mullin 1
Matthias Raffelsieper 1
Wim Vanhoof 1
Tushar Mohan 1
Pierre Humblet 1
Laurence Tratt 1
Colin Fidge 1
Mads Ager 1
Roland Ducournau 1
Alok Choudhary 1
Henk Vandecasteele 1
Richard Sites 1
Thomas Lengauer 1
Shlomi Dolev 1
Sven Schewe 1
Peng Zhao 1
Michael Carey 1
Daniel Wang 1
Jaume Abella 1
Jay Hoeflinger 1
Zvi Kedem 1
Serdar Taşiran 1
Sigurd Meldal 1
Jon Sneyers 1
Bart Demoen 1
A Lopez 1
John Korb 1
Sun Chan 1
KouChung Tai 1
Diane Pozefsky 1
Francesca Rossi 1
Ronald Perrott 1
Dario Giuse 1
Pedro Szekely 1
Laurian Chirica 1
Boaz Patt-Shamir 1
Christopher Spooner 1
M Williams 1
Evelina Lamma 1
Allan Gottlieb 1
François Irigoin 1
James Purtilo 1
Xinyu Feng 1
Alexander Kaiser 1
Markus Mock 1
Gianfranco Rossi 1
Donald Porter 1
Lorenzo De Carli 1
Eric Wagner 1
J Bergeron 1
Josyularamachandra Rao 1
Ronan Sleep 1
K Sankaranarayanan 1
Seppo Sippu 1
Jacob Brunekreef 1
Tim Wagner 1
Nir Shavit 1
Charles Krueger 1
Arnaud Spiwack 1
Per Andersen 1
Sathyanarayanan Thammanur 1
Karl Drechsler 1
Loren Simpson 1
Christopher Vick 1
Ting Yang 1
Milenko Drinić 1
Hoi Vo 1
Ulrich Moncke 1
Victor Basili 1
K Kumar 1
Dennis Jeffrey 1
Jan Prins 1
Michael Isard 1
María Alpuente 1
Atsushi Igarashi 1
Gary Levin 1
David Warren 1
Irving Elshoff 1
Kelvin Nilson 1
Michael Coffin 1
Assaf Kfoury 1
Seongsoo Hong 1
Richard Warburton 1
Kevin Millikin 1
George Leeman 1
René Thiemann 1
Darko Stefanović 1
Bronis De Supinski 1
Owen Kaser 1
Christian Skalka 1
Avi Owshanko 1
George Caragea 1
Rafael Corchuelo 1
Maria Gini 1
Giuseppina Gini 1
Peter Dencker 1
Karl Durre 1
James Larus 1
Martin Hofmann 1
Grant Weddell 1
Chongliang Ooi 1
Roger Nasr 1
Webb Miller 1
Jennifer Widom 1
Tevfik Bultan 1
Joxan Jaffar 1
Marina Lifshin 1
Friedemann Mattern 1
Thomas Gawlitza 1
Robert Fuhrer 1
Gerald Baumgartner 1
Robert Cartwright 1
Benjamin Zorn 1
Giuseppe Lettieri 1
Wolfram Schulte 1
Sebastian Thrun 1
Stephan Murer 1
Sidi Ehmety 1
Steven Dawson 1
David Arnold 1
Rex Page 1
Bengt Jonsson 1
Jan Vitek 1
Giovanni Lagorio 1
Gregor Kiczales 1
José Piquer 1
Vassos Hadzilacos 1
Syed Islam 1
John Field 1
Gabriella Dodero 1
Russell Quong 1
Kurt Keutzer 1
Karen Seidel 1
Arie De Bruin 1
Gopalakrishnan Vijayan 1
Philip Merlin 1
Bharat Jayaraman 1
Deborah Whitfield 1
Henk Corporaal 1
Juan Touriño 1
Mahmut Kandemir 1
Arthur Grand 1
Robert Findler 1
Robert Muth 1
Cristian Zamfir 1
Yaoqing Gao 1
Joel Richardson 1
Christopher Richards 1
Gosia Wrzesińska 1
John Reppy 1
Alessandro Warth 1
John Greiner 1
Richard Hamlet 1
Manuel Serrano 1
Peng Tu 1
Patrick Lam 1
Dhruva Chakrabarti 1
Noah Prywes 1
Derek Oppen 1
Allen Leung 1
Michael Butler 1
Adrian Fiech 1
David Martin 1
Richard Beach 1
Jan Pedersen 1
Yuqiang Huang 1
Daryl Pregibon 1
Kathleen Fisher 1
Corinna Cortes 1
Swarat Chaudhuri 1
Aditya Nori 1
Robert Müller 1
James Noble 1
James McGraw 1
Ori Ben-Yitzhak 1
Peter Buhr 1
Woosuk Lee 1
Keith Gallagher 1
Jacob Katzenelson 1
Munagala Ramanath 1
Stephen North 1
Karl Ottenstein 1
Edward Lee 1
Eric Dujardin 1
Eric Stoltz 1
Jean Larcheveque 1
John Gilbert 1
Anthony Sloane 1
Christopher League 1
Philip Koopman 1
Bageshri Karkare 1
Christoph Kirsch 1
Christian Grothoff 1
Nathan Keynes 1
Nathaniel Nystrom 1
Emma Turetsky 1
Christoph Hoffmann 1
Richard Jones 1
Andrew Black 1
Oscar Nierstrasz 1
Natividad Madrid 1
Carlos Delgado 1
Jon Mauney 1
IkSoon Kim 1
Alexandros Tzannes 1
Kwangkeun Yi 1
Chris Laffra 1
George Milne 1
Scott McPeak 1
Jeremy Condit 1
R Sekar 1
Oliver Rüthing 1
T Vijaykumar 1
Vincenza Carchiolo 1
Antonella Di Stefano 1
David Gifford 1
Zhiming Liu 1
Eshrat Arjomandi 1
Tom Rothamel 1
Ninghui Li 1
Konstantin Läufer 1
Brian Murphy 1
Michael Benedikt 1
Michael and Walter 1
Paraskevas Yiapanis 1
Andreas Gal 1
Hanan Samet 1
Matthew Parkinson 1
Luca Martini 1
Jonas Skeppstedt 1
Stephen Omohundro 1
Steven Skiena 1
Stefano Dissegna 1
David von Bank 1
Norman Cohen 1
Prakash Panangaden 1
PerngTi Ma 1
Rick Cattell 1
Ole Madsen 1
Jim Des Rivières 1
Françoise André 1
Đurica Nikolić 1
Rob Gerth 1
Michael Tautschnig 1
David Espinosa 1
Richard Conway 1
Asumu Takikawa 1
Jon Solworth 1
Jan Bergstra 1
M Anicona 1
Mary Harrold 1
Annabelle McIver 1
Aloysius Mok 1
Robert Nix 1
Malcolm Atkinson 1
Dave Clarke 1
Christopher Stone 1
Xavier Rival 1
Nicholas Haines 1
Darrell Kindred 1
Thierry PetitJean 1
Joe Warren 1
Yihkuen Tsay 1
Edgar Knapp 1
Sudhir Aggarwal 1
Jared Darlington 1
Michael Gerlek 1
Shanghua Teng 1
Carole Delporte-Gallet 1
Mariangiola Dezani-Ciancaglini 1
Taisook Han 1
Andrey Rybalchenko 1
Michael Greenwald 1
Satish Narayanasamy 1
Daegon Kim 1
Sebastian Fischmeister 1
Tomáš Kalibera 1
Aravind Acharya 1
Ronald Garcia 1
Shaye Koenig 1
Thomas Pennello 1
Frank DeRemer 1
Hendrik Boom: 1
Ralphjohan Back 1
William Mallgren 1
Shay Kutten 1
Hiroyuki Seki 1
Clyde Kruskal 1
Charles Wetherell 1
Fritz Henglein 1
Theodore Baker 1
David Parnas 1
Fer De Vries 1
Lawrence Crowl 1
R McKeag 1
Yonghong Song 1
Michael Sonnenschein 1
Antonio Fernández 1
Darko Kirovski 1
Julia Lawall 1
Jürgen Börstler 1
Charles McDowell 1
Bo Sandén 1
Eijiro Sumii 1
Martin Wirsing 1
Mohammad Haghighat 1
Marty Ossefort 1
Guei Lueh 1
David Barstow 1
David Bacon 1
Hanbok Lee 1
Jakob Rehof 1
Wim Hesselink 1
Aaron Bohannon 1
Mic Bowman 1
Mohamed Gouda 1
Dariusz Biernacki 1
Robert Johnson 1
Rajiv Joshi 1
S Ramesh 1
Shanshan Huang 1
Yannis Smaragdakis 1
Peter Schneider-Kamp 1
Jaydeep Marathe 1
Stijn Vansummeren 1
Johan Janssen 1
Tobias Nipkow 1
Stefaan Decorte 1
Jay Ramanathan 1
David, Wise 1
Gian Ferrari 1
Patrick O'Keefe 1
Lorraine de Vere 1
William Jalby 1
Christine Fricker 1
Paul Kelly 1
Amey Karkare 1
Tom Hirschowitz 1
Dawson Engler 1
Stefano Bistarelli 1
Gudjon Gudjonsson 1
Orna Kupferman 1
Paweł Wojciechowski 1
Asis Unyapoth 1
Radu Grosu 1
Manuel Mohr 1
Michela Milano 1
Irit Goft 1
Morten Rhiger 1
Hongjin Liang 1
Ming Fu 1
Joseph Varghese 1
Johannes Henkel 1
Christian Queinnec 1
Matthew Harren 1
Kevin Hamlen 1
Neelam Soundararajan 1
Bruno Mojana 1
Eugene Myers 1
Anna Bendersky 1
Mihai Christodorescu 1
Nikolaos Papaspyrou 1
Efe Yardimci 1
Evan Tick 1
Naftaly Minsky 1
Paul Lowney 1
Chang Li 1
Trevor Jim 1
Peter Steenkiste 1
Marcel Beemster 1
A Shankar 1
Valentin Turchin 1
Karl Schimpf 1
Roberto Barbuti 1
Giorgio Levi 1
Bruce Leverett 1
Thomas Szymanski 1
Willem De Roever 1
Tushar Sharma 1
Jorge Navas 1
Michael Sartin-Tarm 1
Karthikeyan Sankaralingam 1
A Dubuque 1
Vance Waddle 1
Andrew MacDonald 1
M Hull 1
Ravi Sethi 1
Thomas LeBlanc 1
Lin Yu 1
Brad Nemanich 1
Zhiyuan Li 1
Takuya Katayama 1
Arthur Sorkin 1
Tadao Murata 1
Lubomir Bic 1
Maurício Serrano 1
Silvia Crafa 1
Richard Fateman 1
Alfred Brown 1
Richard Connor 1
Bob Johnson 1
Justin Maris 1
Tingjian Ge 1
Scott Schneider 1
Doron Rotem 1
Valmir Barbosa 1
Manuel Bermudez 1
Agostino Cortesi 1
Michael Furr 1
Nicoletta De Francesco 1
Veroniek Dumortier 1
Utpal Banerjee 1
Radha Jagadeesan 1
Dale Grit 1
J Routeau 1
Jean Banâtre 1
Salvatore Ruggieri 1
Jade Alglave 1
Luc Maranget 1
Robert Giegerich 1
Zheng Li 1
Maborobert Ito 1
Peter Wallis 1
Santiago Zanella Béguelin 1
M Morgavi 1
Albert Wang 1
Kevin Hammond 1
Jacobo Valdes 1
Stefano Calzavara 1
David Naumann 1
Bodil Biering 1
Venkatesh Ranganath 1
Hanspeter Mössenböck 1
Robert Netzer 1
Eelco Visser 1
Runyao Duan 1
Debasish Banerjee 1
Elena Marchiori 1
Eric Amiel 1
Stavros Tripakis 1
Ben Lickly 1
Steven Kurlander 1
Brent Hailpern 1
Clark Thomborson 1
David Gregg 1
Mingsheng Ying 1
J Foster 1
Thibaut Balabonski 1
Antony Hosking 1
Lubomír Bulej 1
Gregor Wagner 1
Thomas Wolf 1
David Fuchs 1
John Derrick 1
Michael Greenberg 1
J Moore 1
José Llabería 1
Rajiv Mirani 1
David Lacey 1
Stephan Swiderski 1
Gregor Bochmann 1
Andy Yoo 1
Olivier Tardieu 1
Rudrapatna Shyamasundar 1
Manuel Arenaz 1
Ramón Doallo 1
Nagaraj Shenoy 1
Piero Mussio 1
Paul Thomson 1
Jonathan Schaeffer 1
Peter O'Hearn 1
Jacob Matthews 1
George Candea 1
Corey Yeatman 1
François Pessaux 1
Raúl Silvera 1
Gang Tan 1
Weingan Chin 1
Cun Xiao 1
Michał Walicki 1
Luiz DeRose 1
Rinus Plasmeijer 1
Steven Anderson 1
Jakob Nielsen 1
Richard McDaniel 1
Pieter Hartel 1
Robert Hagmann 1
Bruce Childers 1
Mark Moriconi 1
Nerina Bermudo 1
Francesca Levi 1
Tomáš Poch 1
Daejun Park 1
Alain Frisch 1
Eugen Schenfeld 1
Eric Walkingshaw 1
John Ellis 1
Christopher Hayden 1
Thomas Wahl 1
Matt Elder 1
Robert Paige 1
Brian Grant 1
Susan Owicki 1
Behnam Robatmili 1
Kenneth Birman 1
Michael Reiter 1
John Reif 1
Kai Shen 1
Nachum Dershowitz 1
F Kurki-Suonio 1
Shlomo Moran 1
Uwe Aßmann 1
Helmut Richter 1
Richard Kennaway 1
Andrea Ribichini 1
Andrew Kelly 1
Vincent Partington 1
Alberto Martelli 1
Jan Klop 1
Preston Briggs 1
Stephen Taylor 1
David Jefferson 1
Eric Juan 1
Sergei Gorlatch 1
C Chang 1
Patrick Eugster 1
Tomoyuki Higuchi 1
Thomas Murtagh 1
Buğra Gedik 1
Bernard Moret 1
Dexter Kozen 1
Maria Meo 1
Ed Anson 1
Donald Knuth 1
Sabine Glesner 1
Ulrich Kremer 1
Jay Ligatti 1
George Porter 1
Iulian Neamtiu 1
Mads Olesen 1
Phil Stocks 1
Shmuel Katz 1
Harish Patil 1
Robert Mueller 1
Aldo Eisma 1
David Schmidt 1
Johannes Heuft 1
Raymie Stata 1
Stefano Mannucci 1
James Cheney 1
Christian Urban 1
Giuseppe Pappalardo 1
Eberhard Bertsch 1
Bruno De Fraine 1
Jan Hoffmann 1
Mayur Naik 1
Seonwook Kim 1
Jérôme Vouillon 1
Jonathan Bowen 1
Paul Carini 1
Noam Rinetzky 1
Daniel Dantas 1
Stephanie Weirich 1
Albert Greenberg 1
Alan Finlay 1
Dirk Grunwald 1
Cinzia Bernardeschi 1
Paolo Masci 1
Sungwoo Park 1
Per Stenström 1
Karoline Malmkjær 1
Robert Sebesta 1
Charles Shub 1
Dennis Dams 1
Harald Ganzinger 1
Ajay Chander 1
Tim Sheard 1
Douglas Comer 1
David Harel 1
Paolo Ciancarini 1
Srinivas Devadas 1
Diogo Sampaio 1
Marco Patrignani 1
Steven Pemberton 1
Derek Dreyer 1
Tobias Grosser 1
Matteo Maffei 1
Laurent Mauborgne 1
Matthew Dwyer 1
Mark Van Den Brand 1
Simon Helsen 1
Jinpyo Park 1
Larry Peterson 1
Jonathan Leivent 1
Gianfranco Bilardi 1
Steve Gregory 1
Benjamin Livshits 1
John Kodumal 1
Jürgen Giesl 1
Sally McKee 1
Robert Gallager 1
Hussein Zedan 1
Adrian Johnstone 1
Gerwin Klein 1
Nathan Chong 1
Duane Szafron 1
Xipeng Shen 1
Michael Sperber 1
Chunghao Huang 1
José Moreira 1
Amitabha Sanyal 1
Daniel Schuh 1
Martin Carlisle 1
G Venkatesh 1
Frans Kaashoek 1
Neal Glew 1
Peter Buneman 1
Alan Borning 1
Albert, Meyer 1
Moshe Vardi 1
Norihisa Suzuki 1
Robert Miller 1
Kim Bruce 1
Dwight Hare 1
Jeff Sanders 1
Doug Orleans 1
Parthasarathy Madhusudan 1
Ganesan Ramalingam 1
Paulo Marques 1
Khayri Ali 1
Gangryung Uh 1
Ilan Bar-On 1
Michael O'Donnell 1
Peter Dickman 1
Javier Esparza 1
Antonio Ruiz 1
Rodney Oldehoeft 1
Barry Rosen 1
Lennart Kats 1
David Lamb 1
Bern Martens 1
Eric Simon 1
Susi Dulli 1
Nicoletta Cocco 1
Joseph Skudlarek 1
Hugues Fauconnier 1
Stephen Masticola 1
Thomas Marlowe 1
Daniel Siewiorek 1
Andrea Flexeder 1
Xing Wu 1
Marc Brockschmidt 1
Stephan Falke 1
Jürgen Giesl 1
Prathmesh Prabhu 1
Stefan Brunthaler 1
Roger Wolff 1
Tycho Andersen 1
Robert Shostak 1
Marshall Pease 1
Susan Eggers 1
Peter Schachte 1
Cristian Estan 1
Anders Ravn 1
Jesse Wright 1
James Thatcher 1
Richard Karp 1
Camil Demetrescu 1
Irene Finocchi 1
Jacques Loeckx 1
Harry Hunt 1
Denise Ombres 1
Mikkel Thorup 1
Ron Pinter 1
Tao Wang 1
Luigi Liquori 1
Daniel Cooke 1
Barak Pearlmutter 1
John Clements 1
Manfred Stadel 1
Robert Schwanke 1
Alexandru Nicolau 1
Niels Christensen 1
Miguel Toro 1
David Streeter 1
Daniel Jackson 1
Dino Pedreschi 1
Izidor Gertner 1
Hans Leiß 1
Mark Korsloot 1
Michael Georgeff 1
Rémi Douence 1
Gerald Fisher 1
Hang Pham 1
Tim Brecht 1
Margaret Martonosi 1
Bernd Krieg-Brückner 1
Michael Ernst 1
Mani Chandy 1
David Monniaux 1
Calton Pu 1
Dennis Shasha 1
Gerard Tel 1
Lloyd Allison 1
Adam Kieżun 1
Michael Mozer 1
Francesco Logozzo 1
Aleksandar Nanevski 1
Arthur Bernstein 1
Christos, Papadimitriou 1
Ajit Pai 1
Richard Waldinger 1
Richard Lipton 1
Nayeem Islam 1
Valdis Berzins 1
Ted Lewis 1
Gilles Barthe 1
Ahmed Bouajjani 1
Otto Juelich 1
Stan Liao 1
Rafael De Souza 1
Patrick Sansom 1
Michael Frechtling 1
Andreas Rossberg 1
John Morrisett 1
John Žic 1
Yuan Feng 1
Mingsheng Ying 1
Richard Kelsey 1
Bernard Carré 1
James Cordy 1
Scott Hudson 1
Aske Christensen 1
Urs Hölzle 1
Chauwen Tseng 1
Mordechai Ben-Ari 1
Nicola Santoro 1
Alfred Aho 1
Daniel Friedman 1
Bruno Blanchet 1
Andrew Birrell 1
Wolf Zimmermann 1
Paul Reynolds, 1
Marta Jiménez 1
Frank Anger 1
William Landi 1
Todd Knoblock 1
Marvin Paull 1
Titus Purdin 1
Zena Ariola 1
Sebastian Unger 1
Paweł Urzyczyn: 1
Jerzy Tiuryn 1
Mary Fernández 1
Keith Clark 1
Margus Veanes 1
David Molnar 1
Pierre Genevès 1
Ambuj Singh 1
Harry Hunt 1
W Carlisle 1
Yunhong Zhou 1
Michael Burrows 1
Butler Lampson 1
Kemal Ebcioğlu 1
Sukumar Ghosh 1
N Raja 1
Elizabeth Scott 1
Richard Carlsson 1
Jagannathan Ramanujam 1
Maria Costabile 1
Robert Tarjan 1
SsuCheng Liu 1
Edward Robertson 1
Alan Schmitt 1
Abhayendra Singh 1
Madanlal Musuvathi 1
Christian Hammer 1
Richard Jones 1
Lieven Eeckhout 1
Per Larsen 1
Edward Smith 1
Daniel Kroening 1
Carla Piazza 1
Agostino Dovier 1
Nikolas Gloy 1
Michael Bond 1
Indrajit Roy 1
Tony Nowatzki 1
William Appelbe 1
Timothy Budd 1
Francesca Scozzari 1
Randy Allen 1
Janice Cuny 1
Wuxu Peng 1
Geoffrey Clemm 1
Adrienne Bloss 1
Alon Lavie 1
Scott Smolka 1
Yuhjzer Joung 1
J Rushton 1
Jeffrey Siskind 1
Cong Fu 1
C Jay 1
Elaine Weyuker 1
Craig Lee 1
Robert Glück 1
J Arsac 1
Alan Dearle 1
Richard Schlichting 1
Cliff Jones 1
Lars Clausen 1
Polyvios Pratikakis 1
Aaron Keen 1
Vijay Nagarajan 1
R Gonzalez 1
William Ogden 1
George Ernst 1
Ludo Van Put 1
Ben Sijtsma 1
Rishiyur Nikhil 1
Adam Betts 1
Jeroen Ketema 1
Germán Puebla 1
Bruce McKenzie 1
Olivier Temam 1
Shimin Cui 1
Siaucheng Khoo 1
Rob Van Nieuwpoort 1
Bruno De Bus 1
Yunheung Paek 1
Jason Ryder 1
Roberto Ierusalimschy 1
Zhengqin Luo 1
Robert Kennedy 1
Eric Bodden 1
Amir S. Shastry 1
Robert Van Gent 1
Polle Zellweger 1
Peter Welch 1
Tulika Mitra 1
Yifeng Chen 1
Supratik Chakraborty 1
Sven Stork 1
Karl Naden 1
Hans Van Staveren 1
Paola Mello 1
Ashif Harji 1
Ernst Olderog 1
Jeehoon Kang 1
Gael Buckley 1
Yossi Levanoni 1
Bhargav Gulavani 1
Angelo Morzenti 1
Shane Markstrum 1
Sheng Chen 1
Arne Glenstrup 1
James Riely 1
Rajeev Barua 1
B Maher 1
David Stewart 1
Mila Preda 1
Benjamin Grégoire 1
David Bernstein 1
Robert Boyer 1
Jan Pachl 1
Baudouin Charlier 1
Richard Bird 1
Norman Foo 1
Christopher Haynes 1
Ali Adl-Tabatabai 1
Jörg Kienzle 1
Amitabh Srivastava 1
Germán Vidal 1
Scott Carson 1
Stefan Sokolowski 1
Jeremy Blackburn 1
Michael Nachtigal 1
Gordon Cormack 1
Hideya Iwasaki 1
Zhenjiang Hu 1
Sara Kalvala 1
Huimin Lin 1
Manhoi Choy 1
Robert Keller 1
Barbara Simons 1
Curtis Clifton 1
Evelyn Duesterwald 1
Ting Yu 1
Peter Henderson 1
Daniel Von Dincklage 1
Martin Ward 1
Jesper Wilhelmsson 1
Alastair Donaldson 1
John Wickerson 1
Steve MacDonald 1
Kai Tan 1
Chen Ding 1
Roberto Zunino 1
Yinnon Haviv 1
Baris Kasikci 1
Viswanath Ramachandran 1
David Pearce 1
Amal Ahmed 1
EakKhoon Goh 1
Christopher Frost 1
Ana De Moura 1
John Barnden 1
Paul McMullin 1
Jan Stroet 1
Francisco Bueno 1
Marco Carbone 1
Kenneth Iverson 1
Eric Beyer 1
Mehdi Jazayeri 1
Jun Lang 1
Mario Südholt 1
Mirko Viroli 1
Patrick Lincoln 1
Godmar Back 1
Xiangyu Zhang 1
Youtao Zhang 1
Sharad Malik 1
Spiro Michaylov 1
Gavin Brown 1
Zhelong Pan 1
Hanne Nielson 1
Christian Probst 1
Ondřej Lhoták 1
Hongbo Rong 1
Marco Casanova 1
Andrew Odlyzko 1
Michael Jones 1
Donald Lindsay 1
James Martin 1
Clemens Szyperski 1
Wim Simoens 1
Livio Colussi 1
Bent Kristensen 1
Gustavo Petri 1
Eliezer Dekel 1
Richard DeMillo 1
V Nandivada 1
Daniel Zlatin 1
James Archer 1
Boris Köpf 1
Federico Olmedo 1
T Dinesh 1
Gogul Balakrishnan 1
Jin Yang 1
Wim Böhm 1
Philip Leong 1
Robert Sedgewick 1
Torben Amtoft 1
John Hatcliff 1
Marc Brandis 1
Maartje De Jonge 1
Abu Masud 1
Emma Söderberg 1
Bernadette Charron-Bost 1
Henry Cejtin 1
Carsten Gomard 1
David Grove 1
Angela Schuett 1
Thomas Sager 1
Cristina Cifuentes 1
Daniel Swinehart 1
Vivy Suhendra 1
Rolf Bahlke 1
Frederick Smith 1
Bertrand Jeannet 1
Joshua Sunshine 1
Alcides Fonseca 1
Johan Stevenson 1
Andrew Tanenbaum 1
Katherine Barabash 1
Victor Leikehman 1
Martin Sulzmann 1
Thi Nguyen 1
Martin Erwig 1
Delphine Demange 1
Nathanael Schärli 1
Stéphane Ducasse 1
Roel Wuyts 1
Paul Havlak 1
Andres Marin 1
José Pérez 1
Derek Sleeman 1
Kanat Tangwongsan 1
Paolo Mancarella 1
James Stamos 1
Lori Clarke 1
Alexander Wolf 1
Mathai Joseph 1
Mark Nederhof 1
Girija Narlikar 1
Udi Manber 1
Raphael Finkel 1
Klaus Aehlig 1
Takeshi Ogasawara 1
Tian Zhao 1
Luca Padovani 1
Bowen Alpern 1
Josephine Micallef 1
Mary Hall 1
Kousha Etessami 1
Allan Borodin 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
University of G. d'Annunzio Chieti and Pescara 1
Tokyo University of Agriculture and Technology 1
University of Parma 1
Ecole Normale Superieure de Cachan 1
Ruhr University of Bochum 1
Ecole Normale Superieure de Lyon 1
University of Auckland 1
University of Minnesota System 1
Newcastle University, United Kingdom 1
Pomona College 1
Malardalen University 1
City University of New York 1
Louisiana State University 1
Ecole des Mines de Nantes 1
University of Brighton 1
Poznan University of Technology 1
Brigham and Women's Hospital and Harvard Medical School 1
Birkbeck University of London 1
INP Grenoble 1
University of Vermont 1
University of Montreal 1
Tampere University of Technology 1
University of Innsbruck 1
Avaya Inc. 1
Western Illinois University 1
Telefonica 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
Bilkent University 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
University of New Brunswick 1
University of Tubingen 1
Vienna University of Technology 1
George Mason University 1
University of Trieste 1
Rose Hulman Institute Technology 1
Memorial University of Newfoundland 1
Chennai Mathematical Institute 1
University of Southern Denmark 1
Chinese Academy of Sciences 1
Universite de Savoie 1
Boston University 1
James Cook University, Australia 1
University of Wisconsin Milwaukee 1
Bucknell University 1
University of Twente 1
University of Hagen 1
University of Liverpool 1
Jadavpur University 1
Beijing University of Chemical Technology 1
Johannes Kepler University Linz 1
University of Central Florida 1
University of Durham 1
University of Bari 1
National Institute of Standards and Technology 1
Waseda University 1
Portland State University 1
University of Iowa 1
Roskilde University 1
Missouri University of Science and Technology 1
The University of North Carolina at Chapel Hill 1
University of Cincinnati 1
Northrop Grumman corporation 1
Tata Research Development and Design Centre 1
Indian Institute of Technology, Madras 1
University Michigan Ann Arbor 1
University of Gdansk 1
National University of Ireland, Maynooth 1
University of Nebraska - Lincoln 1
Clemson University 1
DePaul University 1
Virginia Tech 1
Oracle Corporation 1
University of New South Wales 1
City College of New York 1
IBM Zurich Research Laboratory 1
Lund University 1
Haverford College 1
Bournemouth University 1
NICTA 1
Verimag 1
Texas State University-San Marcos 1
University of Queensland 1
Tokyo Institute of Technology 1
California Institute of Technology 1
Kyushu Institute of Technology 1
University of Nevada, Las Vegas 1
Canisius College 1
University at Buffalo, State University of New York 1
University of Urbino 1
University of Cagliari 1
Pohang University of Science and Technology 1
Amherst College 1
Laval University 1
Indian Institute of Technology, Delhi 1
Concordia University, Montreal 1
Bayerische Akademie der Wissenschaften 1
Intel Research Laboratories 1
Kestrel Institute 1
Schlumberger-Doll Research Center 1
National Penghu University 1
Daimler AG 1
MIPS Technologies, Inc. 1
Cambridge Technology Partners 1
University of Eastern Finland 1
Institute of Science and Technology Austria 1
Research Institute for Advanced Computer Science 2
GrammaTech, Inc 2
Karlsruhe Institute of Technology 2
IMDEA Institute 2
Indian Institute of Technology 2
Laboratoire Parallelisme, Reseaux, Systemes, Modelisation 2
Catholic University of Louvain, Louvain-la-Neuve 2
Microelectronics Computer Technology Corporation 2
Royal Institute of Technology 2
Iowa State University 2
Swansea University 2
Johns Hopkins University 2
Korea University 2
Google Inc. 2
Facultes Universitaires Notre-Dame de la Paix 2
University of Lugano 2
University of South Florida Tampa 2
CNRS Centre National de la Recherche Scientifique 2
California Polytechnic State University, San Luis Obispo 2
University of Dublin, Trinity College 2
Technical University of Denmark 2
Japan Advanced Institute of Science and Technology 2
Universidad Politecnica de Valencia 2
National Chiao Tung University Taiwan 2
Universidad de Chile 2
University of Zurich 2
University of Warsaw 2
Florida International University 2
Queen's University, Kingston 2
University of York 2
Charles University in Prague 2
Academia Sinica Taiwan 2
De Montfort University 2
National Tsing Hua University 2
Xerox Corporation 2
University of Paderborn 2
University of Bern 2
Royal Holloway University of London 2
University of Coimbra 2
IBM, USA 2
Aalborg University 2
Erasmus University Rotterdam 2
University of Richmond 2
Ecoles polytechniques federales 2
University of Technology Sydney 2
Osaka University 2
University of Ferrara 2
Swiss Federal Institute of Technology, Zurich 2
University of Udine 2
Gustavus Adolphus College 2
Nokia Corporation 2
Vrije Universiteit Brussel 2
Naval Research Laboratory 2
Complutense University of Madrid 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
Argonne National Laboratory 2
Ludwig Maximilian University of Munich 2
University of Southern California 2
University of Minnesota Twin Cities 2
University of Bergen 2
Queen's University Belfast 2
University of Bath 2
Ecole des Mines de Paris 2
Syracuse University 2
Universite de Rennes 1 2
Naval Postgraduate School 2
University of New Mexico 2
University of Leicester 2
Symantec Corporation 2
Colorado Technical University 2
Max Planck Institute for Informatics 3
University of Munster 3
Chalmers University of Technology 3
Florida State University 3
Victoria University of Wellington 3
Max Planck Institute for Software Systems 3
University of Illinois 3
National Taiwan University 3
Hebrew University of Jerusalem 3
University of Groningen 3
University of Catania 3
Technical University of Darmstadt 3
BRICS Basic Research in Computer Science 3
University of Oregon 3
University of Kiel 3
MITRE Corporation 3
Loyola University Maryland 3
Michigan Technological University 3
University of Sussex 3
Weizmann Institute of Science Israel 3
Simon Fraser University 3
University of Science and Technology of China 3
Heriot-Watt University, Edinburgh 3
University of Canterbury 3
The University of Warwick 3
Telcordia Technologies, Inc. 3
Universidad de A Coruna 3
University of Freiburg 3
Stevens Institute of Technology 3
Siemens AG 3
University of Chicago 3
University of California, Riverside 3
Federal University of Minas Gerais 3
University of California, San Diego 3
Tata Institute of Fundamental Research 3
Pontifical Catholic University of Rio de Janeiro 3
DoCoMo USA Labs. 3
Toyota Technological Institute at Chicago 3
Siemens USA 3
Academic College of Tel-Aviv - Yaffo 3
Microsoft Research India 3
Kansas State University 4
Universidad Carlos III de Madrid 4
New Mexico State University Las Cruces 4
University of Manchester 4
MIT Computer Science and Artificial Intelligence Laboratory 4
Australian National University 4
Synopsys Incorporated 4
King's College London 4
Indian Institute of Science 4
University of California, Davis 4
University of Tennessee, Knoxville 4
University of Virginia 4
Dublin City University 4
Tsinghua University 4
University of Sydney 4
Lawrence Livermore National Laboratory 4
Microsoft Corporation 4
INRIA Rocquencourt 4
Eindhoven University of Technology 4
University of Seville 4
International Computer Science Institute 4
Universite de La Reunion 5
Ohio State University 5
Northwestern University 5
Utrecht University 5
The University of British Columbia 5
University of Kent 5
Kyoto University 5
University of Turin 5
Oregon State University 5
AT&T Inc. 5
Sun Microsystems 5
University of Southern California, Information Sciences Institute 5
Radboud University Nijmegen 5
RWTH Aachen University 5
Oregon Health and Science University 5
Texas Tech University at Lubbock 5
Queen Mary, University of London 5
University of St Andrews 5
University College London 5
University of Delaware 5
University of Utah 5
Ben-Gurion University of the Negev 5
University of Rochester 5
University of Illinois at Chicago 5
University of Roma La Sapienza 5
German Research Center for Artificial Intelligence (DFKI) 5
University of Illinois at Urbana-Champaign 6
Uppsala University 6
Delft University of Technology 6
Silicon Graphics, Inc. 6
University of Texas at Dallas 6
Brown University 6
Ca' Foscari University of Venice 6
Carleton University 6
Politecnico di Milano 6
Swiss Federal Institute of Technology, Lausanne 6
Columbia University 6
University of Alberta 6
University of East Anglia 7
McGill University 7
Tohoku University 7
IBM Almaden Research Center 7
State University of New York at Albany 7
University of Passau 7
Brandeis University 7
IT University of Copenhagen 7
Williams College 7
New York University 7
University of Southampton 7
University of Tokyo 7
University of Edinburgh 7
University of Cambridge 7
Swedish Institute of Computer Science 7
University of Verona 7
Ecole Normale Superieure 8
Pennsylvania State University 8
AT&T Laboratories Florham Park 8
National University of Singapore 8
University of Wisconsin 8
Georgia Institute of Technology 8
University of Bologna 8
Intel Corporation 8
University of Amsterdam 9
North Carolina State University 9
Colorado State University 9
IBM Research 9
NEC Laboratories America, Inc. 9
Monash University 9
University of California, Santa Barbara 9
Karlsruhe Institute of Technology, Campus South 9
University of Copenhagen 9
Universite Paris 7- Denis Diderot 10
Universitat Politecnica de Catalunya 10
Vrije Universiteit Amsterdam 10
Harvard University 10
HP Labs 10
University of Toronto 10
INRIA Sophia Antipolis 10
Ghent University 10
University of Glasgow 11
Indiana University 11
University of Oxford 11
Rutgers, The State University of New Jersey 11
Korea Advanced Institute of Science & Technology 11
Saarland University 11
University of Padua 12
University of California, Santa Cruz 12
University of Genoa 12
Palo Alto Research Center Incorporated 12
Courant Institute of Mathematical Sciences 13
Indian Institute of Technology, Bombay 13
Microsoft Research Cambridge 13
SRI International 14
IBM Tokyo Research Laboratory 14
Center for Mathematics and Computer Science - Amsterdam 14
University of Waterloo 14
University of Pittsburgh 14
Technical University of Munich 14
Technical University of Madrid 14
University of Colorado at Boulder 15
Seoul National University 15
University of Melbourne 15
Institute for Research in IT and Random Systems 15
University of Massachusetts Amherst 16
Northeastern University 16
University of California, Irvine 17
INRIA Institut National de Rechereche en Informatique et en Automatique 17
University of Washington, Seattle 17
Imperial College London 18
University of Aarhus 18
Tel Aviv University 20
Stony Brook University 20
Yale University 21
University of Pennsylvania 21
University of California, Los Angeles 21
Nokia Bell Labs 24
Princeton University 26
Microsoft Research 26
Rice University 27
Purdue University 28
University of California, Berkeley 29
University of Pisa 29
Technion - Israel Institute of Technology 30
Hewlett-Packard Inc. 31
University of Texas at Austin 35
Catholic University of Leuven, Leuven 35
Stanford University 37
University of Maryland 39
University of Arizona 42
Massachusetts Institute of Technology 42
University of Wisconsin Madison 43
Cornell University 45
Carnegie Mellon University 60
IBM Thomas J. Watson Research Center 61

ACM Transactions on Programming Languages and Systems (TOPLAS)
Archive


2017
Volume 39 Issue 1, March 2017
Volume 39 Issue 2, March 2017  Issue-in-Progress

2016
Volume 38 Issue 4, October 2016
Volume 38 Issue 3, May 2016
Volume 38 Issue 2, January 2016

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Search TOPLAS
enter search term and/or author name