Presents a syntax-driven framework for incremental re-verification of KernelC programs with matching logic properties after changes, implemented in a prototype and evaluated for efficiency gains.
Communications of the ACM15(12), 1053–1058 (1972)
7 Pith papers cite this work. Polarity classification is still indexing.
7
Pith papers citing it
citation-role summary
background 2
citation-polarity summary
years
2026 7verdicts
UNVERDICTED 7roles
background 2representative citing papers
BONSAI introduces a four-layer architecture and four-phase workflow for human-AI co-development of visual analytics applications, shown in case studies to enable efficient novel tool creation and reconstruction from paper descriptions.
MiniPIC enables multiple position-independent caching methods inside vLLM via unrotated KV storage, per-request RoPE application, and three primitives, delivering 49% prefill throughput gains and up to 100x lower cached-span TTFT on 2WikiMultihopQA.
AlgoTouch constructs imperative programs incrementally by recording data transformations on an explicit notional machine and deterministically synthesizing control structures from observed execution traces.
AI-native software ecosystems exhibit emergent behaviors best explained by complex adaptive systems theory, requiring new ecosystem-level monitoring and seven testable propositions that may extend or replace Lehman's laws.
Object orientation's partitioning of functionality into domain-corresponding objects is neither natural nor straightforward and inevitably produces fragmentation and conflation, so software engineering should abandon it for an approach that decouples domain individuals from functional modules.
The Spec Growth Engine is a proposed lightweight framework that combines a machine-readable spec graph, scoped context assembly, hardest-first vertical-slice growth, and drift enforcement to mitigate context explosion and silent spec-code drift in AI-assisted software development.
citing papers explorer
-
BONSAI: A Mixed-Initiative Workspace for Human-AI Co-Development of Visual Analytics Applications
BONSAI introduces a four-layer architecture and four-phase workflow for human-AI co-development of visual analytics applications, shown in case studies to enable efficient novel tool creation and reconstruction from paper descriptions.