Programming Languages

Authors and titles for March 2022

[1] arXiv:2203.00145 [pdf, other]

Title: Getting There and Back Again

Olivier Danvy

Comments: 69 pages (final version with complete acknowledgments)

Journal-ref: Fundamenta Informaticae, Volume 185, Issue 2 (May 6, 2022) fi:9159

Subjects: Programming Languages (cs.PL)

[2] arXiv:2203.00652 [pdf, other]

Title: Parsing Randomness: Unifying and Differentiating Parsers and Random Generators

Harrison Goldstein, Benjamin C. Pierce

Comments: Submitted to PLDI'22, not accepted. 13 pages, 6 pages of appendix

Subjects: Programming Languages (cs.PL)

[3] arXiv:2203.00783 [pdf, other]

Title: Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)

Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig

Comments: Change title to include "(Extended Version)"

Subjects: Programming Languages (cs.PL)

[4] arXiv:2203.01835 [pdf, other]

Title: Implicit Polarized F: local type inference for impredicativity

Henry Mercer, Cameron Ramsay, Neel Krishnaswami

Comments: 27 pages, plus lemmas and proofs (136 pages)

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[5] arXiv:2203.02340 [pdf, other]

Title: Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations

Olivier Flückiger (1), Jan Ječmen (2), Sebastián Krynski (2), Jan Vitek (1 and 2) ((1) Northeastern University, (2) Czech Technical University)

Journal-ref: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)

Subjects: Programming Languages (cs.PL)

[6] arXiv:2203.02461 [pdf, other]

Title: A Theory of Composing Protocols

Laura Bocchi (University of Kent, UK), Dominic Orchard (University of Kent, UK / University of Cambridge, UK), A. Laura Voinea (University of Glasgow, UK)

Journal-ref: The Art, Science, and Engineering of Programming, 2023, Vol. 7, Issue 2, Article 6

Subjects: Programming Languages (cs.PL)

[7] arXiv:2203.03288 [pdf, other]

Title: Handling Higher-Order Effects

Cas van der Rest, Jaro Reinders, Casper Bach Poulsen

Comments: 25 pages, excluding references and appendices (33 pages total). Submitted draft

Subjects: Programming Languages (cs.PL)

[8] arXiv:2203.04422 [pdf, other]

Title: ProbTA: A sound and complete proof rule for probabilistic verification

Guanyan Li, Zhilei Han, Fei He

Subjects: Programming Languages (cs.PL)

[9] arXiv:2203.04608 [pdf, html, other]

Title: Modular Probabilistic Models via Algebraic Effects

Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu

Subjects: Programming Languages (cs.PL)

[10] arXiv:2203.04995 [pdf, html, other]

Title: CUBES: A Parallel Synthesizer for SQL Using Examples

Ricardo Brancas, Miguel Terra-Neves, Miguel Ventura, Vasco Manquinho, Ruben Martins

Subjects: Programming Languages (cs.PL); Databases (cs.DB); Software Engineering (cs.SE)

[11] arXiv:2203.06229 [pdf, other]

Title: Veracity: Declarative Multicore Programming with Commutativity

Adam Chen, Parisa Fathololumi, Eric Koskinen, Jared Pincus

Subjects: Programming Languages (cs.PL)

[12] arXiv:2203.07431 [pdf, other]

Title: Conditional Contextual Refinement (CCR)

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[13] arXiv:2203.07601 [pdf, other]

Title: Automatic HFL(Z) Validity Checking for Program Verification

Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada

Comments: A long version of the paper published in Proceedings of POPL 2023

Subjects: Programming Languages (cs.PL)

[14] arXiv:2203.07621 [pdf, other]

Title: Practical Detectability for Persistent Lock-Free Data Structures

Kyeongmin Cho, Seungmin Jeon, Jeehoon Kang

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[15] arXiv:2203.07814 [pdf, other]

Title: Competition-Level Code Generation with AlphaCode

