Programming Languages

Authors and titles for March 2023

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

Title: Planning with Large Language Models for Code Generation

Shun Zhang, Zhenfang Chen, Yikang Shen, Mingyu Ding, Joshua B. Tenenbaum, Chuang Gan

Comments: ICLR 2023. Project page:this https URL

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

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

Title: Hierarchical Neural Program Synthesis

Linghan Zhong, Ryan Lindeborg, Jesse Zhang, Joseph J. Lim, Shao-Hua Sun

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

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

Title: Evaluating performance and portability of high-level programming models: Julia, Python/Numba, and Kokkos on exascale nodes

William F. Godoy, Pedro Valero-Lara, T. Elise Dettling, Christian Trefftz, Ian Jorquera, Thomas Sheehy, Ross G. Miller, Marc Gonzalez-Tallada, Jeffrey S. Vetter, Valentin Churavy

Comments: Accepted at the 28th HIPS workshop, held in conjunction with IPDPS 2023. 10 pages, 9 figures

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

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

Title: Improved Tree Search for Automatic Program Synthesis

Aran Carmon, Lior Wolf

Comments: Proceedings of the 2nd Exploration in Reinforcement Learning Workshop at the 36th International Conference on Machine Learning, 2019

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

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

Title: Happy-GLL: modular, reusable and complete top-down parsers for parameterized nonterminals

L. Thomas van Binsbergen, Damian Frolich

Comments: 15 pages

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

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

Title: Normal Form Bisimulations By Value

Beniamino Accattoli, Adrienne Lancelot, Claudia Faggian

Comments: Rewritten version (deleted toy similarity and explained proof method on naive similarity) -- Submitted to POPL24

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

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

Title: WikiCoder: Learning to Write Knowledge-Powered Code

Théo Matricon, Nathanaël Fijalkow, Gaëtan Margueritte

Comments: Published in the proceedings of SPIN 2023

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

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

Title: DACOS-A Manually Annotated Dataset of Code Smells

Himesh Nandani, Mootez Saad, Tushar Sharma

Comments: 4 pages

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

[49] arXiv:2303.08894 (cross-list from math.CT) [pdf, other]

Title: A Formalization of Operads in Coq

Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

Comments: Repository for code to follow shortly

Subjects: Category Theory (math.CT); Computation and Language (cs.CL); Programming Languages (cs.PL)

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

Title: TypeT5: Seq2seq Type Inference using Static Analysis

Jiayi Wei, Greg Durrett, Isil Dillig

Comments: Published as a conference paper at ICLR 2023

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

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

Title: Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving

Kangfeng Ye, Jim Woodcock, Simon Foster

Comments: The final version before publication. The published version is available at this https URL

Journal-ref: Theoretical Computer Science Volume 1021, 21 December 2024, 114876

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

[52] arXiv:2303.09791 (cross-list from cs.HC) [pdf, other]

Title: ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration

Shuai Fu, Tim Dwyer, Peter J. Stuckey, Jackson Wain, Jesse Linossier

Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

[53] arXiv:2303.10174 (cross-list from cs.HC) [pdf, other]

Title: Visual Studio Code in Introductory Computer Science Course: An Experience Report

Jialiang Tan, Yu Chen, Shuyin Jiao

Subjects: Human-Computer Interaction (cs.HC); Programming Languages (cs.PL)

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

Title: Real-Time Parallel Programming: State of Play and Open Issues

Luis Miguel Pinho

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

[55] arXiv:2303.11075 (cross-list from math.LO) [pdf, other]

Title: Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T

Martin Escardo

Subjects: Logic (math.LO); Programming Languages (cs.PL)

[56] arXiv:2303.11767 (cross-list from math.NA) [pdf, other]

Title: Domain-specific implementation of high order Discontinuous Galerkin methods in spherical geometry

Kalman Szenes, Niccolò Discacciati, Luca Bonaventura, William Sawyer

Comments: 24 pages; will be subsequently submitted to Computer Physics Communications

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

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

Title: RepoCoder: Repository-Level Code Completion Through Iterative Retrieval and Generation

Fengji Zhang, Bei Chen, Yue Zhang, Jacky Keung, Jin Liu, Daoguang Zan, Yi Mao, Jian-Guang Lou, Weizhu Chen

Comments: accepted by EMNLP 2023 main conference

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

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

Title: Compiler Optimization for Irregular Memory Access Patterns in PGAS Programs

Thomas B. Rolinger, Christopher D. Krieger, Alan Sussman

Comments: Accepted to the 35th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2022)

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

[59] arXiv:2303.14500 (cross-list from quant-ph) [pdf, other]

Title: Formalization of Quantum Intermediate Representations for Code Safety

Junjie Luo, Jianjun Zhao

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)

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

Title: Picking a CHERI Allocator: Security and Performance Considerations

Jacob Bramley, Dejice Jacob, Andrei Lascu, Jeremy Singer, Laurence Tratt

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

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

Title: Specification-based CSV Support in VDM

Leo Freitas, Aaron John Buhagiar

Comments: 12 pages, 2 figures, submitted to 21st Overture workshop

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

[62] arXiv:2303.16146 (cross-list from cs.DB) [pdf, html, other]

Title: Dias: Dynamic Rewriting of Pandas Code

Stefanos Baziotis, Daniel Kang, Charith Mendis

Comments: 16 pages, 22 figures

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

[63] arXiv:2303.16359 (cross-list from cs.AI) [pdf, other]

Title: Adaptive Scaffolding in Block-Based Programming via Synthesizing New Tasks as Pop Quizzes

Ahana Ghosh, Sebastian Tschiatschek, Sam Devlin, Adish Singla

Comments: Preprint. Accepted as a paper at the AIED'22 conference

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Programming Languages (cs.PL)

[64] arXiv:2303.17399 (cross-list from quant-ph) [pdf, other]

Title: The Zeta Calculus

Nicklas Botö, Fabian Forslund

Comments: Submitted to Quantum Physics and Logic 2023

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)