:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mishra, Ashish, Jagannathan, Suresh
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2605.13456
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
par: Mishra, Ashish, et autres
Publié: (2025)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
par: LaFontaine, Patrick, et autres
Publié: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
par: Zhou, Zhe, et autres
Publié: (2024)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
par: Nagar, Kartik, et autres
Publié: (2020)

Trace-Guided Synthesis of Effectful Test Generators
par: Zhou, Zhe, et autres
Publié: (2026)

From Traces to Program Incorrectness: A Type-Theoretic Approach
par: Yuan, Yongwei, et autres
Publié: (2025)

Derivative-Guided Symbolic Execution
par: Yuan, Yongwei, et autres
Publié: (2024)

Grammar Repair with Examples and Tree Automata: Extended Version
par: Lee, Yunjeong, et autres
Publié: (2026)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
par: Geißler, Dominik, et autres
Publié: (2025)

Programming of Cellular Automata in C and C++
par: Christen, Patrik
Publié: (2024)

Active Learning of Symbolic NetKAT Automata
par: Moeller, Mark, et autres
Publié: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
par: Geißler, Dominik, et autres
Publié: (2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
par: Stutz, Felix, et autres
Publié: (2025)

Complete Multiparty Session Type Projection with Automata
par: Li, Elaine, et autres
Publié: (2023)

Visual Execution and Validation of Finite-State Machines and Pushdown Automata
par: Morazán, Marco T., et autres
Publié: (2025)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
par: Kumar, Ashish, et autres
Publié: (2024)

Automated Repeatable Adversary Threat Emulation with Effects Language (EL)
par: Damodaran, Suresh K., et autres
Publié: (2025)

Agentic Separation Logic Specification Synthesis
par: Suresh, Tarun, et autres
Publié: (2026)

Model Checking Probabilistic Operator Precedence Automata
par: Pontiggia, Francesco, et autres
Publié: (2024)

CRANE: Reasoning with constrained LLM generation
par: Banerjee, Debangshu, et autres
Publié: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

Efficient Linearizability Monitoring
par: Abdulla, Parosh Aziz, et autres
Publié: (2025)

LLM-Guided Compositional Program Synthesis
par: Khan, Ruhma, et autres
Publié: (2025)

SynCode: LLM Generation with Grammar Augmentation
par: Ugare, Shubham, et autres
Publié: (2024)

An Evaluation Benchmark for Autoformalization in Lean4
par: Gulati, Aryan, et autres
Publié: (2024)

DINGO: Constrained Inference for Diffusion LLMs
par: Suresh, Tarun, et autres
Publié: (2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
par: Ugare, Shubham, et autres
Publié: (2024)

Incremental Randomized Smoothing Certification
par: Ugare, Shubham, et autres
Publié: (2023)

Translating C To Rust: Lessons from a User Study
par: Li, Ruishi, et autres
Publié: (2024)

SuperCoder: Assembly Program Superoptimization with Large Language Models
par: Wei, Anjiang, et autres
Publié: (2025)

SELP: Generating Safe and Efficient Task Plans for Robot Agents with Large Language Models
par: Wu, Yi, et autres
Publié: (2024)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
par: Wei, Anjiang, et autres
Publié: (2025)

SafeTree: Expressive Tree Policies for Microservices
par: Grewal, Karuna, et autres
Publié: (2025)

Differential Tree Automata
par: Manssour, Rida Ait El, et autres
Publié: (2024)

HITrees: Higher-Order Interaction Trees
par: Ayyam, Amir Mohammad Fadaei, et autres
Publié: (2025)

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates
par: Hooda, Ashish, et autres
Publié: (2024)

Information Aware Type Systems and Telescopic Constraint Trees
par: Cowderoy, Philippa
Publié: (2024)

Manipulating Neural Path Planners via Slight Perturbations
par: Xiong, Zikang, et autres
Publié: (2024)