1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2025
Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
Jianhong Zhao, Everett Hildenbrandt, Juan Conejero +1
Verification proofs encode complete program behavior, yet we discard them after checking correctness. We present compiling by proving, a paradigm that transforms these proofs into…
cs.SE2024★ 1 cited
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Jianhong Zhao, Yongwang Zhao, Peisen Yao +3
Complex safety-critical systems require multiple models for a comprehensive description, resulting in error-prone development and laborious verification. Bidirectional transformati…