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

Programming Languages

Authors and titles for recent submissions

[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]

Thu, 2 May 2024

[1]  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)
[2]  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)
[3]  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

[4]  arXiv:2404.19350 [pdf, ps, other]
Title: Transform Dialect Tutorial
Authors: Oleksandr Zinenko
Subjects: Programming Languages (cs.PL)
[5]  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

[6]  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)
[7]  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)
[8]  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)
[9]  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)
[10]  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)
[11]  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)
[12]  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)
[13]  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)
[14]  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)
[15]  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

[16]  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)
[17]  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)
[18]  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)

Fri, 26 Apr 2024 (showing first 7 of 8 entries)

[19]  arXiv:2404.16381 [pdf, ps, other]
Title: Abstracting Effect Systems for Algebraic Effect Handlers
Authors: Takuma Yoshioka (1), Taro Sekiyama (2), Atsushi Igarashi (1) ((1) Kyoto University, (2) National Institute of Informatics & SOKENDAI)
Subjects: Programming Languages (cs.PL)
[20]  arXiv:2404.16213 [pdf, ps, other]
Title: MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
Authors: Matthew Alan Le Brun, Ornela Dardha
Subjects: Programming Languages (cs.PL)
[21]  arXiv:2404.16143 [pdf, ps, other]
Title: A Two-Phase Infinite/Finite Low-Level Memory Model
Authors: Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic
Subjects: Programming Languages (cs.PL)
[22]  arXiv:2404.16077 [pdf, other]
Title: Supercompiler Code Optimization with Zero-Shot Reinforcement Learning
Authors: Jialong Wu, Chaoyi Deng, Jianmin Wang, Mingsheng Long
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[23]  arXiv:2404.16075 [pdf, other]
Title: Validating Traces of Distributed Programs Against TLA+ Specifications
Authors: Horatiu Cirstea, Markus A. Kuppe, Benjamin Loillier, Stephan Merz
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[24]  arXiv:2404.16062 [pdf, other]
Title: QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
Authors: Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
Comments: 12 pages, IFL 2023
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2404.16041 [pdf, other]
Title: Forklift: An Extensible Neural Lifter
Authors: Jordi Armengol-Estapé, Rodrigo C. O. Rocha, Jackson Woodruff, Pasquale Minervini, Michael F.P. O'Boyle
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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