Yujia Li, David Choi, Junyoung Chung, Nate Kushman, Julian Schrittwieser, Rémi Leblond, Tom Eccles, James Keeling, Felix Gimeno, Agustin Dal Lago, Thomas Hubert, Peter Choy, Cyprien de Masson d'Autume, Igor Babuschkin, Xinyun Chen, Po-Sen Huang, Johannes Welbl, Sven Gowal, Alexey Cherepanov, James Molloy, Daniel J. Mankowitz, Esme Sutherland Robson, Pushmeet Kohli, Nando de Freitas, Koray Kavukcuoglu, Oriol Vinyals

Comments: 74 pages

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[16] arXiv:2203.08069 [pdf, other]

Title: DISTAL: The Distributed Tensor Algebra Compiler

Rohan Yadav, Alex Aiken, Fredrik Kjolstad

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[17] arXiv:2203.08402 [pdf, other]

Title: Gradual Tensor Shape Checking

Momoko Hattori, Naoki Kobayashi, Ryosuke Sato

Comments: 48 pages

Subjects: Programming Languages (cs.PL)

[18] arXiv:2203.08941 [pdf, other]

Title: Translating Canonical SQL to Imperative Code in Coq

Véronique Benzaken, Évelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Comments: Version with appendix of a paper published at OOPSLA 2022

Subjects: Programming Languages (cs.PL); Databases (cs.DB)

[19] arXiv:2203.09452 [pdf, other]

Title: Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)

Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig

Comments: Fixed some incorrectly rendered citations

Subjects: Programming Languages (cs.PL)

[20] arXiv:2203.09658 [pdf, other]

Title: Lupa: A Framework for Large Scale Analysis of the Programming Language Usage

Anna Vlasova, Maria Tigina, Ilya Vlasov, Anastasiia Birillo, Yaroslav Golubev, Timofey Bryksin

Comments: 5 pages, 2 figures

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[21] arXiv:2203.09993 [pdf, other]

Title: WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration

Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang

Comments: Published at PLDI 2022

Subjects: Programming Languages (cs.PL)

[22] arXiv:2203.11532 [pdf, other]

Title: Quickstrom: Property Based Acceptance Testing with LTL Specifications

Liam O'Connor, Oskar Wickström

Comments: 13 pages, this is a technical report of a paper to appear at Programming Languages Design and Implementation (PLDI 2022)

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[23] arXiv:2203.12069 [pdf, other]

Title: ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification

Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker

Comments: 16 pages, 6 figures, this is a preprint of a paper to appear in Programming Language Design and Implementation (PLDI) 2022

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[24] arXiv:2203.12142 [pdf, other]

Title: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Marco Carbone, Rumyana Neykova

Journal-ref: EPTCS 356, 2022

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)

[25] arXiv:2203.12712 [pdf, other]

Title: OJXPerf: Featherlight Object Replica Detection for Java Programs

Bolun Li, Hao Xu, Qidong Zhao, Pengfei Su, Milind Chabbi, Shuyin Jiao, Xu Liu

Journal-ref: 44th International Conference on Software Engineering (ICSE 2022)

Subjects: Programming Languages (cs.PL)

[26] arXiv:2203.12751 [pdf, other]

Title: ThingTalk: An Extensible, Executable Representation Language for Task-Oriented Dialogues

Monica S. Lam, Giovanni Campagna, Mehrad Moradshahi, Sina J. Semnani, Silei Xu

Comments: 8 pages, 3 figures

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)

[27] arXiv:2203.12875 [pdf, other]

Title: Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types

Danielle Marshall (University of Kent), Dominic Orchard (University of Kent)

Comments: In Proceedings PLACES 2022, arXiv:2203.12142

Journal-ref: EPTCS 356, 2022, pp. 1-11

Subjects: Programming Languages (cs.PL)

[28] arXiv:2203.12878 [pdf, other]

Title: Provable GPU Data-Races in Static Race Detection

Dennis Liew (University of Massachusetts Boston, Boston, USA), Tiago Cogumbreiro (University of Massachusetts Boston, Boston, USA), Julien Lange (Royal Holloway, University of London, Egham, UK)

