ACM DL

Proceedings of the ACM on

Programming Languages (PACMPL)

Menu
Latest Articles

Versatile event correlation with algebraic effects

We present the first language design to uniformly express variants of n-way joins over asynchronous event streams from different domains, e.g.,... (more)

Parametric polymorphism and operational improvement

Parametricity, in both operational and denotational forms, has long been a useful tool for reasoning about program correctness. However, there is as... (more)

Handling delimited continuations with dependent types

Dependent types are a powerful tool for maintaining program invariants. To take advantage of this aspect in real-world programming, efforts have been... (more)

The simple essence of automatic differentiation

Automatic differentiation (AD) in reverse mode (RAD) is a central component of deep learning and other uses of large-scale optimization. Commonly used RAD algorithms such as backpropagation, however, are complex and stateful, hindering deep understanding, improvement, and parallel execution. This paper develops a simple, generalized AD algorithm... (more)

A spectrum of type soundness and performance

The literature on gradual typing presents three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. This paper presents a uniform semantic framework that explains all three approaches, illustrates how each approach affects a developer's work, and adds a systematic... (more)

Compositional soundness proofs of abstract interpreters

Abstract interpretation is a technique for developing static analyses. Yet, proving abstract interpreters sound is challenging for interesting... (more)

Graduality from embedding-projection pairs

Gradually typed languages allow statically typed and dynamically typed code to interact while maintaining benefits of both styles. The key to reasoning about these mixed programs is Siek-Vitousek-Cimini-Boyland’s (dynamic) gradual guarantee, which says that giving components of a program more precise types only adds runtime type checking, and... (more)

Incremental relational lenses

Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan... (more)

Elaborating dependent (co)pattern matching

In a dependently typed language, we can guarantee correctness of our programs by providing formal proofs. To check them, the typechecker elaborates these programs and proofs into a low level core language. However, this core language is by nature hard to understand by mere humans, so how can we know we proved the right thing? This question occurs... (more)

Capturing the future by replaying the past (functional pearl)

Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski’s 1994 paper, which showed that delimited... (more)

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

A number of tools have been developed for carrying out separation-logic proofs mechanically using an... (more)

NEWS

About PACMPL

Proceedings of the ACM on Programming Languages (PACMPL) is a Gold Open Access journal publishing research on all aspects of programming languages, from design to implementation and from mathematical formalisms to empirical studies. Each issue of the journal is devoted to a particular subject area within programming languages and will be announced through publicized Calls for Papers. All accepted papers receive two rounds of reviewing and authors can expect initial decisions regarding submissions in under 3 months. The journal operates in close collaboration with the Special Interest Group on Programming Languages (SIGPLAN) and is committed to making high-quality peer-reviewed scientific research in programming languages free of restrictions on both access and use.

Read more about PACMPL in the inaugural editorial message.

Bibliometrics

