2 papers
cs.PL2026
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
Rui Dong, Qingyue Wu, Danny Ding +3
Abstract semantics has proven to be instrumental for accelerating search-based program synthesis, by enabling the sound pruning of a set of incorrect programs (without enumerating…
cs.SE2025
New Interaction Paradigm for Complex EDA Software Leveraging GPT
Xinyu Wang, Boyu Han, Zhenghan Tai +4
Electronic Design Automation (EDA) tools such as KiCad offer powerful functionalities but remain difficult to use, particularly for beginners, due to their steep learning curves an…