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, 20 May 2024

[1]  arXiv:2405.10801 [pdf, ps, other]
Title: The Relational Machine Calculus
Authors: Chris Barrett, Daniel Castle, Willem Heijltjes
Comments: LICS paper, 15 pages excluding references
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2405.10661 [pdf, other]
Title: Verification Algorithms for Automated Separation Logic Verifiers
Authors: Marco Eilers, Malte Schwerhoff, Peter Müller
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2405.10499 [pdf, ps, other]
Title: Predictive Monitoring with Strong Trace Prefixes
Authors: Zhendong Ang, Umang Mathur
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2405.10924 (cross-list from cs.LG) [pdf, other]
Title: Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Authors: Yuval Shapira, Naor Wiesel, Shahar Shabelman, Dana Drachsler-Cohen
Subjects: Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[5]  arXiv:2405.10611 (cross-list from cs.LO) [pdf, ps, other]
Title: A Certified Proof Checker for Deep Neural Network Verification
Authors: Remi Desmartin, Omri Isac, Ekaterina Komendantskaya, Kathrin Stark, Grant Passmore, Guy Katz
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

Fri, 17 May 2024

[6]  arXiv:2405.10089 [pdf, other]
Title: Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
Authors: Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes
Subjects: Programming Languages (cs.PL)
[7]  arXiv:2405.10060 (cross-list from cs.SE) [pdf, other]
Title: Typing Requirement Model as Coroutines
Authors: Qiqi Gu, Wei Ke
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Thu, 16 May 2024

[8]  arXiv:2405.09391 [pdf, ps, other]
Title: Compositional imprecise probability
Authors: Jack Liell-Cock, Sam Staton
Comments: Draft. Feedback welcome
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[9]  arXiv:2405.08965 [pdf, other]
Title: LLMs are Meaning-Typed Code Constructs
Authors: Jason Mars, Yiping Kang, Jayanaka Dantanarayana, Chandra Irugalbandara, Kugesan Sivasothynathan, Lingjia Tang
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[10]  arXiv:2405.09232 (cross-list from cs.SC) [pdf, other]
Title: Algebraic Tools for Computing Polynomial Loop Invariants
Authors: Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Comments: 10 pages, 1 figure
Subjects: Symbolic Computation (cs.SC); Programming Languages (cs.PL); Algebraic Geometry (math.AG)
[11]  arXiv:2405.09213 (cross-list from cs.OS) [pdf, other]
Title: Potential of WebAssembly for Embedded Systems
Authors: Stefan Wallentowitz, Bastian Kersting, Dan Mihai Dumitriu
Subjects: Operating Systems (cs.OS); Programming Languages (cs.PL)

Wed, 15 May 2024

[12]  arXiv:2405.08372 [pdf, ps, other]
Title: Reasoning about Interior Mutability in Rust using Library-Defined Capabilities
Authors: Federico Poli, Xavier Denis, Peter Müller, Alexander J. Summers
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[13]  arXiv:2405.08348 [pdf, other]
Title: Foundational Verification of Smart Contracts through Verified Compilation
Authors: Vilhelm Sjöberg, Kinnari Dave, Daniel Britten, Maria A Schett, Xinyuan Sun, Qinshi Wang, Sean Noble Anderson, Steve Reeves, Zhong Shao
Comments: 27 pages, 6 figures
Subjects: Programming Languages (cs.PL)

Tue, 14 May 2024

[14]  arXiv:2405.07973 [pdf, other]
Title: A Natural Formalized Proof Language
Authors: Lihan Xie, Zhicheng Hui, Qinxiang Cao
Subjects: Programming Languages (cs.PL)
[15]  arXiv:2405.06972 [pdf, other]
Title: A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
Authors: Louis Rustenholz, Maximiliano Klemen, Miguel Ángel Carreira-Perpiñán, Pedro López-García
Comments: arXiv admin note: text overlap with arXiv:2309.07259
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[16]  arXiv:2405.06826 [pdf, other]
Title: A Nominal Approach to Probabilistic Separation Logic
Authors: John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, Steven Holtzen
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[17]  arXiv:2405.07724 (cross-list from math.CT) [pdf, ps, other]
Title: Monoidal closure of Grothendieck constructions via $Σ$-tractible monoidal structures and Dialectica formulas
Authors: Fernando Lucatelli Nunes, Matthijs Vákár
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[18]  arXiv:2405.07448 (cross-list from cs.SE) [pdf, other]
Title: Evaluating the Language-Based Security for Plugin Development
Authors: Naisheng Liang, Alex Potanin
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[19]  arXiv:2405.07204 (cross-list from cs.SE) [pdf, other]
Title: Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
Authors: Gábor Antal, Dávid Havas, István Siket, Árpád Beszédes, Rudolf Ferenc, József Mihalicza
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[20]  arXiv:2405.06907 (cross-list from cs.CL) [pdf, other]
Title: CoRE: LLM as Interpreter for Natural Language Programming, Pseudo-Code Programming, and Flow Programming of AI Agents
Authors: Shuyuan Xu, Zelong Li, Kai Mei, Yongfeng Zhang
Comments: 12 pages, 6 figures, comments and suggestions are welcome
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); 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)