Baitaphish
Security intelligence
SearchLatest briefing
Source

arXiv · Computer Science — Programming Languages (cs.PL)

Published papers collected under the historical Computer Science — Programming Languages (cs.PL) category URL.

Source ID: arxiv_cs_pl

128 item(s)
← Back to all sources
2026-09-03T08:51:56Z
Synthesis of Compact and Expressive Quantum-Circuit Optimizations
982f803d343d…
Intel SGXLLVMMLIR
Source →Open →
2026-09-02T08:51:56Z
Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)
1506576d0c50…
CHERIoTCUDAJIT-compilation
Source →Open →
2026-09-01T08:51:54Z
Fine-grained Causal Reversibility for Asynchronous Channel-based Programming
c67ea120323a…
code-analysiscompiler-soundnesscross-language-vulnerabilities
Source →Open →
2026-08-31T08:51:55Z
Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers
e7eeea38c120…
MIPSRISC-Valgebraic-effects
Source →Open →
2026-08-28T08:51:55Z
Direct Manipulation and Natural Language Programming, Together at Last?
32ef99071b0f…
AI-generated codeGPU optimizationarXiv
Source →Open →
2026-08-27T08:51:56Z
A Programming Paradigm for Spatiotemporal Composability
69daac4ea215…
CVE-analysisCodeQLGPU-computing
Source →Open →
2026-08-26T08:51:56Z
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
450f1cc0b63b…
C/C++LLM-agentsRISC-V
Source →Open →
2026-08-25T08:51:55Z
SAGA: A Comparison Theorem for Local-to-Global Software Architecture - From Semantic Repair Cohomology to Algebraic-Geometric Descent
081167dd0ba3…
DjangoLeanML-compilers
Source →Open →
2026-08-24T08:51:55Z
Portability of Fortran's 'do concurrent' on GPUs II
97a494f1c76a…
GPU accelerationWebAssemblyarXiv
Source →Open →
2026-08-21T08:51:55Z
Program Analysis for Adaptive Data Analysis
21c2c61f69db…
LLM infrastructureadaptive data analysisarXiv
Source →Open →
2026-08-20T08:51:55Z
MicroPython and CircuitPython: Pythons Quiet Takeover of IoT and Robotics
40f0b46568cb…
CircuitPythonIoTMicroPython
Source →Open →
2026-08-19T08:51:54Z
r2py: A Framework for AI-Assisted Conversion of R Statistical Packages to Python
1deebfdf3dca…
ai-assisted-programmingblockchainconsensus-client-divergence
Source →Open →
2026-08-18T08:51:56Z
Beyond Single-Vulnerability Evaluation: Closing the Engineering Decision Gap Between C Retrofits and Native Safety
55daeb17e817…
GPU-securityLLM-code-generationML-KEM
Source →Open →
2026-08-17T08:51:55Z
A Barrier-Free Synchronization Algorithm for Multi-Engine AI Accelerators
43e311afbdc6…
AI-acceleratorsGPULLM
Source →Open →
2026-08-14T08:51:55Z
A Rig of Transformations
f16a39cdacc3…
AI-code-generationanalysis-evasionaptos
Source →Open →
2026-08-13T08:51:55Z
Inferring Empirical Sound Resource Bounds via Symbolic Execution and Linear Programming (Extended Version)
02cf75789935…
AI safetyWASM obfuscationWebAssembly
Source →Open →
2026-08-12T08:51:55Z
Evaluating Shrinking (Experience Report)
08a1a43c770f…
CVE awarenessDatalogLLM security
Source →Open →
2026-08-11T08:51:55Z
Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions
383fc345d729…
LLM-assisted-analysisRustancilla-management
Source →Open →
2026-08-10T08:51:54Z
Agentic Planning for Symbolic Execution
a46a416ae8bc…
C/C++FortranLLM agents
Source →Open →
2026-08-07T08:51:54Z
Let it Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow
2185674369e0…
LLM securityacademic researchagentic programming
Source →Open →
2026-08-06T08:51:54Z
Multi-Mode Debugging for FRP-Based Embedded Systems
b4aa2db69780…
C/C++Datalogacademic research
Source →Open →
2026-08-05T08:51:54Z
GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation
69d6a311603f…
AI code generationLLM securitycompiler optimization
Source →Open →
2026-08-04T08:51:55Z
A Fortran General-Purpose Transpiler: Proof of Concept
593a646df5b7…
AI-acceleratorsGPU-computingMLIR
Source →Open →
2026-08-03T08:51:55Z
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
2c694deb5822…
C-to-Rust migrationGPU computingLean
Source →Open →
2026-07-31T08:51:54Z
BMOA: Baseline-Mechanism-Outcome Attribution for Compiler-Induced Numerical Deviations
11494ed78745…
academic-researchcompiler-correctnesscryptography
Source →Open →
2026-07-30T08:51:55Z
Progress in Benchmarking Generics for Mathematical Computation
591d6230fd0a…
EVMEthereumGPU-computing
Source →Open →
2026-07-29T08:51:55Z
Type Safety via Hoare Logic with Separation and Pure Types
a033fc989ab0…
Hoare-logicLLM-generated-VerilogPyTorch
Source →Open →
2026-07-28T08:51:56Z
Program Analysis with Prophecy and History Variables in the Nexis Compiler
aeccbf160193…
LLM toolingarXivcapability security
Source →Open →
2026-07-27T08:51:54Z
Relaxed activation analysis of dataflow networks - A clock calculus for machine learning and real-time scheduling
fb4aaba6901c…
LLM-securityMovebinary-analysis
Source →Open →
2026-07-24T08:52:03Z
Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)
5ff95d310194…
BDDCHRCaVE
Source →Open →
2026-07-23T08:52:04Z
Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages
c0e22da4cde5…
KLEEchoreographic-programmingcode-transformation
Source →Open →
2026-07-22T08:52:01Z
Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments
0cbd48f3758f…
LLM safetyLLVMMLIR
Source →Open →
2026-07-21T08:52:02Z
Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
5fa4165847b7…
CHCETASIsabelle/HOL
Source →Open →
2026-07-20T08:51:59Z
Gradually Verifying Unfolding Expressions & Pure Functions
1bb3ffd5854d…
GobraGradual-C0Iris
Source →Open →
2026-07-17T08:52:10Z
Untrusted Authors, Trusted Answers: A Calculus of Fidelity-Graded Translations
9f748db5d634…
LLM-generated_codeLean4NetKAT
Source →Open →
2026-07-16T08:52:12Z
Executable JavaScript as a Checkable Specification Language: A JS-SAM Case Study on SysMoBench
8e98deab9522…
CPythonChipVerilogJS-SAM
Source →Open →
2026-07-15T08:52:14Z
Bidirectional Type Slicing
1141fc658a6c…
AlerusCHCCPython
Source →Open →
2026-07-14T08:52:07Z
Programming with Ellipses
bf01b16fc6df…
DRAMESBMCIEC-61131-3
Source →Open →
2026-07-13T08:52:10Z
System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)
096b9edc87af…
LLM-securityNetKATPython-Liquid
Source →Open →
2026-07-10T08:52:05Z
SPL: Orchestrating Workflows with Declarative Deterministic-Probabilistic Composition
bd983a1f3459…
ArduinoDWARFLLM orchestration
Source →Open →
2026-07-09T08:52:01Z
Finding and Understanding Miscompilation Bugs in the Solidity Compiler
5d8b4f92c49a…
DNN-compilationIstariLFPL
Source →Open →
2026-07-08T08:52:03Z
Compiling Bioinformatics Recurrences
179be39f7044…
DSLLLM-governanceLean
Source →Open →
2026-07-07T08:52:07Z
Kotlin-MP: DSL and IR Transformer for Parallelism
516a20c94fe8…
CUDAGPUHPC
Source →Open →
2026-07-03T08:51:58Z
Folding an e-graph in pure egglog
cdf25b9a8446…
CBMCCopilotCrucible
Source →Open →
2026-07-02T08:52:02Z
Certificate-Carrying Transformation of Event-Driven Block Programs
2730b353b8ef…
Source →Open →
2026-07-01T08:52:03Z
NSynC: Normalised Synthesis of Computation
ff535e44b3e5…
code-transformationcompilersjit
Source →Open →
2026-06-30T08:52:00Z
Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict
9824be86e243…
KLEELinux-kernelMCMC
Source →Open →
2026-06-29T08:52:00Z
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
5a3992b6de6b…
ELRustadversary emulation
Source →Open →
2026-06-26T08:52:02Z
Axon: A Synthesizing Superoptimizer for Tensor Programs
ef8e068be608…
AI acceleratorsLLMsLean
Source →Open →
2026-06-25T08:52:04Z
Type Checking Project Haystack Grids using JSON Schema and Pydantic
8aecde81b808…
AI-SDLCESBMCIEC-61131-3
Source →Open →
2026-06-24T08:52:06Z
ESBMC-PLC+: A Unified IEC~61131-3 Formal Verification Framework as a PLCverif Successor
72b670875220…
DissProveESBMCIEC 61131-3
Source →Open →
2026-06-19T08:52:00Z
Effect Systems as Abstract Interpretations
58acc186bd73…
Source →Open →
2026-06-18T08:52:06Z
Graph-ESBMC-PLC: Formal Verification of Graphical PLCopen XML Ladder Diagram Programs Using SMT-Based Model Checking
24a62911c537…
BeremizCONTROLLINOEEG classification','machine learning
Source →Open →
2026-06-17T08:52:05Z
ANEForge: Python for direct computation on the Apple Neural Engine
7ee974e11559…
ANE trainingANEForgeApple Neural Engine
Source →Open →
2026-06-16T08:52:02Z
XFlow: An Executable Protocol Programming System for Reliable Multi-Agent Workflows
46b512344843…
C++GPULLM-security
Source →Open →
2026-06-15T08:52:07Z
VHDLSuite: Unified Pipeline for LLM VHDL Generation with Data Synthesis and Evaluation
30dcd1acf999…
DEMPROP','giry-monad'','tanner-graphs'','equivalence-checking'','qubenchmark
Source →Open →
2026-06-12T08:52:05Z
nomp: A Framework for Building Domain Specific Compilers
b0a499636a35…
AsInstCLAP audio plugins","faust2clap"CPSLint
Source →Open →
2026-06-10T08:52:01Z
Compile Once, Differentiate Everywhere: A Differentiable Meta-Circular Interpreter
6714c0eca3aa…
Source →Open →
2026-06-09T08:52:01Z
AgentCompile: An LLM-Guided Compiler for Direct CUDA Inference
89e21b4c4471…
C11CUDAGLR
Source →Open →
2026-06-08T08:51:59Z
Deadlock-free Context-free Session Types
26786448c4fa…
HaskellRustborrowing
Source →Open →
2026-06-05T08:52:06Z
Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
ae20620918ef…
F*LLM-steeringNaN-boxing
Source →Open →
2026-06-04T08:52:10Z
Climbing Up the Semantic Tower -- at Runtime
8da63393688c…
Agentic ReduxBayesian inferenceCairo VM
Source →Open →
2026-06-03T08:52:02Z
From Rocq to Metal: A Pipeline for Formally Verified Microcontroller Firmware
6eef36de31fe…
CPS VMElixirEncore!
Source →Open →
2026-06-02T08:52:02Z
SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
56f9637364cc…
AI-coding-agentsBlelloch-scanGPU
Source →Open →
2026-06-01T08:52:02Z
Neuroforger: certified violation witnesses for smart contracts verification via LLMs
850acab67cb0…
LLMsNeuroforgerSolidity
Source →Open →
2026-05-29T08:52:03Z
Generalized Software Product Line Extraction
7d72f5cceaf9…
Bayesian networksCompilerDreamES_t metric
Source →Open →
2026-05-28T08:52:08Z
Agentic Separation Logic Specification Synthesis
b5023efc0fd2…
agent-safetycode-generationcompiler-optimizations
Source →Open →
2026-05-27T08:52:00Z
Geo: A Query Rewrite Framework for Graph Pattern Mining
ce9ba96a03db…
AI-governanceCompCertGNNs
Source →Open →
2026-05-26T08:52:02Z
Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
db3d19b67f82…
BODHILLM-code-generationOS-kernel
Source →Open →
2026-05-25T08:52:11Z
Step in Tine: Forking Processes in Functional Choreographies
b23db4a926b1…
IPC-simulationJVMSMT
Source →Open →
2026-05-22T08:52:10Z
Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
18ef4fe92946…
ACSLAutoBaxBuilderFrama-C
Source →Open →
2026-05-21T08:52:04Z
Multicategorical Semantics for Untyped Effects
e2e9a94677e8…
CXLLLM-agentsLLM-assisted-code
Source →Open →
2026-05-20T08:51:59Z
Rewrite System Showdown: Stochastic Search vs. EqSat
ce5e5d4bb743…
2-counter-machineCypherDRReduce
Source →Open →
2026-05-19T08:52:24Z
Compile-time Security Analysis and Optimization of Sensitive String Producers
380c12797055…
IsalProgramLLM-verificationLean4
Source →Open →
2026-05-18T08:52:00Z
Polymorphic Bottom-Up Weighted Relational Programming
bf7049665cf9…
ClangGPU optimizationHeyLo
Source →Open →
2026-05-15T08:51:59Z
Source-to-Source Transformations for GPU Code Generation
fc7caeb7a837…
CUDACVE-analysisDSL
Source →Open →
2026-05-14T08:52:03Z
Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
2fe403f13afd…
LLM-assisted-analysisMoveagent-safety
Source →Open →
2026-05-13T08:52:09Z
Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
512272b5962b…
LLM-synthesisagent-harnesscompiler-security
Source →Open →
2026-05-12T08:52:03Z
GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
077252b808ae…
IRIS-14BMoveMove-Prover
Source →Open →
2026-05-11T08:52:07Z
Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
35d8f64e1753…
CktFormalizerHDLKeY
Source →Open →
2026-05-08T08:52:13Z
Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effec
219ef328a53b…
BEAMDSLLLM fine-tuning
Source →Open →
2026-05-07T08:52:06Z
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
9419df213dec…
ISALLM-memoryRISC-V
Source →Open →
2026-05-06T08:52:04Z
DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
4780efa510dd…
AI-governanceAMDDITRON
Source →Open →
2026-05-05T08:52:03Z
Practical Formal Verification for MLIR Programs
839e22776e9d…
AoSAxonClaude Code
Source →Open →
2026-05-04T08:52:03Z
Type Theory With Erasure
88884ecc098c…
CGRSCVECWE
Source →Open →
2026-05-01T08:52:03Z
Literate Execution
95374893ab8c…
LLMsPyTorchconstrained-decoding
Source →Open →
2026-04-30T08:52:08Z
Finite Functional Programming
3776b83c12a5…
EthereumLLM-agentsMove
Source →Open →
2026-04-29T08:52:01Z
The Network Structure of Mathlib
cac77f62a317…
GSOSLean4Mathlib
Source →Open →
2026-04-28T08:52:09Z
Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
210df410ce79…
AutoPyVerifierCode BrokerDAG search
Source →Open →
2026-04-27T08:52:05Z
Causality and Semantic Separation
8290716e8749…
ASPCrystalityDPOR
Source →Open →
2026-04-24T08:52:06Z
Linear Constraints
443daa1ba6b4…
DatalogGPUHaskell
Source →Open →
2026-04-23T08:52:16Z
Going MLIR-native: Demonstrating a Future for DSL compilers on a NumPy-like Example
beb14beb3ba8…
C-to-RustFortranGPU
Source →Open →
2026-04-22T08:52:02Z
RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen
b67d8775b547…
GPU-optimizationGPU-transpilationLLM-assisted-development
Source →Open →
2026-04-21T08:52:04Z
Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
f606cb3f4b03…
C-to-RustCPSLLM agents
Source →Open →
2026-04-20T08:52:03Z
Verification Modulo Tested Library Contracts
9d031cef5b96…
CHCICE-learningIsabelle
Source →Open →
2026-04-17T08:52:01Z
Filament: Denning-Style Information Flow Control for Rust
dd0f5f5a090f…
FilamentGPU-kernelsIFC
Source →Open →
2026-04-16T08:52:11Z
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
63f680f30257…
BEAMCHERICerisier
Source →Open →
2026-04-15T08:52:07Z
M$^\star$: Every Task Deserves Its Own Memory Harness
fa327e929d49…
constrained-random-generationdeterministic-memory-managementdifferential-privacy
Source →Open →
2026-04-14T08:52:05Z
SSA without Dominance for Higher-Order Programs
90a4cc916310…
LLM-agentsSSATSAN
Source →Open →
2026-04-13T08:52:02Z
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
0da1f6547fd5…
CIRCVNDP refutation','SuperDP'
Source →Open →
2026-04-10T08:52:16Z
Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
8d4587edbcb6…
compiler-optimizationllvmmicroarchitecture
Source →Open →
2026-04-09T08:52:04Z
Parametrizing Reads-From Equivalence for Predictive Monitoring
8fa1bbedac49…
CCSCode Llama fine-tuning','ML for code'Fourier regularization
Source →Open →
2026-04-08T08:52:03Z
Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
ae220e8e6bfa…
AI-for-codeAlgorandArch
Source →Open →
2026-04-07T08:52:17Z
Automated Expected Cost Analysis for Quantum Programs
2068343b5973…
C-to-RustCGRACOBOL
Source →Open →
2026-04-06T08:52:07Z
act: Technical report
619f4769cb8e…
Intent-Gated ExecutionLLM agentsLean
Source →Open →
2026-04-02T08:52:02Z
Transformers for Program Termination
6c24e89f028c…
NARSattributionautonomous-driving
Source →Open →
2026-04-01T08:52:20Z
Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
4d19cfaa8e45…
AgdaCon-DPOErgoAI
Source →Open →
2026-03-31T08:52:02Z
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology
4b4a17ea22a1…
CHCCRDTF*
Source →Open →
2026-03-30T08:52:03Z
ExVerus: Verus Proof Repair via Counterexample Reasoning
604d29850ea5…
C/PthreadJavaScript regexLLM-assisted repair
Source →Open →
2026-03-27T08:52:01Z
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
dcbb2cbb7eab…
AI-safetyCUDAGPU
Source →Open →
2026-03-26T08:52:06Z
Semantics for 2D Rasterization
6aff5d57fd9e…
AgdaLeanSafeStan
Source →Open →
2026-03-25T08:52:08Z
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
231a40853795…
ASPCOOMFeynman-Kac models
Source →Open →
2026-03-24T08:52:06Z
Can LLMs Perform Synthesis?
540322082fd2…
AI hardwareErlangLLM agents
Source →Open →
2026-03-23T08:52:04Z
Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
d5c59016553c…
HLSKLEELLM
Source →Open →
2026-03-19T08:52:04Z
Vectorization of Verilog Designs and its Effects on Verification and Synthesis
eabbb8c5e085…
CIRCTJasperPAuth
Source →Open →
2026-03-18T08:52:06Z
Mixing Visual and Textual Code
2c588f1ddcc2…
ClojureScriptDTSFAlCon
Source →Open →
2026-03-17T08:52:05Z
Automating the Analysis and Improvement of Dynamic Programming Algorithms with Applications to Natural Language Processing
347bc17846cf…
DynaHOL-LightHashMap
Source →Open →
2026-03-16T08:52:06Z
Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
fde2075810d0…
C/Pthreadsaxiomatic-semanticsconcurrency
Source →Open →
2026-03-13T08:52:07Z
AutoVeriFix+: High-Correctness RTL Generation via Trace-Aware Causal Fix and Semantic Redundancy Pruning
f91a291e7fd0…
LLM-assisted developmentPRISMRTL
Source →Open →
2026-03-11T08:52:06Z
Turn: A Language for Agentic Computation
7de37888e7c4…
ClaudeCodexGemini
Source →Open →
2026-03-10T08:52:11Z
PolyBlocks: A Compiler Infrastructure for AI Chips and Programming Frameworks
21e60fcb070e…
Ascend-NPUJAXJIT-compilation
Source →Open →
2026-03-09T08:52:09Z
Hybrid Structured Editing: Structures for Tools, Text for Users
907fb8dc60f3…
C undefined behaviorCHERICRuby
Source →Open →
2026-03-06T08:52:08Z
iScript: A Domain-Adapted Large Language Model and Benchmark for Physical Design Tcl Script Generation
aec6e03935b0…
Chain-of-ThoughtEDAInnovus
Source →Open →
2026-03-05T08:52:00Z
Nominal techniques as an Agda library
209513d97b67…
AgdaC-preprocessorLLM-agents
Source →Open →
2026-03-04T20:21:03Z
Speak Now: Safe Actor Programming with Multiparty Session Types
0cca62da0157…
ErlangLLM-assisted-testingSMT-solvers
Source →Open →
2026-03-04T19:54:26Z
From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation
6ba4188f5da5…
ACSLC++-parallelismFrama-C
Source →Open →
2026-03-04T19:54:10Z
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
5455ad82ff12…
LLM-agentsaddress-space-engineeringagent-safety
Source →Open →
2026-03-04T19:53:49Z
Handling Exceptions and Effects with Automatic Resource Analysis
45527ac6cbbe…
AARACUDACUTLASS
Source →Open →