arxiv cs.PL

Michael Schwarz, Julian Erhard
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
https://arxiv.org/abs/2511.11055

Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
https://arxiv.org/abs/2511.11070

Tobias Kapp\'e, Alexandra Silva, Jana Wagemaker
Kleene Algebra
https://arxiv.org/abs/2511.11264

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Benjamin Gr\'egoire, Vincent Laporte, Paolo Torrini
The Jasmin Compiler Preserves Cryptographic Security
https://arxiv.org/abs/2511.11292

Shiv Sundram, Akhilesh Balasingam, Nathan Zhang, Kunle Olukotun, Fredrik Kjolstad
Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
https://arxiv.org/abs/2511.09987

Alistair O'Brien, Didier R\'emy, Gabriel Scherer
Omnidirectional type inference for ML: principality any way
https://arxiv.org/abs/2511.10343

Rodrigo Mesquita, Bernardo Toninho
Lazy Linearity for a Core Functional Language
https://arxiv.org/abs/2511.10361

Somashekaracharya G Bhaskaracharya, Aravind Acharya, Bastian Hagedorn, Vinod Grover
Modeling Layout Abstractions Using Integer Set Relations
https://arxiv.org/abs/2511.10374

Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti
zkStruDul: Programming zkSNARKs with Structural Duality
https://arxiv.org/abs/2511.10565

Sacha-\'Elie Ayoun, Opale Sj\"ostedt, Azalea Raad
Soteria: Efficient Symbolic Execution as a Functional Library
https://arxiv.org/abs/2511.08729

Robert Atkey, Roly Perera
Galois Slicing as Automatic Differentiation
https://arxiv.org/abs/2511.09203

Prateek Rajput, Abdoul Aziz Bonkoungou, Yewei Song, Abdoul Kader Kabore, Iyiola E. Olatunji, Jacques Klein, Tegewende Bissyande
Dynamic Stability of LLM-Generated Code
https://arxiv.org/abs/2511.07463

Gina Sohn, Genghan Zhang, Konstantin Hossfeld, Jungwoo Kim, Nathan Sobotka, Nathan Zhang, Olivia Hsu, Kunle Olukotun
Streaming Tensor Program: A streaming abstraction for dynamic parallelism
https://arxiv.org/abs/2511.07776

Zhixuan Yang, Nicolas Wu
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
https://arxiv.org/abs/2511.05739

Yacine Hakimi, Riyadh Baghdadi
A Data-driven Analysis of Code Optimizations
https://arxiv.org/abs/2511.06117

Avani Tiwari, Yacine Hakimi, Riyadh Baghdadi
A Deep Learning Model for Predicting Transformation Legality
https://arxiv.org/abs/2511.06120

Marcelo P. Fiore, Ohad Kammar, Georg Moser, Sam Staton
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
https://arxiv.org/abs/2511.03946

Roland Meyer, Jakob Tepe
Oriented Metrics for Bottom-Up Enumerative Synthesis
https://arxiv.org/abs/2511.02491

Wentao Peng, Ruyi Ji, Yingfei Xiong
Equality Saturation Guided by Large Language Models
https://arxiv.org/abs/2511.00403

Jun Gao, Yun Peng, Xiaoxue Ren
\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
https://arxiv.org/abs/2511.00488

Massinissa Merouani, Islem Kara Bernou, Riyadh Baghdadi
Agentic Auto-Scheduling: An Experimental Study of LLM-Guided Loop Optimization
https://arxiv.org/abs/2511.00592

Igor Engel, Ekaterina Verbitskaia
Typed Embedding of miniKanren for Functional Conversion
https://arxiv.org/abs/2511.00740

Charles Yuan
Cobble: Compiling Block Encodings for Quantum Computational Linear Algebra
https://arxiv.org/abs/2511.01736

Marouane Benbetka, Merwan Bekkar, Riyadh Baghdadi, Martin Kong
Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
https://arxiv.org/abs/2510.27067

Michael Arntzenius
Fair intersection of seekable iterators
https://arxiv.org/abs/2510.26016

Di Zhang
The Singularity Theory of Concurrent Programs: A Topological Characterization and Detection of Deadlocks and Livelocks
https://arxiv.org/abs/2510.25112

Elliot Bobrow, Bryan Ford, Stefan Milenkovi\'c
Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic
https://arxiv.org/abs/2510.25369

Sidney Congard, Guillaume Munch-Maccagnoni, R\'emi Douence
Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
https://arxiv.org/abs/2510.23517

Mostapha Kalami Heris
Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs
https://arxiv.org/abs/2510.19850

Assaf Marron, David Harel
A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
https://arxiv.org/abs/2510.19853