27 papers
This paper proposes "Hybrid Structured Editing," a novel approach that bridges the gap between tool builders and users by enforcing structural constraints on code to ensure reliable tool integration while simultaneously providing programmers with a familiar and consistent text-based editing interface.
These lecture notes provide a brief introduction to category theory concepts, specifically initial algebras and monads, tailored to their applications in defining datatypes, recursive functions, and effects within functional programming.
This paper introduces iScript, a domain-adapted Qwen3-8B model and its corresponding benchmark for generating reliable Innovus Tcl scripts, which leverages a novel multi-stage data synthesis pipeline and a two-step verification framework to overcome data scarcity and outperform state-of-the-art LLMs in physical design automation.
This paper introduces a novel equational theory for the I-calculus based on "Ohana trees" that track hidden or infinite variables, establishes a commutation theorem between these trees and Taylor expansions, and provides a corresponding non-idempotent relational denotational model to capture this refined notion of equality.
This paper introduces SCORE, a reversible programming language that utilizes a proof-assisted state space to ensure all stack manipulation operations are interpreted as total bijective functions, thereby overcoming the limitations of traditional partial bijection approaches and enabling the study of computational complexity in fully reversible models.
SpotIt+ is an open-source tool that evaluates Text-to-SQL systems by actively generating database counterexamples to verify query equivalence, utilizing a novel constraint-mining pipeline to ensure these differentiating instances reflect practically relevant discrepancies missed by standard testing.
This paper introduces "semi-formal reasoning," a structured prompting methodology that enables LLM agents to accurately analyze code semantics and verify patches without execution, significantly improving performance across fault localization, patch equivalence, and code question answering tasks.