82 citations · 192 across the 17 of their papers we have counts for
17 papers
Qihe: A General-Purpose Static Analysis Framework for Verilog
Qinlin Chen, Nairen Zhang, Jinpeng Wang +6
In the past decades, static analysis has thrived in software, facilitating applications in bug detection, security, and program understanding. These advanced analyses are largely u…
Learning with Logical Constraints but without Shortcut Satisfaction
Zenan Li, Zehua Liu, Yuan Yao +4
Recent studies in neuro-symbolic learning have explored the integration of logical knowledge into deep learning via encoding logical constraints as an additional loss function. How…
Softened Symbol Grounding for Neuro-symbolic Systems
Zenan Li, Yuan Yao, Taolue Chen +4
Neuro-symbolic learning generally consists of two separated worlds, i.e., neural network training and symbolic constraint solving, whose success hinges on symbol grounding, a funda…
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma, Shengyuan Yang, Tian Tan +3
Over the past decades, context sensitivity has been considered as one of the most effective ideas for improving the precision of pointer analysis for Java. However, despite great p…
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
Lingzhi Ouyang, Yu Huang, Binyu Huang +1
ZooKeeper is a coordination service, widely used as a backbone of various distributed systems. Though its reliability is of critical importance, testing is insufficient for an indu…
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery
Hui Gao, Hongyu Kuang, Kexin Sun +6
Traceability approves trace links among software artifacts based on whether two artifacts are related by system functionalities. The traces are valuable for software development, b…