Programming Languages

Authors and titles for recent submissions, skipping first 11

[ total of 26 entries: 1-10 | 2-11 | 12-21 | 22-26 ]
[ showing 10 entries per page: fewer | more | all ]

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

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

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

[ total of 26 entries: 1-10 | 2-11 | 12-21 | 22-26 ]
[ showing 10 entries per page: fewer | more | all ]