~/talks

Eran Yahav

what they talk about

all 4 in the filters

where they keep going back

no series more than once — all 2 in the filters

on a stage with

all 7 in the filters

who talks about the same things

titleconferencedate
Structural Language Models of CodePOPL 20212021-01-17
Describes a production-ready method that models code as AST paths and trains a structural language model used for name prediction, caption generation and…
Talk on
Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow GraphsOOPSLA 20202020-11-15
Procedure name prediction for stripped binaries using a prototype called Nero that reconstructs CFGs, stitches paths, and builds augmented call sites with…
Talk on
A Structural Model for Contextual Code ChangesOOPSLA 20202020-11-15
A structural model predicts the next edit given a contextual code change by modeling edit likelihood over AST paths rather than generating full files. The…
Talk on
Adversarial Examples for Models of CodeOOPSLA 20202020-11-15
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…
Talk on
Programming with a Read-Eval-Synth LoopOOPSLA 20202020-11-15
A live REPL extended with synthesis called Read-Eval-Synth Loop stitches examples, sketching, and new predicates (notably retain) into specifications so the…
Talk on
~/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.