Tootfinder

from my link log —
Let's take esoteric programming languages seriously.
https://arxiv.org/abs/2505.15327
saved 2025-10-11 https://dotat.at/:/XKTKR.…

Let's Take Esoteric Programming Languages Seriously
Esoteric programming languages are challenging to learn, but their unusual features and constraints may serve to improve programming ability. From languages designed to be intentionally obtuse (e.g. INTERCAL) to others targeting artistic expression (e.g. Piet) or exploring the nature of computation (e.g. Fractan), there is rich variety in the realm of esoteric programming languages. This essay examines the counterintuitive appeal of esoteric languages and seeks to analyse reasons for this popul…

Operational methods in semantics
Roberto M. Amadio
https://arxiv.org/abs/2510.12295 https://arxiv.org/pdf/2510.12295

Operational methods in semantics
The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation steps of programs and then to build on top semantic equivalences, specification languages, and static analyses. While other approaches to the semantics of programming languages are possible, it appears that the operational one is particularly effective in th…

Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages
Attila Egri-Nagy
https://arxiv.org/abs/2510.12481 https://arxiv.org/pd…

Bringing Algebraic Hierarchical Decompositions to Concatenative Functional Languages
Programming languages tend to evolve over time to use more and more concepts from theoretical computer science. Still, there is a gap between programming and pure mathematics. Not all theoretical results have realized their promising applications. The algebraic decomposition of finite state automata (Krohn-Rhodes Theory) constructs an emulating hierarchical structure from simpler components for any computing device. These decompositions provide ways to understand and control computational proce…

These are three arguments for web dev serv. APIs, even if you have to take a critical look at them in detail:
»Speed Comparison: Benchmarking programming languages using the Leibniz formula for calculating π«
— 2025-12-12
📊 https://niklas-heer.github.io/speed-comparison/…

Interoperability From OpenTelemetry to Kieker: Demonstrated as Export from the Astronomy Shop
David Georg Reichelt, Shinhyung Yang, Wilhelm Hasselbring
https://arxiv.org/abs/2510.11179

Interoperability From OpenTelemetry to Kieker: Demonstrated as Export from the Astronomy Shop
The observability framework Kieker provides a range of analysis capabilities, but it is currently only able to instrument a smaller selection of languages and technologies, including Java, C, Fortran, and Python. The OpenTelemetry standard aims for providing reference implementations for most programming languages, including C# and JavaScript, that are currently not supported by Kieker. In this work, we describe how to transform OpenTelemetry tracing data into the Kieker framework. Thereby, it …

Tensor Logic: The Language of AI
Pedro Domingos
https://arxiv.org/abs/2510.12269 https://arxiv.org/pdf/2510.12269…

Tensor Logic: The Language of AI
Progress in AI is hindered by the lack of a programming language with all the requisite features. Libraries like PyTorch and TensorFlow provide automatic differentiation and efficient GPU implementation, but are additions to Python, which was never intended for AI. Their lack of support for automated reasoning and knowledge acquisition has led to a long and costly series of hacky attempts to tack them on. On the other hand, AI languages like LISP an Prolog lack scalability and support for learn…

Initial Algebras of Domains via Quotient Inductive-Inductive Types
Simcha van Collem, Niels van der Weide, Herman Geuvers
https://arxiv.org/abs/2509.10187 https://

Initial Algebras of Domains via Quotient Inductive-Inductive Types
Domain theory has been developed as a mathematical theory of computation and to give a denotational semantics to programming languages. It helps us to fix the meaning of language concepts, to understand how programs behave and to reason about programs. At the same time it serves as a great theory to model various algebraic effects such as non-determinism, partial functions, side effects and numerous other forms of computation. In the present paper, we present a general framework to construct …

from my link log —
A C to Brainfuck compiler written in Rust.
https://iacgm.pages.dev/posts/c2bf/
saved 2025-10-13 https://dotat.at/:/OEPJB.html

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Incremental Computation: What Is the Essence?
Yanhong A. Liu
https://

Towards An Approach to Identify Divergences in Hardware Designs for HPC Workloads
Doru Thom Popovici, Mario Vega, Angelos Ioannou, Fabien Chaix, Dania Mosuli, Blair Reasoner, Tan Nguyen, Xiaokun Yang, John Shalf
https://arxiv.org/abs/2509.09774

