ACM DL

Proceedings of the ACM on

Programming Languages (PACMPL)

Menu
Latest Articles

Synthesizing bijective lenses

What is decidable about string constraints with the ReplaceAll function

String constraints with concatenation and transducers solved efficiently

Linear Haskell: practical linearity in a higher-order polymorphic language

Polyadic approximations, fibrations and intersection types

Handle with care: relational interpretation of algebraic effects and handlers

Automated lemma synthesis in symbolic-heap separation logic

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-2017
Publication Count 177
Citation Count 31
Available for Download 177
Downloads (6 weeks) 4752
Downloads (12 Months) 38526
Downloads (cumulative) 38526
Average downloads per article 218
Average citations per article 0
First Name Last Name Award
Alex Aiken ACM Fellows (2008)
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)
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)
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
Isil Dillig 4
Ranjit Jhala 4
Philip Wadler 4
Sheng Chen 3
Benjamin Pierce 3
Mooly Sagiv 3
Ryan Newton 3
Gilles Barthe 3
Rishabh Singh 3
Deepak Garg 3
Jan Vitek 3
Andrea Vezzosi 3
Vasco Vasconcelos 2
Nikhil Swamy 2
Emina Torlak 2
Antoine Voizard 2
Oded Padon 2
Sam Tobin-Hochstadt 2
Derek Dreyer 2
Neville Grech 2
Andrew Rice 2
Ennan Zhai 2
Aseem Rastogi 2
Pierre Strub 2
Zachary Tatlock 2
Matthew Might 2
Andreas Abel 2
Anthonywidjaja Lin 2
Xinyu Wang 2
Danel Ahman 2
Robbert Krebbers 2
John Campora 2
Krishnendu Chatterjee 2
Thomas Reps 2
Frank Tip 2
Ondřej Lhoták 2
Baijun Wu 2
Peng Wang 2
Jeremy Siek 2
Jean Bernardy 2
Zachary Kincaid 2
Hakjoo Oh 2
Atsushi Igarashi 2
Phúc Nguyễn 2
Justin Hsu 2
Aws Albarghouthi 2
Ryan Scott 2
Stephen Chang 2
Richard Eisenberg 2
Dominique Devriese 2
Giuliano Losa 2
Yuepeng Wang 2
Anders Møller 2
Yannis Smaragdakis 2
Ruzica Piskac 2
Andreas Pavlogiannis 2
Carl Bolz-Tereick 2
Dan Grossman 2
Cătălin Hriţcu 2
Marco Gaboardi 2
Ohad Kammar 2
David Van Horn 2
Fernando Pereira 2
Cédric Fournet 2
Conal Elliott 2
Adam Chlipala 2
Amal Ahmed 2
Sharon Shoham 2
Rastislav Bodík 2
Alex Aiken 2
Sebastian Ullrich 1
Jared Roesch 1
Viktor Vafeiadis 1
Joakim Öhman 1
Ondřej Kunčar 1
Michael Emmi 1
James Wilcox 1
Kartik Nagar 1
Pierre Clairambault 1
Jeevana Inala 1
Matthew Hague 1
Nils Danielsson 1
Gabriel Scherer 1
Nada Amin 1
Yufei Cai 1
Mathieu Boespflug 1
Louis Pouchet 1
Shelly Grossman 1
Rupak Majumdar 1
Amin Timany 1
Lars Birkedal 1
Jacques Jourdan 1
C Ong 1
Lucas Peña 1
Petr Novotný 1
Anish Tondwalkar 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
Vijayaraghavan Murali 1
Andrew Myers 1
Loris D'Antoni 1
Samuel Drews 1
Pat Hanrahan 1
Danny Dig 1
Eric Seidel 1
Francisco Martins 1
Jose Faleiro 1
Breno Guimarães 1
Rahul Dhodapkar 1
Lingming Zhang 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
Jeremy Avigad 1
Justin Pombrio 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
Kathleen Fisher 1
Paolo Capriotti 1
Aviral Goel 1
José Fragoso Santos 1
Zoubin Ghahramani 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
Markus Püschel 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
Daniel Winograd-Cort 1
Chungchieh Shan 1
Stephanie Balzer 1
Lucas Waye 1
Shuhung You 1
Iván Pérez 1
Chris Smith 1
Jean Zinzindohoué 1
Tahina Ramananandro 1
Yongkiam Tan 1
Geoffrey Mainland 1
Alejandro Aguirre 1
Jeremy Yallop 1
Gagandeep Singh 1
Yuu Igarashi 1
Patrick Kasting 1
Michael Ernst 1
Joonwon Choi 1
Shriram Krishnamurthi 1
Mitchell Wand 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
Ross Tate 1
Ellen Arteca 1
Sehun Jeong 1
Ifaz Kabir 1
Stephen Chou 1
Xun Lao 1
Di Wang 1
Petr Maj 1
Hitesh Sajnani 1
Xujie Si 1
Vivek Sarkar 1
Dominic Mulligan 1
Vivek Shah 1
Klaus Gleissenthall 1
Rami Kıcı 1
Madanlal Musuvathi 1
Lun Liu 1
Thomas Dillig 1
Ahmet Celik 1
Hugues Evrard 1
Daniel Schwartz-Narbonne 1
Louis Mandel 1
Luca Padovani 1
Annabelle McIver 1
Carroll Morgan 1
John Cyphert 1
Shuvendu Lahiri 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
Armando Solar-Lezama 1
Aaron Shim 1
Talia Ringer 1
Spencer Florence 1
Joachim Breitner 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
Christopher Pulte 1
Siddharth Krishna 1
Mingho Yee 1
Nicolai Kraus 1
Petar Maksimović 1
Sam Staton 1
Dariusz Biernacki 1
Andrew Tolmach 1
Yoni Zohar 1
Zoe Paraskevopoulou 1
Ralf Jung 1
Mingsheng Ying 1
Stephen Chong 1
Delia Kesner 1
Olin Shivers 1
Dustin Jamner 1
Jan Stolarek 1
James Cheney 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
Anders Miltner 1
Philippa Gardner 1
Thomas Ehrhard 1
Michele Pagani 1
Chris Heunen 1
Eelco Visser 1
Eric Walkingshaw 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
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
Kamalika Chaudhuri 1
Binhang Yuan 1
Sylvan Clebsch 1
Gilbert Bernstein 1
Rahul Sharma 1
Davide Ancona 1
Samantha Khairunnesa 1
Nikolaos Tsantalis 1
Mayur Naik 1
Emily Johnston 1
Adriana Szekeres 1
Muntasir Rahman 1
Mark Santolucito 1
Andrei Lascu 1
Paul Thomson 1
Andreas Haeberlen 1
Vincent St-Amour 1
Benjamin Canou 1
Jonathan Protzenko 1
Milo Davis 1
François Pottier 1
Wilmer Ricciotti 1
Roly Perera 1
Muralidaran Vijayaraghavan 1
Martin Avanzini 1
J Morris 1
Pedro De Amorim 1
Andreas Nuyts 1
Brijesh Dongol 1
Radha Jagadeesan 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
Leonidas Lampropoulos 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
Adrian Francalanza 1
Alastair Reid 1
Andrew Appel 1
Eric Bodden 1
Gabriel Levi 1
Xipeng Shen 1
Matthew Danish 1
David Lugato 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
Martin Hirzel 1
Jérôme Siméon 1
Aaron Roth 1
Praveen Narayanan 1
Hernán Melgratti 1
Frank Pfenning 1
Daniel Feltey 1
Karthikeyan Bhargavan 1
Michael Norrish 1
Magnus Myreen 1
Giuseppe Castagna 1
Taro Sekiyama 1
Sam Lindley 1
Jan Midtgaard 1
Leif Andersen 1
Gregory Rosenblatt 1
Stephanie Weirich 1
Lukáš Holík 1
Tomáš Vojnar 1
Tiark Rompf 1
Adam Ścibior 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
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
Antoine Delignat-Lavaud 1
Juan Puente 1
Amal Ahmed 1
Flemming Nielson 1
Hanne Nielson 1
Matthias Felleisen 1
Benjamin Cosman 1
Gabriel Ebner 1
Will Deacon 1
Petr Janků 1
David Walker 1
Steve Zdancewic 1
Thomas Wood 1
Thomas Gilray 1
Matthijs Vákár 1
Simon Peyton-Jones 1
Lionel Parreaux 1
Amir Shaikhha 1
Piotr Polesiuk 1
Martin Erwig 1
Bhavya Choudhary 1
Krishnendu Chatterjee 1
Wonyeol Lee 1
Roberto Di Cosmo 1
Filip Niksic 1
Sheshansh Agrawal 1
Joost Katoen 1
Zhenjiang Hu 1
William Cook 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
Paulo Borba 1
Omar Navarro Leija 1
Adrian Sampson 1
Todd Mytkowicz 1
Elena Zucca 1
Ameya Ketkar 1
Yulissa Arroyo-Paredes 1
Radu Grigore 1
Martin Kleppmann 1
Natacha Crooks 1
Sebastian Burckhardt 1
Edd Barrett 1
Xia Li 1
Alastair Donaldson 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
Youyou Cong 1
Jochen Hoenicke 1
Thomas Wies 1

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

Proceedings of the ACM on Programming Languages
Archive


2018
Volume 2 Issue POPL, January 2018

2017
Volume 1 Issue OOPSLA, October 2017
Volume 1 Issue ICFP, September 2017
 
All ACM Journals | See Full Journal Index

Search PACMPL
enter search term and/or author name