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 32
Available for Download 177
Downloads (6 weeks) 3027
Downloads (12 Months) 42472
Downloads (cumulative) 42472
Average downloads per article 240
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
Ryan Newton 3
Mooly Sagiv 3
Benjamin Pierce 3
Rishabh Singh 3
Gilles Barthe 3
Deepak Garg 3
Jan Vitek 3
Andrea Vezzosi 3
Sam Tobin-Hochstadt 2
Conal Elliott 2
Derek Dreyer 2
Andrew Rice 2
Ennan Zhai 2
Vasco Vasconcelos 2
Oded Padon 2
Nikhil Swamy 2
Emina Torlak 2
Matthew Might 2
Antoine Voizard 2
Frank Tip 2
Ondřej Lhoták 2
Baijun Wu 2
John Campora 2
Thomas Reps 2
Xinyu Wang 2
Aseem Rastogi 2
Pierre Strub 2
Zachary Tatlock 2
Andreas Abel 2
Anthonywidjaja Lin 2
Danel Ahman 2
Robbert Krebbers 2
Krishnendu Chatterjee 2
Jeremy Siek 2
Hakjoo Oh 2
Peng Wang 2
Jean Bernardy 2
Zachary Kincaid 2
Ryan Scott 2
Aws Albarghouthi 2
Atsushi Igarashi 2
Phúc Nguyễn 2
Justin Hsu 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
Carl Bolz-Tereick 2
Dan Grossman 2
Andreas Pavlogiannis 2
Fernando Pereira 2
Cătălin Hriţcu 2
Marco Gaboardi 2
Ohad Kammar 2
David Van Horn 2
Alex Aiken 2
Adam Chlipala 2
Sharon Shoham 2
Neville Grech 2
Rastislav Bodík 2
Cédric Fournet 2
Amal Ahmed 2
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
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
Nicolai Kraus 1
Mingho Yee 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
Gagandeep Singh 1
Markus Püschel 1
Ross Tate 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
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
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
Benjamin Kaminski 1
Rahul Sharma 1
Quangtrung Ta 1
Parthasarathy Madhusudan 1
Fengyun Liu 1
Jason Breck 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
Matthias Felleisen 1
Amal Ahmed 1
Flemming Nielson 1
Hanne Nielson 1
Benjamin Cosman 1
Gabriel Ebner 1
Will Deacon 1
Petr Janků 1
David Walker 1
Steve Zdancewic 1
Simon Peyton-Jones 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
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
William Byrd 1
Mathias Justesen 1
Konstantin Weitz 1
Steven Lyubomirsky 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
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
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
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
Chris Heunen 1
Philippa Gardner 1
Thomas Ehrhard 1
Michele Pagani 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
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
Andreas Haeberlen 1
Vincent St-Amour 1
Benjamin Canou 1
Jonathan Protzenko 1
Roly Perera 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
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
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
Xi Wang 1
Milind Kulkarni 1
Shoaib Kamil 1
Jonathan Balkind 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
Frank Pfenning 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
Stephanie Weirich 1
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
Mathieu Boespflug 1
Gabriel Scherer 1
Nada Amin 1
Yufei Cai 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
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
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
Andreas Podelski 1
Susmit Sarkar 1
Peter Sewell 1
Constantin Enea 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
Annabelle McIver 1
Carroll Morgan 1
John Cyphert 1
Shuvendu Lahiri 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

Affiliation Paper Counts
Stevens Institute of Technology 1
LG Electronics, Korea 1
Royal Holloway University of London 1
Universite Pierre et Marie Curie 1
Wellesley College 1
Technical University of Darmstadt 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
University of New South Wales 1
Technion - Israel Institute of Technology 1
University of Paderborn 1
Universite Paris 13 1
Pacific Northwest National Laboratory 1
University of Malta 1
HP Labs 1
University of Copenhagen 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
University of Bristol 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
Peking University 1
University of California, Berkeley 1
University of Turin 1
Australian National University 1
Laboratoire de Recherche en Informatique 1
University of Innsbruck 1
Technical University of Munich 1
Masaryk University 1
Fraunhofer Research Institution for Mechatronic Systems Design IEM 1
Georgia Institute of Technology 1
Ochanomizu University 1
Tufts University 1
University of Virginia 1
Saarland University 1
University of Buenos Aires 2
The University of Hong Kong 2
University of Tubingen 2
North Carolina State University 2
University at Buffalo, State University of New York 2
Columbia University 2
Nanjing University 2
Chiba Institute of Technology 2
Ecole Polytechnique 2
Research Organization of Information and Systems National Institute of Informatics 2
VMware, Inc 2
Czech Technical University in Prague 2
Concordia University, Montreal 2
Brown University 2
DePaul University 2
University of Tsukuba 2
Target 2
Bryn Mawr College 2
Harvard University 3
Federal University of Pernambuco 3
New York University 3
University of Kent 3
University of Texas at Dallas 3
Iowa State University 3
Chinese Academy of Sciences 3
Microsoft Corporation 3
Kyoto University 3
Vienna University of Technology 3
Ohio State University 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
University College London 3
Oregon State University 4
University of Wroclaw 4
University of Nottingham 4
Chalmers University of Technology 4
University of California, Irvine 4
Facebook, Inc. 4
Uppsala University 4
National University of Singapore 4
University of Minnesota System 4
Technical University of Denmark 5
Delft University of Technology 5
University of Illinois at Urbana-Champaign 5
Goteborg University 5
University of Athens 5
Cornell University 5
King's College London 5
Northwestern University 5
Catholic University of Leuven, Leuven 5
University of Utah 5
University of Aarhus 6
Federal University of Minas Gerais 6
University of California, Los Angeles 6
IBM Research 6
Institute of Science and Technology Austria 6
Korea University 6
Google Inc. 7
Carnegie Mellon University 7
University of Louisiana at Lafayette 7
Rice University 7
University of Maryland 8
Yale University 8
Purdue University 9
University of Waterloo 9
CNRS Centre National de la Recherche Scientifique 9
Princeton University 9
Stanford University 9
Swiss Federal Institute of Technology, Lausanne 10
University of Wisconsin Madison 10
University of Edinburgh 11
Imperial College London 11
University of Oxford 11
Tel Aviv University 11
INRIA Institut National de Rechereche en Informatique et en Automatique 12
Max Planck Institute for Software Systems 12
University of California, San Diego 13
Indiana University 13
Massachusetts Institute of Technology 13
University of Washington, Seattle 15
University of Pennsylvania 16
University of Texas at Austin 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