6 citations · 7 across the 5 of their papers we have counts for
5 papers
Pre-trained Model-based Actionable Warning Identification: A Feasibility Study
Xiuting Ge, Chunrong Fang, Quanjun Zhang +8
Actionable Warning Identification (AWI) plays a pivotal role in improving the usability of static code analyzers. Currently, Machine Learning (ML)-based AWI approaches, which mainl…
LLMs for Relational Reasoning: How Far are We?
Zhiming Li, Yushi Cao, Xiufeng Xu +5
Large language models (LLMs) have revolutionized many areas (e.g. natural language processing, software engineering, etc.) by achieving state-of-the-art performance on extensive do…
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen +3
Boolean satisfiability (SAT) solving is a fundamental problem in computer science. Finding efficient algorithms for SAT solving has broad implications in many areas of computer sci…
Enhancing Security Patch Identification by Capturing Structures in Commits
Bozhi Wu, Shangqing Liu, Ruitao Feng +3
With the rapid increasing number of open source software (OSS), the majority of the software vulnerabilities in the open source components are fixed silently, which leads to the de…
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
Shang-Wei Lin, Laure Petrucci
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as…