:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Nagar, Kartik, Mukherjee, Prasita, Jagannathan, Suresh
Format:	Preprint
Published:	2020
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2004.10158
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)

KestRel: Relational Verification Using E-Graphs for Program Alignment
by: Dickerson, Robert, et al.
Published: (2024)

Automatically Verifying Replication-aware Linearizability
by: Soundarapandian, Vimala, et al.
Published: (2025)

Liquid Tree Automata
by: Mishra, Ashish, et al.
Published: (2026)

Type-Based Incorrectness Reasoning
by: Zhou, Zhe, et al.
Published: (2025)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

Polymorphic Coverage Types
by: Zhou, Zhe, et al.
Published: (2023)

Trace-Guided Synthesis of Effectful Test Generators
by: Zhou, Zhe, et al.
Published: (2026)

CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
by: Zhang, Kaiwen, et al.
Published: (2026)

From Traces to Program Incorrectness: A Type-Theoretic Approach
by: Yuan, Yongwei, et al.
Published: (2025)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
by: Le, Quang Loc
Published: (2025)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)

Sal: Multi-modal Verification of Replicated Data Types
by: Ramesh, Pranav, et al.
Published: (2026)

OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification
by: Li, Shangyu, et al.
Published: (2025)

Agentic Separation Logic Specification Synthesis
by: Suresh, Tarun, et al.
Published: (2026)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
by: Ciccalè, Marco, et al.
Published: (2025)

ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses
by: Singh, Avaljot, et al.
Published: (2024)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
by: Fedchin, Aleksandr, et al.
Published: (2025)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
by: Kan, Shuanglong, et al.
Published: (2026)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
by: Sulzmann, Martin
Published: (2026)

Reduction for Structured Concurrent Programs
by: Gangamreddypalli, Namratha, et al.
Published: (2026)

Conversational Concurrency with Dataspaces and Facets
by: Caldwell, Sam, et al.
Published: (2025)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)

Unfolding Iterators: Specification and Verification of Higher-Order Iterators, in OCaml
by: Chirica, Ion, et al.
Published: (2025)

Logical Relations for Session-Typed Concurrency
by: Balzer, Stephanie, et al.
Published: (2023)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
by: Chang, Fu-Chieh, et al.
Published: (2026)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation
by: Yang, Xiaoxiao, et al.
Published: (2017)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

A Brief Survey of Formal Models of Concurrency
by: Averill, Charles
Published: (2024)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
by: Ball, Thomas, et al.
Published: (2024)

The Formal Semantics and Implementation of a Domain-Specific Language for Mixed-Initiative Dialogs
by: Rowland, Zachary S., et al.
Published: (2025)

Formal Verification for JavaScript Regular Expressions: a Proven Semantics and its Applications (Extended Version)
by: Barrière, Aurèle, et al.
Published: (2025)