Comments: In Proceedings PLACES 2022, arXiv:2203.12142

Journal-ref: EPTCS 356, 2022, pp. 36-45

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)

[29] arXiv:2203.12879 [pdf, other]

Title: Lang-n-Send: Processes That Send Languages

Matteo Cimini (University of Massachusetts Lowell, USA)

Comments: In Proceedings PLACES 2022, arXiv:2203.12142

Journal-ref: EPTCS 356, 2022, pp. 46-56

Subjects: Programming Languages (cs.PL)

[30] arXiv:2203.13445 [pdf, other]

Title: C to Checked C by 3C

Aravind Machiry, John Kastner, Matt McCutchen, Aaron Eline, Kyle Headley, Michael Hicks

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Software Engineering (cs.SE)

[31] arXiv:2203.14518 [pdf, other]

Title: Certified Mergeable Replicated Data Types

Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan

Comments: Conditionally accepted to PLDI 2022

Subjects: Programming Languages (cs.PL)

[32] arXiv:2203.14845 [pdf, other]

Title: Warping Cache Simulation of Polyhedral Programs

Canberk Morelli, Jan Reineke

Comments: Extended version of PLDI 2022 paper

Subjects: Programming Languages (cs.PL)

[33] arXiv:2203.15110 [pdf, other]

Title: The State of Fortran

Laurence Kedward (1), Balint Aradi (2), Ondrej Certik (3), Milan Curcic (4), Sebastian Ehlert (5), Philipp Engel (6), Rohit Goswami (7 and 8), Michael Hirsch (9), Asdrubal Lozada-Blanco (10), Vincent Magnin (11), Arjen Markus (12), Emanuele Pagone (13), Ivan Pribec (14), Brad Richardson (15), Harris Snyder (16), John Urban (17), Jeremie Vandenplas (18) ((1) Department of Aerospace Engineering, University of Bristol, (2) Bremen Center for Computational Materials Science, (3) Los Alamos National Laboratory, (4) University of Miami, (5) Mulliken Center for Theoretical Chemistry, Institut fur Physikalische und Theoretische Chemie Universitat Bonn, (6) Institut fur Geodasie und Geoinformationstechnik, Technische Universitat Berlin, (7) Quansight Austin USA, (8) Science Institute, University of Iceland, (9) Center for Space Physics, Boston University, (10) Sao Carlos Institute of Physics, University of Sao Paulo, (11) Univ. Lille, CNRS, Centrale Lille, Univ. Polytechnique Hauts-de-France, IEMN, (12) Deltares Research Institute, The Netherlands, (13) Cranfield University, Sustainable Manufacturing Systems Centre, School of Aerospace Transport and Manufacturing, (14) Chair of Brewing and Beverage Technology, Technical University of Munich, (15) Archaeologic, Inc., (16) Structura Biotechnology Inc., Toronto, Canada, (17) HPC Consultant, USA, (18) Animal Breeding and Genomics, Wageningen, The Netherlands)

Comments: 12 pages, 2 figures, 1 table. Computing in Science & Engineering (2022)

Journal-ref: Comput. Sci. Eng. 24 (2022) 63-72

Subjects: Programming Languages (cs.PL)

[34] arXiv:2203.15426 [pdf, other]

Title: On Reinforcement Learning, Effect Handlers, and the State Monad

Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen

Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

[35] arXiv:2203.15448 [pdf, other]

Title: ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs

Dan Bogdanov (1), Joosep Jääger (1), Peeter Laud (1), Härmel Nestra (1), Martin Pettai (1), Jaak Randmets (1), Ville Sokk (1), Kert Tali (1), Sandhra-Mirella Valdma (1) ((1) Cybernetica AS)

Comments: 75 pp

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[36] arXiv:2203.16211 [pdf, other]

Title: Lay-it-out: Interactive Design of Layout-Sensitive Grammars

Fengmin Zhu, Jiangyi Liu, Fei He

Subjects: Programming Languages (cs.PL)

[37] arXiv:2203.16345 [pdf, other]

Title: An Algebraic Framework for Structured Epidemic Modeling

