arxiv cs.PL
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha
Recursive Mutexes in Separation Logic
https://arxiv.org/abs/2601.22557
Recursive Mutexes in Separation Logic
https://arxiv.org/abs/2601.22557
February 2, 2026 at 10:54 AM
Ke Du, William Mansky, Paolo G. Giarrusso, Gregory Malecha
Recursive Mutexes in Separation Logic
https://arxiv.org/abs/2601.22557
Recursive Mutexes in Separation Logic
https://arxiv.org/abs/2601.22557
Roberto Rossi, Steven D. Prestwich
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
https://arxiv.org/abs/2601.17670
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
https://arxiv.org/abs/2601.17670
January 27, 2026 at 10:18 PM
Roberto Rossi, Steven D. Prestwich
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
https://arxiv.org/abs/2601.17670
Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
https://arxiv.org/abs/2601.17670
January 27, 2026 at 10:18 PM
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
Handling Scope Checks (Extended Version)
https://arxiv.org/abs/2601.18793
Handling Scope Checks (Extended Version)
https://arxiv.org/abs/2601.18793
January 27, 2026 at 10:17 PM
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
Handling Scope Checks (Extended Version)
https://arxiv.org/abs/2601.18793
Handling Scope Checks (Extended Version)
https://arxiv.org/abs/2601.18793
Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
https://arxiv.org/abs/2601.15167
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
https://arxiv.org/abs/2601.15167
January 22, 2026 at 4:07 PM
Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
https://arxiv.org/abs/2601.15167
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
https://arxiv.org/abs/2601.15167
Pedro \^Angelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
Contextual Metaprogramming for Session Types
https://arxiv.org/abs/2601.15180
Contextual Metaprogramming for Session Types
https://arxiv.org/abs/2601.15180
January 22, 2026 at 4:07 PM
Pedro \^Angelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos
Contextual Metaprogramming for Session Types
https://arxiv.org/abs/2601.15180
Contextual Metaprogramming for Session Types
https://arxiv.org/abs/2601.15180
Feifei Li, Xiao Chen, Xiaoyu Sun, Xi Xiao, Shaohua Wang, Yong Ding, Sheng Wen, Qing Li
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
https://arxiv.org/abs/2601.12385
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
https://arxiv.org/abs/2601.12385
January 21, 2026 at 9:18 AM
Feifei Li, Xiao Chen, Xiaoyu Sun, Xi Xiao, Shaohua Wang, Yong Ding, Sheng Wen, Qing Li
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
https://arxiv.org/abs/2601.12385
Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
https://arxiv.org/abs/2601.12385
Gyeongwon Jeong, Seonghun Park, Hongseok Yang
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
https://arxiv.org/abs/2601.12741
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
https://arxiv.org/abs/2601.12741
January 21, 2026 at 9:18 AM
Gyeongwon Jeong, Seonghun Park, Hongseok Yang
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
https://arxiv.org/abs/2601.12741
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
https://arxiv.org/abs/2601.12741
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolve Chen, Fu Song, David N. Jansen
A Formally Verified Procedure for Width Inference in FIRRTL
https://arxiv.org/abs/2601.12813
A Formally Verified Procedure for Width Inference in FIRRTL
https://arxiv.org/abs/2601.12813
January 21, 2026 at 9:17 AM
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolve Chen, Fu Song, David N. Jansen
A Formally Verified Procedure for Width Inference in FIRRTL
https://arxiv.org/abs/2601.12813
A Formally Verified Procedure for Width Inference in FIRRTL
https://arxiv.org/abs/2601.12813
Han Xu, Di Wang
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
https://arxiv.org/abs/2601.12943
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
https://arxiv.org/abs/2601.12943
January 21, 2026 at 9:17 AM
Han Xu, Di Wang
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
https://arxiv.org/abs/2601.12943
Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
https://arxiv.org/abs/2601.12943
January 21, 2026 at 9:06 AM
Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
Reduction for Structured Concurrent Programs
https://arxiv.org/abs/2601.13341
Reduction for Structured Concurrent Programs
https://arxiv.org/abs/2601.13341
January 21, 2026 at 9:06 AM
Namratha Gangamreddypalli, Constantin Enea, Shaz Qadeer
Reduction for Structured Concurrent Programs
https://arxiv.org/abs/2601.13341
Reduction for Structured Concurrent Programs
https://arxiv.org/abs/2601.13341
Bart Jacobs
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
https://arxiv.org/abs/2601.13727
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
https://arxiv.org/abs/2601.13727
January 21, 2026 at 9:05 AM
Bart Jacobs
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
https://arxiv.org/abs/2601.13727
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
https://arxiv.org/abs/2601.13727
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
https://arxiv.org/abs/2601.13991
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
https://arxiv.org/abs/2601.13991
January 21, 2026 at 9:05 AM
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
https://arxiv.org/abs/2601.13991
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
https://arxiv.org/abs/2601.13991
Andrea Gilot, Axel Bergstr\"om, Eva Darulova
Verifying Floating-Point Programs in Stainless
https://arxiv.org/abs/2601.14059
Verifying Floating-Point Programs in Stainless
https://arxiv.org/abs/2601.14059
January 21, 2026 at 9:04 AM
Andrea Gilot, Axel Bergstr\"om, Eva Darulova
Verifying Floating-Point Programs in Stainless
https://arxiv.org/abs/2601.14059
Verifying Floating-Point Programs in Stainless
https://arxiv.org/abs/2601.14059
Liam Chung, Tobias Kapp\'e
Partial Reductions for Kleene Algebra with Linear Hypotheses
https://arxiv.org/abs/2601.14114
Partial Reductions for Kleene Algebra with Linear Hypotheses
https://arxiv.org/abs/2601.14114
January 21, 2026 at 9:04 AM
Liam Chung, Tobias Kapp\'e
Partial Reductions for Kleene Algebra with Linear Hypotheses
https://arxiv.org/abs/2601.14114
Partial Reductions for Kleene Algebra with Linear Hypotheses
https://arxiv.org/abs/2601.14114
Bernd Finkbeiner, Martin Fr\"anzle, Florian Kohn, Paul Kr\"oger
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
https://arxiv.org/abs/2601.11358
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
https://arxiv.org/abs/2601.11358
January 19, 2026 at 6:11 PM
Bernd Finkbeiner, Martin Fr\"anzle, Florian Kohn, Paul Kr\"oger
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
https://arxiv.org/abs/2601.11358
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
https://arxiv.org/abs/2601.11358
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
Qihe: A General-Purpose Static Analysis Framework for Verilog
https://arxiv.org/abs/2601.11408
Qihe: A General-Purpose Static Analysis Framework for Verilog
https://arxiv.org/abs/2601.11408
January 19, 2026 at 6:11 PM
Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, Yue Li
Qihe: A General-Purpose Static Analysis Framework for Verilog
https://arxiv.org/abs/2601.11408
Qihe: A General-Purpose Static Analysis Framework for Verilog
https://arxiv.org/abs/2601.11408
Chen Ling, Yachen Wang
From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
https://arxiv.org/abs/2601.09808
From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
https://arxiv.org/abs/2601.09808
January 16, 2026 at 9:30 AM
Chen Ling, Yachen Wang
From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
https://arxiv.org/abs/2601.09808
From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
https://arxiv.org/abs/2601.09808
Chen Ling, Yachen Wang
Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
https://arxiv.org/abs/2601.09839
Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
https://arxiv.org/abs/2601.09839
January 16, 2026 at 9:29 AM
Chen Ling, Yachen Wang
Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
https://arxiv.org/abs/2601.09839
Lazy Evaluation: A Comparative Analysis of SAS MACROs and R Functions
https://arxiv.org/abs/2601.09839
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
https://arxiv.org/abs/2601.09986
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
https://arxiv.org/abs/2601.09986
January 16, 2026 at 9:29 AM
Cheng Zhang, Qiancheng Fu, Hang Ji, Ines Santacruz Del Valle, Alexandra Silva, Marco Gaboardi
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
https://arxiv.org/abs/2601.09986
Outrunning Big KATs: Efficient Decision Procedures for Variants of GKAT
https://arxiv.org/abs/2601.09986
Thomas Bagrel
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
https://arxiv.org/abs/2601.08529
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
https://arxiv.org/abs/2601.08529
January 14, 2026 at 5:09 PM
Thomas Bagrel
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
https://arxiv.org/abs/2601.08529
Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
https://arxiv.org/abs/2601.08529
Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
https://arxiv.org/abs/2601.02653
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
https://arxiv.org/abs/2601.02653
January 7, 2026 at 9:32 PM
Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
https://arxiv.org/abs/2601.02653
Backwards Data-Flow Analysis using Prophecy Variable in the BuildIt System
https://arxiv.org/abs/2601.02653
Mingxiu Wang, Jiawei Wang, Xiao Cheng
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
https://arxiv.org/abs/2601.00882
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
https://arxiv.org/abs/2601.00882
January 6, 2026 at 4:44 PM
Mingxiu Wang, Jiawei Wang, Xiao Cheng
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
https://arxiv.org/abs/2601.00882
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
https://arxiv.org/abs/2601.00882
Shuoming Zhang, Jiacheng Zhao, Qiuchu Yu, Chunwei Xia, Zheng Wang, Xiaobing Feng, Huimin Cui
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
https://arxiv.org/abs/2601.02045
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
https://arxiv.org/abs/2601.02045
January 6, 2026 at 4:44 PM
Shuoming Zhang, Jiacheng Zhao, Qiuchu Yu, Chunwei Xia, Zheng Wang, Xiaobing Feng, Huimin Cui
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
https://arxiv.org/abs/2601.02045
The New Compiler Stack: A Survey on the Synergy of LLMs and Compilers
https://arxiv.org/abs/2601.02045