Publication Years 2017-2018
Publication Count 217
Citation Count 96
Available for Download 217
Downloads (6 weeks) 4217
Downloads (12 Months) 48152
Downloads (cumulative) 48152
Average downloads per article 222
Average citations per article 0
First Name Last Name Award
Alex Aiken ACM Fellows (2008)
Jonathan Aldrich ACM Senior Member (2009)
Andrew W Appel ACM Fellows (1998)
Arvind Arvind ACM Fellows (2006)
Lars Birkedal ACM Fellows (2017)
Michael D Ernst ACM Fellows (2014)
Michael D. Ernst ACM Doctoral Dissertation Award
Honorable Mention (2000) ACM Doctoral Dissertation Award
Honorable Mention (2000)
Martin Erwig ACM Senior Member (2008)
Matthias Felleisen ACM Karl V. Karlstrom Outstanding Educator Award (2009)
ACM Fellows (2006)
Kathleen S Fisher ACM Fellows (2010)
ACM Distinguished Member (2007)
Pat Hanrahan ACM Fellows (2008)
Robert Harper ACM Fellows (2005)
Graham Hutton ACM Distinguished Member (2015)
Sriram Krishnamoorthy ACM Senior Member (2016)
James Larus ACM Fellows (2006)
Ondrej Lhotak ACM Senior Member (2013)
Cristina Videira Lopes ACM Distinguished Member (2011)
Kathryn S McKinley ACM Fellows (2008)
ACM Distinguished Member (2006)
ACM Senior Member (2006)
Mira Mezini ACM Senior Member (2009)
Dejan Milojicic ACM Distinguished Member (2008)
Andrew Clifford Myers ACM Fellows (2013)
Martin Odersky ACM Fellows (2007)
Simon L Peyton-Jones ACM Fellows (2004)
Frank Pfenning ACM Fellows (2015)
ACM Senior Member (2007)
Benjamin Pierce ACM Fellows (2012)
Hridesh Rajan ACM Distinguished Member (2017)
ACM Senior Member (2014)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
Mooly Sagiv ACM Fellows (2015)
Vivek Sarkar ACM Fellows (2008)
ACM Distinguished Member (2006)
Dennis E Shasha ACM Fellows (2013)
Philip Wadler ACM Fellows (2007)
Mitchell Wand ACM Fellows (2007)

