ACM DL

Proceedings of the ACM on

Programming Languages (PACMPL)

Menu
Latest Articles

Synthesizing bijective lenses

Bidirectional transformations between different data representations occur frequently in modern software systems. They appear as serializers and deserializers, as parsers and pretty printers, as database views and view updaters, and as a multitude of different kinds of ad hoc data converters. Manually building bidirectional transformations---by... (more)

WebRelate: integrating web data with spreadsheets using examples

Data integration between web sources and relational data is a key challenge faced by data scientists and spreadsheet users. There are two main... (more)

What is decidable about string constraints with the ReplaceAll function

The theory of strings with concatenation has been widely argued as the basis of constraint solving for verifying string-manipulating programs.... (more)

String constraints with concatenation and transducers solved efficiently

String analysis is the problem of reasoning about how strings are manipulated by a program. It has numerous applications including automatic detection... (more)

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

Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In... (more)

Polyadic approximations, fibrations and intersection types

Starting from an exact correspondence between linear approximations and non-idempotent intersection types, we develop a general framework for building... (more)

Handling fibred algebraic effects

We study algebraic computational effects and their handlers in the dependently typed setting. We describe computational effects using a generalisation of Plotkin and Pretnar's effect theories, whose dependently typed operations allow us to capture precise notions of computation, e.g., state with location-dependent store types and dependently... (more)

Handle with care: relational interpretation of algebraic effects and handlers

Algebraic effects and handlers have received a lot of attention recently, both from the theoretical point of view and in practical language design.... (more)

Automated lemma synthesis in symbolic-heap separation logic

The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer... (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-2017
Publication Count 177
Citation Count 32
Available for Download 177
Downloads (6 weeks) 2994
Downloads (12 Months) 45152
Downloads (cumulative) 45152
Average downloads per article 255
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
Neville Grech 2
Derek Dreyer 2
Andrew Rice 2
Ennan Zhai 2
Vasco Vasconcelos 2
Oded Padon 2
Nikhil Swamy 2
Emina Torlak 2
Antoine Voizard 2
Frank Tip 2
Ondřej Lhoták 2
Matthew Might 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
Atsushi Igarashi 2
Zachary Kincaid 2
Ryan Scott 2
Aws Albarghouthi 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
Rastislav Bodík 2
Cédric Fournet 2
Conal Elliott 2
Amal Ahmed 2
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
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
Radha Jagadeesan 1
Christopher Pulte 1
Siddharth Krishna 1
Nicolai Kraus 1
Mingho Yee 1
Petar Maksimović 1
Sam Staton 1
Dariusz Biernacki 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
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
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
Matthew Danish 1
Thomas Dillig 1
Rami Kıcı 1
Lun Liu 1
Madanlal Musuvathi 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
Steven Ramsay 1
Yan Michalevsky 1
Leonidas Lampropoulos 1
Léo Stefanesco 1
Yuki Satake 1
Siaucheng Khoo 1
Christof Löding 1
Ivan Radiček 1
Olivier Blanvillain 1
Yan Chen 1
Dennis Shasha 1
Frank Piessens 1
Charles Grellois 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
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
Tomoharu Ugawa 1
Aggelos Biboudis 1
Niki Vazou 1
Fabian Muehlboeck 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
Ralf Jung 1
Andrew Tolmach 1
Yoni Zohar 1
Zoe Paraskevopoulou 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
Frank Pfenning 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
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
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
Benjamin Wood 1
Christoffer Adamsen 1
Magnus Madsen 1
William Mansky 1
Brandon Lucia 1
Paul He 1
Matthew Parkinson 1
Pantazis Deligiannis 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
Susmit Sarkar 1
Peter Sewell 1
Constantin Enea 1
Andreas Podelski 1
Suresh Jagannathan 1
Aviral Goel 1
Zhilin Wu 1
Kathleen Fisher 1
Paolo Capriotti 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
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
Emily Johnston 1
Davide Ancona 1
Samantha Khairunnesa 1
Nikolaos Tsantalis 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
Philippa Gardner 1
Thomas Ehrhard 1
Michele Pagani 1
Chris Heunen 1
Marcus De Araújo 1
Eelco Visser 1
Eric Walkingshaw 1
Ponnuswamy Sadayappan 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
Omar Navarro Leija 1
Aaron Blankstein 1
Radu Grigore 1
Paulo Borba 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
Thomas Wood 1
Piotr Polesiuk 1
Thomas Gilray 1
Matthijs Vákár 1
Simon Peyton-Jones 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
Mathias Justesen 1
Michael Ballantyne 1
Konstantin Weitz 1
Steven Lyubomirsky 1
William Byrd 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

Affiliation Paper Counts
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
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
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 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
King's College London 5
Northwestern University 5
Catholic University of Leuven, Leuven 5
University of Utah 5
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
IBM Research 6
Institute of Science and Technology Austria 6
University of Aarhus 6
Federal University of Minas Gerais 6
University of California, Los Angeles 6
Korea University 6
University of Louisiana at Lafayette 7
Carnegie Mellon University 7
Google Inc. 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
Tel Aviv University 11
Imperial College London 11
University of Edinburgh 11
University of Oxford 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