55 citations · 110 across the 23 of their papers we have counts for
4 papers · 1 filter
Verifiers in the Loop: Decoding Time Verification for Code Translation
Tianyang Zhou, Somesh Jha, Mihai Christodorescu +2
Test-time scaling is an important mechanism for improving large language models, especially on tasks with deterministic verifiers. Code translation is a canonical example: the sour…
Burning the Adversarial Bridges: Robust Windows Malware Detection Against Binary-level Mutations
Ahmed Abusnaina, Yizhen Wang, Sunpreet Arora +3
Toward robust malware detection, we explore the attack surface of existing malware detection systems. We conduct root-cause analyses of the practical binary-level black-box adversa…
Robust and Accurate Authorship Attribution via Program Normalization
Yizhen Wang, Mohannad Alhanahnah, Ke Wang +2
Source code attribution approaches have achieved remarkable accuracy thanks to the rapid advances in deep learning. However, recent studies shed light on their vulnerability to adv…
COSET: A Benchmark for Evaluating Neural Program Embeddings
Ke Wang, Mihai Christodorescu
Neural program embedding can be helpful in analyzing large software, a task that is challenging for traditional logic-based program analyses due to their limited scalability. A key…