We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Mon, 6 May 2024

[1]  arXiv:2405.01787 [pdf, other]
Title: Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
Authors: Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Software Engineering (cs.SE)
[2]  arXiv:2405.01687 [pdf, ps, other]
Title: Compactness via Pattern Stepping Bisimulation
Authors: Matias Scharager
Subjects: Programming Languages (cs.PL)

Thu, 2 May 2024

[3]  arXiv:2405.00038 [pdf, other]
Title: Getting a Handle on Unmanaged Memory
Authors: Nick Wanninger, Tommy McMichen, Simone Campanoni, Peter Dinda
Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS)
[4]  arXiv:2405.00498 (cross-list from math.CT) [pdf, ps, other]
Title: The Natural Display Topos of Coalgebras
Authors: Colin Zwanziger
Comments: PhD Thesis, Carnegie Mellon University
Subjects: Category Theory (math.CT); Programming Languages (cs.PL)
[5]  arXiv:2405.00229 (cross-list from cs.HC) [pdf, other]
Title: Aptly: Making Mobile Apps from Natural Language
Authors: Evan W. Patton, David Y.J. Kim, Ashley Granquist, Robin Liu, Arianna Scott, Jennet Zamanova, Harold Abelson
Comments: 11 pages, 7 figures, 2 tables
Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Wed, 1 May 2024

[6]  arXiv:2404.19350 [pdf, ps, other]
Title: Transform Dialect Tutorial
Authors: Oleksandr Zinenko
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2404.19336 (cross-list from cs.AI) [pdf, ps, other]
Title: Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
Authors: Yanggyu Lee, Suchae Jeong, Jihie Kim
Comments: Accepted in ITS 2024
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Tue, 30 Apr 2024

[8]  arXiv:2404.18852 [pdf, other]
Title: VERT: Verified Equivalent Rust Transpilation with Few-Shot Learning
Authors: Aidan Z.H. Yang, Yoshiki Takashima, Brandon Paulsen, Josiah Dodds, Daniel Kroening
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[9]  arXiv:2404.18417 [pdf, other]
Title: Domain Reasoning in TopKAT
Authors: Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi
Comments: A version of this article is accepted at ICALP 2024
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[10]  arXiv:2404.18249 [pdf, other]
Title: Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Authors: Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
Subjects: Programming Languages (cs.PL)
[11]  arXiv:2404.18170 [pdf, other]
Title: Bridging Worlds: Achieving Language Interoperability between Julia and Python in Scientific Computing
Authors: Ianna Osborne, Jim Pivarski, Jerry Ling
Comments: 8 pages, 1 figure, ACAT2024 workshop
Subjects: Programming Languages (cs.PL); Data Analysis, Statistics and Probability (physics.data-an)
[12]  arXiv:2404.18874 (cross-list from cs.LO) [pdf, ps, other]
Title: The Essense of Useful Evaluation Through Quantitative Types (Extended Version)
Authors: Pablo Barenbaum, Delia Kesner, Mariana Milicich
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[13]  arXiv:2404.18756 (cross-list from cs.SE) [pdf, other]
Title: K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
Authors: Jianhong Zhao, Jinhui Kang, Yongwang Zhao
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[14]  arXiv:2404.18353 (cross-list from cs.CR) [pdf, other]
Title: Do Neutral Prompts Produce Insecure Code? FormAI-v2 Dataset: Labelling Vulnerabilities in Code Generated by Large Language Models
Authors: Norbert Tihanyi, Tamas Bisztray, Mohamed Amine Ferrag, Ridhi Jain, Lucas C. Cordeiro
Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
[15]  arXiv:2404.18226 (cross-list from quant-ph) [pdf, ps, other]
Title: A quantum compiler design method by using linear combinations of permutations
Authors: Ammar Daskin
Comments: related code this https URL
Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL)
[16]  arXiv:2404.17864 (cross-list from cs.CR) [pdf, ps, other]
Title: Solvent: liquidity verification of smart contracts
Authors: Massimo Bartoletti, Angelo Ferrando, Enrico Lipparini, Vadim Malvone
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[17]  arXiv:2404.17833 (cross-list from cs.AI) [pdf, other]
Title: Testing and Understanding Erroneous Planning in LLM Agents through Synthesized User Inputs
Authors: Zhenlan Ji, Daoyuan Wu, Pingchuan Ma, Zongjie Li, Shuai Wang
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Mon, 29 Apr 2024

[18]  arXiv:2404.17297 [pdf, ps, other]
Title: Denotation-based Compositional Compiler Verification
Authors: Zheng Cheng, Jiyang Wu, Di Wang, Qinxiang Cao
Comments: 38 pages, 8 figures
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2404.16997 [pdf, ps, other]
Title: Probabilistic Interval Analysis of Unreliable Programs
Authors: Dibyendu Das, Soumyajit Dey
Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM)
[20]  arXiv:2404.17065 (cross-list from cs.LO) [pdf, ps, other]
Title: DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
Authors: Jason Z. S. Hu, Brigitte Pientka
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[ total of 20 entries: 1-20 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2405, contact, help  (Access key information)