Oded Padon
3 papers
· 2019–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(9)
🐣
Hot Topic Early Bird
Conferences
OSDI (2)
NIPS (1)
Top co-authors
Keywords
code generation
(1)
program synthesis
(1)
graph representation
(1)
best-first search
(1)
formal verification
(1)
kernel optimization
(1)
temporal logic
(1)
cluster management
(1)
correctness verification
(1)
tensor program
(1)
equivalence verification
(1)
schedule transformation
(1)
liveness property
(1)
program compilation
(1)
pseudocode to code
(1)