First Name Last Name Paper Counts
Derek Dreyer 4
Robbert Krebbers 4
Sheng Chen 4
Benjamin Pierce 4
Isil Dillig 4
Ohad Kammar 4
Ranjit Jhala 4
Philip Wadler 4
Andreas Abel 3
John Campora 3
Zachary Tatlock 3
Gabriel Scherer 3
Ryan Newton 3
Mooly Sagiv 3
Dan Grossman 3
Rishabh Singh 3
Gilles Barthe 3
Deepak Garg 3
Jan Vitek 3
Adam Chlipala 3
Conal Elliott 3
Andrea Vezzosi 3
Justin Hsu 2
Ralf Jung 2
Jeremy Gibbons 2
Joachim Breitner 2
Anders Møller 2
Yannis Smaragdakis 2
Ruzica Piskac 2
Giuliano Losa 2
Yuepeng Wang 2
Stephen Chang 2
Richard Eisenberg 2
Dominique Devriese 2
Sebastian Erdweg 2
Nicolas Wu 2
Mitchell Wand 2
Ross Tate 2
Iván Pérez 2
Jeremy Yallop 2
Kenneth Foner 2
Carl Bolz-Tereick 2
Andreas Pavlogiannis 2
Amal Ahmed 2
Simon Peyton-Jones 2
David Walker 2
Steve Zdancewic 2
Matthias Felleisen 2
Fernando Pereira 2
Cătălin Hriţcu 2
Marco Gaboardi 2
David Van Horn 2
Adam Ścibior 2
Tiark Rompf 2
Youyou Cong 2
Alex Aiken 2
Sharon Shoham 2
Rastislav Bodík 2
Cédric Fournet 2
Amal Ahmed 2
James Cheney 2
Anders Miltner 2
Delia Kesner 2
Eric Walkingshaw 2
Sam Tobin-Hochstadt 2
Neville Grech 2
Andrew Rice 2
Ennan Zhai 2
Vasco Vasconcelos 2
Oded Padon 2
Nikhil Swamy 2
Emina Torlak 2
Antoine Voizard 2
Roly Perera 2
Leonidas Lampropoulos 2
Frank Tip 2
Ondřej Lhoták 2
Matthew Might 2
Baijun Wu 2
Thomas Reps 2
Xinyu Wang 2
Aseem Rastogi 2
Pierre Strub 2
Anthonywidjaja Lin 2
Danel Ahman 2
Krishnendu Chatterjee 2
Jacques Jourdan 2
Amin Timany 2
Stephanie Weirich 2
Frank Pfenning 2
James Wilcox 2
Nada Amin 2
Jeremy Siek 2
Hakjoo Oh 2
Peng Wang 2
Jean Bernardy 2
Zachary Kincaid 2
Armando Solar-Lezama 2
Jan Kaiser 2
Kathleen Fisher 2
Zoubin Ghahramani 2
Ryan Scott 2
Aws Albarghouthi 2
Atsushi Igarashi 2
Phúc Nguyễn 2
Olin Shivers 1
Dustin Jamner 1
Jan Stolarek 1
David Darais 1
Ugo Dal Lago 1
Michalis Kokologiannakis 1
Andrei Popescu 1
Nick Rioux 1
Gowtham Kaki 1
Marco Patrignani 1
Andrzej Murawski 1
Philipp Rümmer 1
Philippa Gardner 1
Thomas Ehrhard 1
Michele Pagani 1
Chris Heunen 1
Eelco Visser 1
Ponnuswamy Sadayappan 1
Marcus De Araújo 1
Noam Rinetzky 1
Morten Krogh-Jespersen 1
Tachio Terauchi 1
Weingan Chin 1
Florian Zuleger 1
Hsiangshang Ko 1
Heather Miller 1
Vikraman Choudhury 1
Sven Keidel 1
Yann Régis-Gianas 1
Atsushi Ohori 1
Hisayuki Mima 1
Guillaume Boisseau 1
Guillaume Allais 1
Troels Henriksen 1
Taylor Blau 1
Denis Firsov 1
Guannan Wei 1
Adrian Francalanza 1
Alastair Reid 1
Andrew Appel 1
Eric Bodden 1
Gabriel Levi 1
Xipeng Shen 1
Matthew Danish 1
David Lugato 1
Stephen Chong 1
Dimitrios Vytiniotis 1
Dylan McDermott 1
Eric Van Wyk 1
Huma Sibghat 1
Guilherme Cavalcanti 1
Juliana Franco 1
Albertmingkun Yang 1
Tobias Wrigstad 1
Manolis Papadakis 1
Tien Nguyen 1
Rishi Surendran 1
Victor Gomes 1
Alastair Beresford 1
Alexander Bakst 1
Rebecca Killick 1
Sarfraz Khurshid 1
Erik Kristensen 1
Andreas Haeberlen 1
Vincent St-Amour 1
Benjamin Canou 1
Jonathan Protzenko 1
Milo Davis 1
François Pottier 1
Wilmer Ricciotti 1
Muralidaran Vijayaraghavan 1
Martin Avanzini 1
J Morris 1
Pedro De Amorim 1
Andreas Nuyts 1
Brijesh Dongol 1
James Riely 1
Shaked Flur 1
Thomas Williams 1
Mahsa Najafzadeh 1
Alex Knauth 1
Taolue Chen 1
Daiva Naudžiūnienė 1
Benjamin Grégoire 1
Sean Moss 1
Damiano Mazza 1
Matt Brown 1
Nishant Sinha 1
Yan Michalevsky 1
Léo Stefanesco 1
Steven Ramsay 1
Yuki Satake 1
Siaucheng Khoo 1
Christof Löding 1
Ivan Radiček 1
Olivier Blanvillain 1
Aggelos Biboudis 1
Niki Vazou 1
Solomon Maina 1
Alcino Cunha 1
Robert Atkey 1
Conor McBride 1
Nicolas Tabareau 1
Robert Harper 1
Pavel Panchekha 1
Hengchu Zhang 1
Aaron Stump 1
Graham Hutton 1
Fabian Muehlboeck 1
Tomoharu Ugawa 1
Nachshon Cohen 1
Georgios Fourtounis 1
Kihong Heo 1
Bruno Oliveira 1
Avik Chaudhuri 1
Sam Goldman 1
Yufei Ding 1
Dominic Orchard 1
Laith Sakka 1
Milind Kulkarni 1
Shoaib Kamil 1
Jonathan Balkind 1
Xi Wang 1
Eric Seidel 1
Vijayaraghavan Murali 1
Andrew Myers 1
Loris D'Antoni 1
Samuel Drews 1
Pat Hanrahan 1
Danny Dig 1
Francisco Martins 1
Jose Faleiro 1
Breno Guimarães 1
Rahul Dhodapkar 1
Lingming Zhang 1
Martin Hirzel 1
Jérôme Siméon 1
Aaron Roth 1
Praveen Narayanan 1
Hernán Melgratti 1
Daniel Feltey 1
Karthikeyan Bhargavan 1
Michael Norrish 1
Magnus Myreen 1
Leif Andersen 1
Giuseppe Castagna 1
Taro Sekiyama 1
Sam Lindley 1
Jan Midtgaard 1
Gregory Rosenblatt 1
Sebastian Ullrich 1
Jared Roesch 1
Viktor Vafeiadis 1
Joakim Öhman 1
Ondřej Kunčar 1
Michael Emmi 1
Kartik Nagar 1
Pierre Clairambault 1
Jeevana Inala 1
Matthew Hague 1
Nils Danielsson 1
Yufei Cai 1
Mathieu Boespflug 1
Louis Pouchet 1
Shelly Grossman 1
Rupak Majumdar 1
Lars Birkedal 1
C Ong 1
Lucas Peña 1
Petr Novotný 1
Anish Tondwalkar 1
Max New 1
Jesper Cockx 1
James Koppel 1
Arthur Charguéraud 1
Andrew Cobb 1
Antal Spector-Zabusky 1
Éric Tanter 1
Beniamino Accattoli 1
Cosmin Oancea 1
Frédéric Bour 1
Thomas Refis 1
Benjamin Wood 1
Christoffer Adamsen 1
Magnus Madsen 1
William Mansky 1
Paul He 1
Matthew Parkinson 1
Pantazis Deligiannis 1
Brandon Lucia 1
Kathryn McKinley 1
Aditya Nori 1
Davood Mazinanian 1
Max Grossman 1
Sergey Bykov 1
Alok Kumbhare 1
Venkatesh Srinivasan 1
Aaron Shim 1
Talia Ringer 1
Joshua Auerbach 1
Avraham Shinnar 1
Peter Thiemann 1
Robert Findler 1
Grégoire Henry 1
Scott Owens 1
Ramana Kumar 1
Pablo Barenbaum 1
William Meehan 1
Victor Lanvin 1
Justin Pombrio 1
Jeremy Avigad 1
Ori Lahav 1
Konstantinos Sagonas 1
Susmit Sarkar 1
Peter Sewell 1
Constantin Enea 1
Andreas Podelski 1
Suresh Jagannathan 1
Zhilin Wu 1
Paolo Capriotti 1
Aviral Goel 1
José Fragoso Santos 1
Klaus Ostermann 1
Arnaud Spiwack 1
Luc Pellissier 1
Maciej Piróg 1
Jens Palsberg 1
Wenlei Bao 1
Sriram Krishnamoorthy 1
Rodrigo Ribeiro 1
Marek Chalupa 1
Kapil Vaidya 1
Ittai Abraham 1
Toby Cathcart Burn 1
Hiroshi Unno 1
Tonchanh Le 1
Annabelle McIver 1
Carroll Morgan 1
John Cyphert 1
Shuvendu Lahiri 1
Casper Poulsen 1
Andrey Mokhov 1
Matthew Pickering 1
Fritz Henglein 1
Andrew Hirsch 1
Yao Li 1
Ankush Das 1
James Decker 1
Oliver Bračevac 1
Mira Mezini 1
Toshiyuki Maeda 1
Gregor Richards 1
Alexi Turcotte 1
Man Cao 1
Sungdeok Cha 1
Yanpeng Yang 1
Panagiotis Vekris 1
Izzat El Hajj 1
Manuel Costa 1
Kiwan Maeng 1
Xin Zhang 1
Westley Weimer 1
Yizhou Zhang 1
Michael Adams 1
Hridesh Rajan 1
Cristina Lopes 1
Vaibhav Saini 1
Di Yang 1
Jakub Zitny 1
Edward Aftandilian 1
Ciera Jaspan 1
Tiago Cogumbreiro 1
Philip Bernstein 1
Jorgen Thelin 1
Gabriel Kliot 1
Gabriel Poesia 1
Sarah Mount 1
Ara Vartanian 1
Milos Gligoric 1
Spencer Florence 1
Santiago Zanella Béguelin 1
Thibaut Balabonski 1
Matija Pretnar 1
Nicholas Labich 1
Stefan Heule 1
Benjamin Sherman 1
Arvind 1
Michael Spivey 1
Leonardo De Moura 1
Radha Jagadeesan 1
Christopher Pulte 1
Siddharth Krishna 1
Nicolai Kraus 1
Mingho Yee 1
Petar Maksimović 1
Sam Staton 1
Dariusz Biernacki 1
Andrew Tolmach 1
Yoni Zohar 1
Zoe Paraskevopoulou 1
Mingsheng Ying 1
Gagandeep Singh 1
Markus Püschel 1
Beta Ziliani 1
Nuno Macedo 1
Ralf Hinze 1
John Wiegley 1
Stéphane Graham-Lengrand 1
Guido Salvaneschi 1
Patrick Eugster 1
Ben Greenman 1
Ellen Arteca 1
Sehun Jeong 1
Ifaz Kabir 1
Stephen Chou 1
Xun Lao 1
Xujie Si 1
Di Wang 1
Petr Maj 1
Hitesh Sajnani 1
Vivek Sarkar 1
Dominic Mulligan 1
Vivek Shah 1
Klaus Gleissenthall 1
Rami Kıcı 1
Lun Liu 1
Madanlal Musuvathi 1
Thomas Dillig 1
Ahmet Celik 1
Hugues Evrard 1
Daniel Schwartz-Narbonne 1
Daniel Winograd-Cort 1
Chungchieh Shan 1
Stephanie Balzer 1
Lucas Waye 1
Shuhung You 1
Chris Smith 1
Jean Zinzindohoué 1
Tahina Ramananandro 1
Yongkiam Tan 1
Geoffrey Mainland 1
Alejandro Aguirre 1
Yuu Igarashi 1
Patrick Kasting 1
Michael Ernst 1
Joonwon Choi 1
Shriram Krishnamurthi 1
Hongjin Liang 1
William Bowman 1
Ilya Sergey 1
Dennis Shasha 1
Frank Piessens 1
Charles Grellois 1
Yan Chen 1
Olivier Flückiger 1
Christine Tasson 1
Thomas Espitau 1
Hongseok Yang 1
Pierre Vial 1
Christoph Koch 1
Leandro Melo 1
Guy Golan-Gueta 1
Rahul Sharma 1
Quangtrung Ta 1
Parthasarathy Madhusudan 1
Benjamin Kaminski 1
Fengyun Liu 1
Jason Breck 1
José Almeida 1
Hugo Pacheco 1
Ryan Culpepper 1
James McKinna 1
Antonis Stampoulis 1
Umut Acar 1
Martin Elsman 1
Danil Annenkov 1
Cyrus Omar 1
Tatsuya Abe 1
Michael Bond 1
Aleksey Nogin 1
Johannes Späth 1
Karim Ali 1
Hongseok Yang 1
Marianna Rapoport 1
Fredrik Kjolstad 1
Saman Amarasinghe 1
Aaron Blankstein 1
Radu Grigore 1
Paulo Borba 1
Omar Navarro Leija 1
Adrian Sampson 1
Todd Mytkowicz 1
Elena Zucca 1
Ameya Ketkar 1
Yulissa Arroyo-Paredes 1
Martin Kleppmann 1
Sebastian Burckhardt 1
Natacha Crooks 1
Edd Barrett 1
Xia Li 1
Alastair Donaldson 1
Louis Mandel 1
Luca Padovani 1
Roberto Di Cosmo 1
Antoine Delignat-Lavaud 1
Juan Puente 1
Flemming Nielson 1
Hanne Nielson 1
Benjamin Cosman 1
Gabriel Ebner 1
Will Deacon 1
Petr Janků 1
Thomas Wood 1
Thomas Gilray 1
Matthijs Vákár 1
Piotr Polesiuk 1
Lionel Parreaux 1
Amir Shaikhha 1
Martin Erwig 1
Bhavya Choudhary 1
Krishnendu Chatterjee 1
Wonyeol Lee 1
Filip Niksic 1
Joost Katoen 1
Sheshansh Agrawal 1
Zhenjiang Hu 1
William Cook 1
Rudi Horn 1
Joseph Tassarotti 1
Katsuhiro Ueno 1
Csongor Kiss 1
Theophilos Giannakopoulos 1
Christine Rizkallah 1
Brent Yorgey 1
Jennifer Hackett 1
James Larus 1
David Swasey 1
Minseok Jeon 1
Kwonsoo Chae 1
Marshall Roch 1
Dejan Milojičić 1
Mistral Contrastin 1
Ronghui Gu 1
Christopher Jermaine 1
Paola Accioly 1
Joseph Devietti 1
Sophia Drossopoulou 1
Francesco Dagnino 1
Hoan Nguyen 1
Pedro Martins 1
Michael Pradel 1
Fabrício Ferracioli 1
Todd Millstein 1
Sarah Chasins 1
Laurence Tratt 1
Xiaokang Qiu 1
Navid Yaghmazadeh 1
Sreepathi Pai 1
Serdar Taşiran 1
Christos Dimoulas 1
Henrik Nilsson 1
Eduardo Bonelli 1
Makoto Hamana 1
Yannick Forster 1
Mathias Justesen 1
Konstantin Weitz 1
Steven Lyubomirsky 1
William Byrd 1
Michael Ballantyne 1
Theo Winterhalter 1
Xinyu Feng 1
Jon French 1
Didier Rémy 1
Jochen Hoenicke 1
Thomas Wies 1
Lukáš Holík 1
Tomáš Vojnar 1
Azadeh Farzan 1
Kartik Chandra 1
Filip Sieczkowski 1
Casper Bach Poulsen 1
Arjen Rouvoet 1
Kenji Maillard 1
Yangjia Li 1
Martin Odersky 1
Sandro Stucki 1
Martin Vechev 1
Neil Mitchell 1
José Proença 1
James Chapman 1
Jan Hoffmann 1
Matthieu Sozeau 1
Stefan Muller 1
Chandrakana Nandi 1
Tamara Von Glehn 1
Larry Diehl 1
Jonathan Aldrich 1
Kenichi Asai 1
Spenser Bauman 1
Michal Friedman 1
Thomas Jablin 1
Wenmei Hwu 1
Kirshanthan Sundararajah 1
Kapil Vaswani 1
Alexei Colin 1
Ted Kaminski 1
Lucas Kramer 1
Travis Carlson 1
Mayur Naik 1
Kamalika Chaudhuri 1
Binhang Yuan 1
Sylvan Clebsch 1
Gilbert Bernstein 1
Rahul Sharma 1
Davide Ancona 1
Samantha Khairunnesa 1
Nikolaos Tsantalis 1
Emily Johnston 1
Adriana Szekeres 1
Muntasir Rahman 1
Mark Santolucito 1
Andrei Lascu 1
Paul Thomson 1

