Programming Languages

Authors and titles for March 2023

[21] arXiv:2303.08940 [pdf, other]

Title: Quantitative Global Memory

Sandra Alves, Delia Kesner, Miguel Ramos

Comments: WoLLIC 2023, full version (including proofs)

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

[22] arXiv:2303.09358 [pdf, other]

Title: Full Abstraction for Free

Marco Paviotti, Nicolas Wu

Subjects: Programming Languages (cs.PL)

[23] arXiv:2303.10381 [pdf, other]

Title: Modelling Chess in VDM++

Morten Haahr Kristensen, Peter Gorm Larsen

Subjects: Programming Languages (cs.PL)

[24] arXiv:2303.10453 [pdf, other]

Title: Modularity and Separate Compilation in Logic Programming

Steven Holte, Gopalan Nadathur

Subjects: Programming Languages (cs.PL)

[25] arXiv:2303.10515 [pdf, other]

Title: Ownership guided C to Rust translation

Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang

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

[26] arXiv:2303.12254 [pdf, other]

Title: Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp

Nathan Braswell, Sharjeel Khan, Santosh Pande

Comments: 26 pages, 23 figures (incl appendix), submitted to ICFP23

Subjects: Programming Languages (cs.PL)

[27] arXiv:2303.12606 [pdf, other]

Title: Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels

Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo

Comments: Submission to PLDI 2023

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

[28] arXiv:2303.14314 [pdf, other]

Title: The WhyRel Prototype for Relational Verification

Ramana Nagasamudram, Anindya Banerjee, David A. Naumann

Comments: To appear in Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2023

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

[29] arXiv:2303.15784 [pdf, other]

Title: Ideograph: A Language for Expressing and Manipulating Structured Data

Stephen Mell, Osbert Bastani, Steve Zdancewic

Comments: In Proceedings TERMGRAPH 2022, arXiv:2303.14219

Journal-ref: EPTCS 377, 2023, pp. 65-84

Subjects: Programming Languages (cs.PL)

[30] arXiv:2303.16048 [pdf, other]

Title: Amortized Analysis via Coinduction

Harrison Grodin (1), Robert Harper (1) ((1) Carnegie Mellon University)

Subjects: Programming Languages (cs.PL)

[31] arXiv:2303.01440 (cross-list from cs.RO) [pdf, html, other]

Title: Programmatic Imitation Learning from Unlabeled and Noisy Demonstrations

Jimmy Xin, Linus Zheng, Kia Rahmani, Jiayi Wei, Jarrett Holtz, Isil Dillig, Joydeep Biswas

Subjects: Robotics (cs.RO); Programming Languages (cs.PL)

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

Title: Study of Distractors in Neural Models of Code

Md Rafiqul Islam Rabin, Aftab Hussain, Sahil Suneja, Mohammad Amin Alipour

Comments: The 1st International Workshop on Interpretability and Robustness in Neural Software Engineering, Co-located with ICSE (InteNSE'23)

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

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

Title: LIDA: A Tool for Automatic Generation of Grammar-Agnostic Visualizations and Infographics using Large Language Models

Victor Dibia

Comments: Accepted at ACL 2023 (Demonstration track). Fix formatting issues, update information on evaluation metrics, prompts and project website (this https URL)

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

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

Title: Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

Noam Zilberstein, Derek Dreyer, Alexandra Silva

Journal-ref: Proc. ACM Program. Lang. 7, OOPSLA1, Article 93 (April 2023)

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

[35] arXiv:2303.03398 (cross-list from cs.MS) [pdf, other]

Title: Acceleration of a production Solar MHD code with Fortran standard parallelism: From OpenACC to `do concurrent'

Ronald M. Caplan, Miko M. Stulajter, Jon A. Linker

Comments: 10 pages, 2 tables, 4 figures, accepted to the AsHES workshop at IPDPS 2023

Subjects: Mathematical Software (cs.MS); Instrumentation and Methods for Astrophysics (astro-ph.IM); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

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

Title: MCTS-GEB: Monte Carlo Tree Search is a Good E-graph Builder

Guoliang He, Zak Singh, Eiko Yoneki

Comments: Published in 3rd Workshop on Machine Learning and Systems (EuroMLSys 23), May 8, 2023, Rome, Italy

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

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

Title: Neural Probabilistic Logic Programming in Discrete-Continuous Domains

Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt

Comments: 27 pages, 9 figures

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Symbolic Computation (cs.SC)

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

Title: RAF: Holistic Compilation for Deep Learning Model Training

Cody Hao Yu, Haozheng Fan, Guangtai Huang, Zhen Jia, Yizhi Liu, Jie Wang, Zach Zheng, Yuan Zhou, Haichen Shen, Junru Shao, Mu Li, Yida Wang

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

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

Title: A Study of Variable-Role-based Feature Enrichment in Neural Models of Code

Aftab Hussain, Md Rafiqul Islam Rabin, Bowen Xu, David Lo, Mohammad Amin Alipour

Comments: Accepted in the 1st International Workshop on Interpretability and Robustness in Neural Software Engineering (InteNSE'23), Co-located with ICSE

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

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

Title: Verus: Verifying Rust Programs using Linear Ghost Types (extended version)

Andrea Lattuada (VMware Research), Travis Hance (Carnegie Mellon University), Chanhee Cho (Carnegie Mellon University), Matthias Brun (ETH Zurich), Isitha Subasinghe (UNSW Sydney), Yi Zhou (Carnegie Mellon University), Jon Howell (VMware Research), Bryan Parno (Carnegie Mellon University), Chris Hawblitzel (Microsoft Research)

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

[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)