programming-languages

Documents about programming-languages

• ChipSeek: Optimizing Verilog Generation via EDA-Integrated Reinforcement Learning#131352arXiv (OAI)
• Logical Relations for Session-Typed Concurrency#141624arXiv (OAI)
• From Errors to Proofs: Minimal-Core-Guided Repair for Neuro-Symbolic Constraint Solving#609200arXiv (OAI Expanded)
• Memory Allocation for Constant-Bounded Programs#609634arXiv (All)
• On the Effectiveness of Large Language Models in Writing Alloy Formulas#609768arXiv (All)
• T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework#610915arXiv (OAI Expanded)
• T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework#612392arXiv (All)
• All for one and none forall: Compiling polymorphic relations without monomorphization#664380arXiv (OAI Expanded)
• Quasar: A Programming Language Specialized for LLM Code Actions#668284arXiv (OAI Expanded)
• ALT4Decompile: Inferring C-aligned Abstract Loop Tree for LLM-Based Binary Decompilation#668316arXiv (OAI Expanded)
• Beyond OAuth: Task-Scoped Authorization for AI Agents via Natural Language Slices#668462arXiv (OAI Expanded)
• When Types Intersect and Effects Get Handled#668562arXiv (OAI Expanded)
• Attributing Structured-Output Gains in Function Calling: Interface Alignment versus Procedural Transfer#668601arXiv (OAI Expanded)
• Staying Productive Under the Palm Trees: On Graded Coeffect Typing in the Tropical Semiring#668652arXiv (OAI Expanded)

Related topics