Towards An Approach to Identify Divergences in Hardware Designs for HPC Workloads
Developing efficient hardware accelerators for mathematical kernels used in scientific applications and machine learning has traditionally been a labor-intensive task. These accelerators typically require low-level programming in Verilog or other hardware description languages, along with significant manual optimization effort. Recently, to alleviate this challenge, high-level hardware design tools like Chisel and High-Level Synthesis have emerged. However, as with any compiler, some of the gen…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Tensor Logic: The Language of AI
Pedro Domingos
https://ar…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Syntactic Completions with Material Obligations
David Moon, Andrew Blinn, Thomas J. Porter, Cyrus Omar

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel i...
Mingyi Li, Junmin Xiao, Siyan Chen, Hui Ma, Xi Chen, Peihua Bao, Liang Yuan, Guangming Tan

»Introduction to CSS if() Statements and Conditional Logic«
CSS will probably become logically structurable after a long time. It's not a programming language and that's why it's all the more exciting.
🖌️ https://markodenic.com/introduction-to

Introduction to CSS if Statements and Conditional Logic
Conditional logic is a familiar concept to anyone who has written a programming language. Languages like JavaScript or Python use if/else statements to evaluate expressions and execute different blocks of code depending on whether the condition is true or false.

THE LESSER-KNOWN PROGRAMMING LANGUAGES #8: LAIDBACK
This language was developed at the Marin County Center for T'ai Chi,
Mellowness and Computer Programming (now defunct), as an alternative to
the more intense atmosphere in nearby Silicon Valley.
The center was ideal for programmers who liked to soak in hot tubs while
they worked. Unfortunately few programmers could survive there because the
center outlawed Pizza and Coca-Cola in favor of Tofu and Perrier…

