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

Programming Languages

Authors and titles for recent submissions, skipping first 10

[ total of 26 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26 ]
[ showing 5 entries per page: fewer | more | all ]

Tue, 30 Apr 2024 (continued, showing last 5 of 10 entries)

[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)
[ total of 26 entries: 1-5 | 6-10 | 11-15 | 16-20 | 21-25 | 26 ]
[ showing 5 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)