Sophie Libkind, Andrew Baas, Micah Halter, Evan Patterson, James Fairbanks

Comments: 38 pages, 8 figures

Subjects: Programming Languages (cs.PL); Category Theory (math.CT); Populations and Evolution (q-bio.PE)

[38] arXiv:2203.16346 [pdf, other]

Title: Enhanced Spreadsheet Computing with Finite-Domain Constraint Satisfaction

Ezana N. Beyenne, Hai-Feng Guo

Journal-ref: International Journal of Programming Languages and Applications ( IJPLA ) Vol.5, No.2, April 2015

Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)

[39] arXiv:2203.16697 [pdf, other]

Title: Type-Directed Program Synthesis for RESTful APIs

Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, Nadia Polikarpova

Subjects: Programming Languages (cs.PL)

[40] arXiv:2203.17125 [pdf, other]

Title: An Affine Type System with Hindley-Milner Style Type Inference

Gonglin Li

Comments: 9 pages

Subjects: Programming Languages (cs.PL)

[41] arXiv:2203.17134 [pdf, other]

Title: Java Prolog Interface

Jose E. Zalacain Llanes

Subjects: Programming Languages (cs.PL)

[42] arXiv:2203.00101 (cross-list from cs.SE) [pdf, other]

Title: ApacheJIT: A Large Dataset for Just-In-Time Defect Prediction

Hossein Keshavarz, Meiyappan Nagappan

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Programming Languages (cs.PL)

[43] arXiv:2203.00218 (cross-list from cs.AR) [pdf, other]

Title: Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface

Bo-Yuan Huang, Steven Lyubomirsky, Yi Li, Mike He, Gus Henry Smith, Thierry Tambe, Akash Gaonkar, Vishal Canumalla, Andrew Cheung, Gu-Yeon Wei, Aarti Gupta, Zachary Tatlock, Sharad Malik

Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[44] arXiv:2203.00362 (cross-list from cs.LO) [pdf, other]

Title: Reasonable Space for the $λ$-Calculus, Logarithmically

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Journal-ref: Logical Methods in Computer Science, Volume 20, Issue 4 (November 20, 2024) lmcs:10883

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Programming Languages (cs.PL)

[45] arXiv:2203.00642 (cross-list from cs.AR) [pdf, other]

Title: Relaxed virtual memory in Armv8-A (extended version)

Ben Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell

Subjects: Hardware Architecture (cs.AR); Operating Systems (cs.OS); Programming Languages (cs.PL)

[46] arXiv:2203.01079 (cross-list from cs.DB) [pdf, other]

Title: Redefining The Query Optimization Process

K. F. D. Rietveld, H. A. G. Wijshoff

Comments: Originally submitted to IEEE TKDE, January 2014

Subjects: Databases (cs.DB); Programming Languages (cs.PL)

[47] arXiv:2203.03771 (cross-list from cs.LG) [pdf, other]

Title: Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descriptions

David Bieber, Rishab Goel, Daniel Zheng, Hugo Larochelle, Daniel Tarlow

Comments: 20 pages, 7 figures

Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)

[48] arXiv:2203.03850 (cross-list from cs.CL) [pdf, other]

Title: UniXcoder: Unified Cross-Modal Pre-training for Code Representation

Daya Guo, Shuai Lu, Nan Duan, Yanlin Wang, Ming Zhou, Jian Yin

Comments: Published in ACL 2022

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL); Software Engineering (cs.SE)

[49] arXiv:2203.05132 (cross-list from cs.CL) [pdf, other]

Title: Compilable Neural Code Generation with Compiler Feedback

Xin Wang, Yasheng Wang, Yao Wan, Fei Mi, Yitong Li, Pingyi Zhou, Jin Liu, Hao Wu, Xin Jiang, Qun Liu

Comments: Accepted by ACL 2022

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[50] arXiv:2203.07109 (cross-list from cs.DC) [pdf, other]

Title: Automatic Compiler-Based Data Structure Generation

K. F. D. Rietveld, H. A. G. Wijshoff

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)