Affiliation Paper Counts
Radboud University Nijmegen 1
LG Electronics, Korea 1
Stevens Institute of Technology 1
Saarland University 1
Royal Holloway University of London 1
Universite Pierre et Marie Curie 1
Wellesley College 1
Universidad de Chile 1
Gunma University 1
National Technical University of Athens 1
University of St Andrews 1
SRI International 1
Aix Marseille Universite 1
Colorado State University 1
Federal University of Ouro Preto 1
University of Technology Sydney 1
Technion - Israel Institute of Technology 1
University of Paderborn 1
National Institute of Aerospace 1
Universite Paris 13 1
Pacific Northwest National Laboratory 1
University of Malta 1
HP Labs 1
Lancaster University 1
Drexel University 1
Ecole Normale Superieure de Cachan 1
University of Toronto 1
Waseda University 1
Kochi University of Technology 1
University of Ljubljana 1
University of Bologna 1
State University of Campinas 1
Brunel University London 1
Korea Advanced Institute of Science & Technology 1
Portland State University 1
Macquarie University 1
Seoul National University 1
Ecole Normale Superieure de Lyon 1
University of London 1
HRL Laboratories 1
University of Alberta 1
Commissariat a L'Energie Atomique CEA 1
Technical University of Munich 1
Masaryk University 1
Fraunhofer Research Institution for Mechatronic Systems Design IEM 1
Georgia Institute of Technology 1
University of Kaiserslautern 1
University of Virginia 1
University of Chicago 1
Peking University 1
University of California, Berkeley 1
National University of Cordoba 1
Newcastle University, United Kingdom 1
University of Turin 1
Australian National University 1
University of Innsbruck 1
University of Buenos Aires 2
The University of Hong Kong 2
Bryn Mawr College 2
University of Tubingen 2
North Carolina State University 2
University at Buffalo, State University of New York 2
Nanjing University 2
Chiba Institute of Technology 2
Research Organization of Information and Systems National Institute of Informatics 2
VMware, Inc 2
Concordia University, Montreal 2
Laboratoire de Recherche en Informatique 2
Brown University 2
DePaul University 2
University of Tsukuba 2
Tufts University 2
BAE Systems Inc. 2
University of New South Wales 2
Columbia University 2
Harvard University 3
Target 3
New York University 3
University of Kent 3
University of Texas at Dallas 3
Iowa State University 3
University of Strathclyde 3
Chinese Academy of Sciences 3
Microsoft Corporation 3
Kyoto University 3
Vienna University of Technology 3
Ohio State University 3
Czech Technical University in Prague 3
University of Freiburg 3
Indian Institute of Technology, Bombay 3
Swiss Federal Institute of Technology, Zurich 3
University of Genoa 3
Universidade de Lisboa 3
Brno University of Technology 3
RWTH Aachen University 3
Federal University of Pernambuco 3
Ochanomizu University 3
University College London 3
Uppsala University 4
Technical University of Darmstadt 4
University of Wroclaw 4
University of Minnesota System 4
Ecole Polytechnique 4
University of Bristol 4
University of California, Irvine 4
Facebook, Inc. 4
National University of Singapore 4
Oregon State University 5
Technical University of Denmark 5
University of Illinois at Urbana-Champaign 5
University of Copenhagen 5
University of Utah 5
King's College London 5
Northwestern University 5
University of Athens 5
University of Minho 5
Goteborg University 5
Catholic University of Leuven, Leuven 6
University of Nottingham 6
Chalmers University of Technology 6
University of California, Los Angeles 6
Korea University 6
Federal University of Minas Gerais 6
IBM Research 6
Institute of Science and Technology Austria 6
University of Aarhus 6
Cornell University 7
Rice University 7
Google Inc. 7
University of Maryland 8
Yale University 8
University of Louisiana at Lafayette 9
Stanford University 9
University of Waterloo 9
Swiss Federal Institute of Technology, Lausanne 10
University of Wisconsin Madison 10
Princeton University 11
Tel Aviv University 11
Delft University of Technology 11
CNRS Centre National de la Recherche Scientifique 11
Imperial College London 12
Carnegie Mellon University 12
Purdue University 13
University of California, San Diego 13
Indiana University 13
University of Edinburgh 15
Massachusetts Institute of Technology 16
University of Oxford 16
University of Texas at Austin 16
Max Planck Institute for Software Systems 17
INRIA Institut National de Rechereche en Informatique et en Automatique 18
University of Washington, Seattle 21
University of Cambridge 23
University of Pennsylvania 26
Northeastern University 29
Microsoft Research 33
 
All ACM Journals | See Full Journal Index

Search PACMPL
enter search term and/or author name