activity
20222026
most citedCache Refinement Type for Side-Channel Detection of Cryptographic Software

8 citations · 17 across the 9 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2026

The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential Analysis

Zhibo Liu, Huaijin Wang, Shuai Wang

Compiler optimizations are essential for achieving high performance in modern software. However, recent studies highlight the persistence of performance bugs, i.e., subtle defects…

cs.SE2024

Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements

Huaijin Wang, Zhibo Liu, Yanbo Dai +4

Software composition analysis (SCA) denotes the process of identifying open-source software components in an input software application. SCA has been extensively developed and adop…

cs.SE2023★ 2 cited

Refining Decompiled C Code with Large Language Models

Wai Kin Wong, Huaijin Wang, Zongjie Li +5

A C decompiler converts an executable into source code. The recovered C source code, once re-compiled, is expected to produce an executable with the same functionality as the origi…

cs.SE2023

PHYFU: Fuzzing Modern Physics Simulation Engines

Dongwei Xiao, Zhibo Liu, Shuai Wang

A physical simulation engine (PSE) is a software system that simulates physical environments and objects. Modern PSEs feature both forward and backward simulations, where the forwa…

cs.SE2022★ 2 cited

CCTEST: Testing and Repairing Code Completion Systems

Zongjie Li, Chaozheng Wang, Zhibo Liu +4

Code completion, a highly valuable topic in the software development domain, has been increasingly promoted for use by recent advances in large language models (LLMs). To date, vis…