~/talk

Adversarial Examples for Models of Code

Talkat OOPSLA 2020 · 2020-11-15..11-20· [machine-learning, security]
links:none on file
name:Uri Alon
links:none on file
slides:none on file

Claims a first adversarial attack on models of code and provides a concrete algorithm DAMP that computes gradients on token embeddings to propose new variable names, plus a dead-code insertion trick. It breaks code2vec, GGNN and GNN‑FiLM more often than TFIDF and random baselines, with dead-code attacks being harder and GNN‑FiLM showing more robustness. Defenses include adversarial training and an outlier-variable removal that trades ~2% accuracy loss for much higher robustness; 100% robustness with NoVars is possible but costs ~20% accuracy. GitHub hosts the code.

AI-written summary · about

  1. 0:00Intro
  2. 0:48Name-based bug detection
  3. 0:59Learning Distribution Representation of Code
  4. 1:19Neural Networks are Vulnerable to Adversarial Examples
  5. 1:40Adversarial examples for models of code
  6. 2:27Background: Neural networks in 30 seconds
  7. 3:26Background: Distributed Representations ("embeddings")
  8. 4:25What does "adding noise" mean in programs?
  9. 4:45Adding noise: renaming variables
  10. 5:17Discrete Adversarial Manipulation of Programs (DAMP)
  11. 7:48Examples - Code Vec
  12. 8:56Examples - Code2Vec (Dead code)
  13. 9:40Results - Code2Vec Robustness (%) (lower is better)
  14. 11:13Results - Graph Neural Nets Robustness (%) (lower is better)
  15. 11:56Defending against adversarial attacks
  16. 12:58Results - Code2Vec Performance vs. Robustness (higher is better) Performance
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.