[2025-10-15 Wed (UTC), 5 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

"Programmers, as users of compilers, experience Wittgenstein’s observation every day; newer programming languages provide more sophisticated ways to express algorithms, thereby expanding the limits of their own programming capacity, LLMs and “vibe coding” notwithstanding."
https://deprogrammaticaipsum.com/vikra…

Vikram Chandra
There are a lot of different things we could have talked about in the Library section of an edition dedicated to compilers; one obvious choice would have been to talk about the quintessential compiler theory book, the 1986 "Dragon Book" also known as "Compilers: Principles, Techniques, and Tools" by Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. As excellent and Wikipedia-worthy as this one is, that is not the book we will talk about here.

[2025-09-15 Mon (UTC), no new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Programming in Forth is oddly relaxing. I want to forget about modern languages and embrace antique ones

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Chen, Lin, Godbole, Singh, Polgreen, Lee, Seshia

from my link log —
Control structures in programming languages: from goto to algebraic effects.
http://xavierleroy.org/control-structures/
saved 2025-11-03

MulVuln: Enhancing Pre-trained LMs with Shared and Language-Specific Knowledge for Multilingual Vulnerability Detection
Van Nguyen, Surya Nepal, Xingliang Yuan, Tingmin Wu, Fengchao Chen, Carsten Rudolph
https://arxiv.org/abs/2510.04397

MulVuln: Enhancing Pre-trained LMs with Shared and Language-Specific Knowledge for Multilingual Vulnerability Detection
Software vulnerabilities (SVs) pose a critical threat to safety-critical systems, driving the adoption of AI-based approaches such as machine learning and deep learning for software vulnerability detection. Despite promising results, most existing methods are limited to a single programming language. This is problematic given the multilingual nature of modern software, which is often complex and written in multiple languages. Current approaches often face challenges in capturing both shared and…

Regression Language Models for Code
Yash Akhauri, Xingyou Song, Arissa Wongpanich, Bryan Lewandowski, Mohamed S. Abdelfattah
https://arxiv.org/abs/2509.26476 https://

Regression Language Models for Code
We study code-to-metric regression: predicting numeric outcomes of code executions, a challenging task due to the open-ended nature of programming languages. While prior methods have resorted to heavy and domain-specific feature engineering, we show that a single unified Regression Language Model (RLM) can simultaneously predict directly from text, (i) the memory footprint of code across multiple high-level languages such as Python and C++, (ii) the latency of Triton GPU kernels, and (iii) the …

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Hound: Relation-First Knowledge Graphs for Complex-System Reasoning in Security Audits
Bernhard Mueller
…

Why Engineers Can't Be Rational About #ProgrammingLanguages
https://spf13.com/p/the-hidden-conversation/

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
Yubo Bai, Tapti Palit
https://arxiv.org/abs/2510.07604 https://arxiv.org/pdf/25…

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
Rust is a memory-safe programming language that significantly improves software security. Existing codebases written in unsafe memory languages, such as C, must first be transpiled to Rust to take advantage of Rust's improved safety guarantees. RustAssure presents a system that uses Large Language Models (LLMs) to automatically transpile existing C codebases to Rust. RustAssure uses prompt engineering techniques to maximize the chances of the LLM generating idiomatic and safe Rust code. Moreove…

Chroma model stellar surface intensities: Spherical formal solution
C. Ian Short
https://arxiv.org/abs/2510.05035 https://arxiv.org/pdf/2510.05035

Chroma+ model stellar surface intensities: Spherical formal solution
We announce V. 2025-08-08 of the Chroma+ suite of stellar atmosphere and spectrum modelling codes for fast, approximate, effectively platform-independent stellar spectrum synthesis, written in a number of free well-supported programming languages. The Chroma+ suite now computes the emergent surface intensity and flux distributions and the hydrostatic pressure structure assuming a spherical atmosphere rather than local flatness by implementing the analytic formal solution of the 1D spherical rad…

Pedro Abreu aka #TypeTheoryForall had an epic conversation with me about all things programming languages, out now on the podcast.
https://www.typetheoryforall.com/…

"PHP is the lingua franca of affordable web hosting options; or, in other terms, the Toyota Corolla of programming languages: boring, solid, easy, and affordable. You can find, almost anywhere in the world, an affordable web hosting with the saint quadrinity of LAMP: Linux, Apache, MySQL, and PHP; an OS, a web server, a database server, and a scripting language, in an inexpensive package, enabling the masses to go further. Paraphrasing George Clooney, what else?"

The Toyota Corolla Of Programming
In 1995, an otherwise unknown software developer released the first version of a new scripting language whose explicit aim was to make applications for this new platform called "The World Wide Web". After starting as a small project, and thanks to the crazy dot-com years, it grew dramatically to become one of the most widely used programming languages of all time. After some stumbling first steps, it eventually got some sort of standardization in 1997, even reluctantly including some OOP featur…

A Multilingual Python Programming Language
Saad Ahmed Bazaz, Mirza Omer Beg
https://arxiv.org/abs/2510.09591 https://arxiv.org/pdf/2510.09591

A Multilingual Python Programming Language
All widely used and useful programming languages have a common problem. They restrict entry on the basis of knowledge of the English language. The lack of knowledge of English poses a major hurdle to many newcomers who do not have the resources, in terms of time and money, to learn the English language. Studies show that people learn better in their own language. Therefore, we propose a language transpiler built on top of the Python programming language, called UniversalPython, which allows one…

#memorysafe implementation of the C and C programming languages

Parametric Distributive Laws: uniform monad composition
Lorenzo Perticone
https://arxiv.org/abs/2509.22208 https://arxiv.org/pdf/2509.22208

Parametric Distributive Laws: uniform monad composition
Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to tackle it: currently, the most prevalent notion is that of monad transformers. We provide a novel abstract framework to describe such "compositions" which we call parametric distributive laws. Our description of this framework hinges on the theory of 2-categori…

Wow, just noticed #ThingUmbrella reached 3700 stars on GitHub — I'm celebrating... 🤩🫠
Heartfelt thanks to all of you who've been helping along the way (in any shape & form) and been supporting this work for all these years and across different programming languages/camps! Merci beaucoup!!! Esp. big Thank You's to fellow fediverse people/supporters from various stages…

thi.ng/umbrella

[2025-10-14 Tue (UTC), 12 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

A Multi-Language Object-Oriented Programming Benchmark for Large Language Models
Shuai Wang, Liang Ding, Li Shen, Yong Luo, Han Hu, Lefei Zhang, Fu Lin
https://arxiv.org/abs/2509.26111

A Multi-Language Object-Oriented Programming Benchmark for Large Language Models
Establishing fair and robust benchmarks is essential for evaluating intelligent code generation by large language models (LLMs). Our survey of 35 existing benchmarks uncovers three major imbalances: 85.7% focus on a single programming language; 94.3% target only function-level or statement-level tasks; and over 80% include fewer than ten test cases on average. To address these gaps, we propose MultiOOP, a multi-language object-oriented programming benchmark covering six popular languages (Pytho…

from my link log —
A bestiary of single-file programming language implementations.
https://github.com/marcpaq/b1fipl
saved 2020-02-13 https://dotat.at…

GitHub - marcpaq/b1fipl: A Bestiary of Single-File Implementations of Programming Languages
A Bestiary of Single-File Implementations of Programming Languages - marcpaq/b1fipl

Replaced article(s) found for cs.PF. https://arxiv.org/list/cs.PF/new
[1/1]:
- It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
Nicolas van Kempen, Hyuk-Je Kwon, Dung Tuan Nguyen, Emery D. Berger

The 85th edition of De Programmatica Ipsum is out!
This month, we look at the strategies used by major programming languages to manage memory; in our Vidéothèque section, we learn how C and C manage memory in a video by Ryan Baker; and in the Library section, we review "What Every Programmer Should Know About Memory" by Ulrich Drepper.

Some programming languages manage to absorb change, but withstand progress.
-- Epigrams in Programming, ACM SIGPLAN Sept. 1982

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
https://arxiv.org/abs/2510.10015

End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
Program safety (i.e., absence of undefined behaviors) is critical for correct operation of computer systems. It is usually verified at the source level (e.g., by separation logics) and preserved to the target by verified compilers (e.g., CompCert), thereby achieving end-to-end verification of safety. However, modern safe programming languages like Rust pose new problems in achieving end-to-end safety. Because not all functionalities can be implemented in the safe language, mixing safe and unsaf…

Measuring #EnergyConsumption in #ProgrammingLanguages for #AI Applications

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floating?
Imranur Rahman, Jill Marley, William Enck, Laurie Williams

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
Alexander Baumgartner, Temur Kutsia
https://arxiv.org/abs/2509.25023 https://

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
This paper introduces a novel anti-unification algorithm for the generalization of variadic structures with binders, designed as a flexible tool for structural code comparison. By combining nominal techniques for handling variable binding with support for variadic expressions (common in abstract syntax trees and programming languages), the approach addresses key challenges such as overemphasis on bound variable names and difficulty handling insertions or deletions in code fragments. The algorit…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Types, equations, dimensions and the Pi theorem
Nicola Botta, Patrik Jansson, Guilherme Horta Alvares Da Silva

Agentic Specification Generator for Move Programs
Yu-Fu Fu, Meng Xu, Taesoo Kim
https://arxiv.org/abs/2509.24515 https://arxiv.org/pdf/2509.24515

Agentic Specification Generator for Move Programs
While LLM-based specification generation is gaining traction, existing tools primarily focus on mainstream programming languages like C, Java, and even Solidity, leaving emerging and yet verification-oriented languages like Move underexplored. In this paper, we introduce MSG, an automated specification generation tool designed for Move smart contracts. MSG aims to highlight key insights that uniquely present when applying LLM-based specification generation to a new ecosystem. Specifically, MSG …

Worker Pool Design Pattern Explanation
https://coffeebytes.dev/en/software-architecture/worker-pool-design-pattern-explanation/

[2025-10-13 Mon (UTC), 5 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Typestate via Revocable Capabilities
Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf
https://arxiv.org/abs/2510.08889 https://arxiv…

Typestate via Revocable Capabilities
Managing stateful resources safely and expressively is a longstanding challenge in programming languages, especially in the presence of aliasing. While scope-based constructs such as Java's synchronized blocks offer ease of reasoning, they restrict expressiveness and parallelism. Conversely, imperative, flow-sensitive management enables fine-grained control but demands sophisticated typestate analyses and often burdens programmers with explicit state tracking. In this work, we present a novel…

Beyond Language Barriers: Multi-Agent Coordination for Multi-Language Code Generation
Micheline B\'en\'edicte Moumoula, Serge Lionel Nikiema, Alb\'erick Euraste Djire, Abdoul Kader Kabore, Jacques Klein, Tegawend\'e F. Bissyande
https://arxiv.org/abs/2509.19918

Beyond Language Barriers: Multi-Agent Coordination for Multi-Language Code Generation
Producing high-quality code across multiple programming languages is increasingly important as today's software systems are built on heterogeneous stacks. Large language models (LLMs) have advanced the state of automated programming, yet their proficiency varies sharply between languages, especially those with limited training data such as Rust, Perl, OCaml, and Erlang. Many current solutions including language-specific fine-tuning, multi-agent orchestration, transfer learning, and intermediate…

PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li, Milos Gligoric
https://arxiv.org/abs/2510.03415

PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
As large language models (LLMs) excel at code reasoning, a natural question arises: can an LLM execute programs (i.e., act as an interpreter) purely based on a programming language's formal semantics? If so, it will enable rapid prototyping of new programming languages and language features. We study this question using the imperative language IMP (a subset of C), formalized via small-step operational semantics (SOS) and rewriting-based operational semantics (K-semantics). We introduce three ev…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Weak-Linear Types
Hector Gramaglia
https://arxiv.org/abs/2402…

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
Mahmoud Samir Fayed
https://arxiv.org/abs/2509.20426 https://

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
Most visual programming languages (VPLs) are domain-specific, with few general-purpose VPLs like Programming Without Coding Technology (PWCT). These general-purpose VPLs are developed using textual programming languages and improving them requires textual programming. In this thesis, we designed and developed PWCT2, a dual-language (Arabic/English), general-purpose, self-hosting visual programming language. Before doing so, we specifically designed a textual programming language called Ring for…

Beyond Single LLMs: Enhanced Code Generation via Multi-Stage Performance-Guided LLM Orchestration
Huashan Chen, Zhenyu Qi, Haotang Li, Hong Chen, Jinfu Chen, Kebin Peng, In Kee Kim, Kyu Hyung Lee, Sen He
https://arxiv.org/abs/2510.01379

Beyond Single LLMs: Enhanced Code Generation via Multi-Stage Performance-Guided LLM Orchestration
While Large Language Models (LLMs) have become the predominant paradigm for automated code generation, current single-model approaches fundamentally ignore the heterogeneous computational strengths that different models exhibit across programming languages, algorithmic domains, and development stages. This paper challenges the single-model convention by introducing a multi-stage, performance-guided orchestration framework that dynamically routes coding tasks to the most suitable LLMs within a s…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Optimization Modeling via Semantic Anchored Alignment
Yansen Zhang, Qingcan Kang, Yujie Chen, Yufei Wang, Xiongwei Han, Tao Zhong, Mingxuan Yuan, Chen Ma

CodeChemist: Functional Knowledge Transfer for Low-Resource Code Generation via Test-Time Scaling
Kaixin Wang, Tianlin Li, Xiaoyu Zhang, Aishan Liu, Xianglong Liu, Ziqi Liu, Zhiqiang Zhang, Jun Zhou, and Bin Shi
https://arxiv.org/abs/2510.00501

CodeChemist: Functional Knowledge Transfer for Low-Resource Code Generation via Test-Time Scaling
Code Large Language Models (CodeLLMs) are increasingly used in code generation tasks across a wide range of applications. However, their performance is often inconsistent across different programming languages (PLs), with low-resource PLs suffering the most due to limited training data. In this paper, we present CodeChemist, a novel and efficient framework for test-time scaling that enables functional knowledge transfer from high-resource to low-resource PLs using generated test cases. CodeChem…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware

[2025-10-09 Thu (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- It's Not Easy Being Green: On the Energy Efficiency of Programming Languages
Nicolas van Kempen, Hyuk-Je Kwon, Dung Tuan Nguyen, Emery D. Berger

[2025-10-08 Wed (UTC), no new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
Suresh K. Damodaran, Paul D. Rowe

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A Two-Level Linear Dependent Type Theory
Qiancheng Fu, Hongwei Xi
https://

[2025-10-10 Fri (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

[2025-10-07 Tue (UTC), 4 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Discovering Software Parallelization Points Using Deep Neural Networks
Izavan dos S. Correia, Henrique C. T. Santos, Tiago A. E. Ferreira

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- An Empirical Study of Rational Tree Unification for miniKanren
Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev

[2025-10-06 Mon (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Ranking Functions for Linear-Constraint Loops
Amir M. Ben-Amram, Samir Genaim
https:…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A benchmark for vericoding: formally verified program synthesis
Sergiu Bursuc, et al.

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Giuseppe Castagna, Guillaume Duboc

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Char...
Briza Mel Dias de Sousa, Renato Cordeiro Ferreira, Alfredo Goldman

[2025-10-03 Fri (UTC), no new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Pleasant Imperative Program Proofs with GallinaC
Fr\'ed\'eric Fort, David Nowak, Vlad Rusu
https://arxiv.org/abs/2509.13019 https://arxiv.org/pdf/2…

Pleasant Imperative Program Proofs with GallinaC
Even with the increase of popularity of functional programming, imperative programming remains a key programming paradigm, especially for programs operating at lower levels of abstraction. When such software offers key components of a Trusted Computing Base (TCB), e.g. an operating system kernel, it becomes desirable to provide mathematical correctness proofs. However, current real-world imperative programming languages possess "expressive", i.e. overly permissive, semantics. Thus, producing …

[2025-10-02 Thu (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Evaluating the Limitations of Local LLMs in Solving Complex Programming Challenges
Kadin Matotek, Heather Cassel, Md Amiruzzaman, Linh B. Ngo

[2025-10-01 Wed (UTC), no new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- ViCAR: Visualizing Categories with Automated Rewriting in Coq
Bhakti Shah, Willam Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- ACCeLLiuM: Supervised Fine-Tuning for Automated OpenACC Pragma Generation
Samyak Jhaveri, Vanessa Klotzmann, Crista Lopes

[2025-09-30 Tue (UTC), 4 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Petri Nets-based Methods on Automatically Detecting for Concurrency Bugs in Rust Programs
Kaiwen Zhang, Guanjun Liu

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Automated Insertion of Flushes and Fences for Persistency
Yutong Guo, Weiyu Luo, Brian Demsky

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Abhishek Rose, Sorav Bansal

Efficient Compilation of Algorithms into Compact Linear Programs
Shermin Khosravi, David Bremner
https://arxiv.org/abs/2509.13006 https://arxiv.org/pdf/250…

Efficient Compilation of Algorithms into Compact Linear Programs
Linear Programming (LP) is widely applied in industry and is a key component of various other mathematical problem-solving techniques. Recent work introduced an LP compiler translating polynomial-time, polynomial-space algorithms into polynomial-size LPs using intuitive high-level programming languages, offering a promising alternative to manually specifying each set of constraints through Algebraic Modeling Languages (AMLs). However, the resulting LPs, while polynomial in size, are often extre…

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence ...
Wei, Cao, Li, Chen, Zhang, Wang, Liu, Teixeira, Yang, Wang, Aiken

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A 200-Line Python Micro-Benchmark Suite for NISQ Circuit Compilers
Juhani Merilehto

[2025-09-29 Mon (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
Hua Zhong, Shan Jiang, Sarfraz Khurshid

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Large Language Model Powered Symbolic Execution
Yihe Li, Ruijie Meng, Gregory J. Duck

[2025-09-26 Fri (UTC), 2 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Mini-Batch Robustness Verification of Deep Neural Networks
Saar Tzour-Shaday, Dana Drachsler-Cohen

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A Taxonomy of Prompt Defects in LLM Systems
Haoye Tian, Chong Wang, BoYang Yang, Lyuye Zhang, Yang Liu

[2025-09-25 Thu (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement
Max Barth, Marie-Christine Jakobs

[2025-09-24 Wed (UTC), 1 new article found for cs.PL Programming Languages]
toXiv_bot_toot

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Lean4Lean: Verifying a Typechecker for Lean, in Lean
Mario Carneiro
https://…

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas Pavlogiannis, H\"unkar Can Tun\c{c}, Mahesh Viswanathan

Replaced article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models
Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li

Crosslisted article(s) found for cs.PL. https://arxiv.org/list/cs.PL/new
[1/1]:
- The Hidden Strength of Costrong Functors
Adriana Balan, Silviu-George Pantelimon

[2025-09-23 Tue (UTC), 3 new articles found for cs.PL Programming Languages]
toXiv_bot_toot