List of works - Fu Song - Paulina

List of works by Fu Song

CodeMark: Imperceptible Watermarking for Code Datasets against Neural Code Completion Models

scientific article published on 30 November 2023

Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks

scientific article published on 05 December 2023

Don’t Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems

scientific article published on 16 August 2024

FDI: Attack Neural Code Generation Systems through User Feedback Channel

scientific article published on 11 September 2024

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language

scientific article published on 20 May 2024

Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach

scientific article published in 2022

When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference

scientific article published on 12 April 2024

Paulina is supported by:

About Paulina

Help