3 papers
cs.PL2026
Shared-Context Batched Satisfiability
Jiening Siow, Hanrui Zuo, Hanyun Jiang +2
Program analyzers often issue batches of SMT queries that share a large symbolic context and differ only in a small predicate. We formalize this recurring pattern as \emph{Shared-C…
cs.SE2026
HintPilot: LLM-based Compiler Hint Synthesis for Code Optimization
Hanyun Jiang, Peisen Yao, Kaiyue Li +3
Code optimization remains a core objective in software development, yet modern compilers struggle to navigate the enormous optimization spaces. While recent research has looked int…
cs.AI2025
Versatile and Risk-Sensitive Cardiac Diagnosis via Graph-Based ECG Signal Representation
Yue Wang, Yuyang Xu, Renjun Hu +7
Despite the rapid advancements of electrocardiogram (ECG) signal diagnosis and analysis methods through deep learning, two major hurdles still limit their clinical adoption: the la…