George Candea
7 papers
· 2014–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(10)
🐝
Cross-Pollinator
(8)
Conferences
OSDI (4)
NSDI (3)
Top co-authors
Keywords
performance interface
(2)
network function
(2)
program analysis
(2)
formal verification
(2)
static analysis
(1)
symbolic execution
(1)
performance regression
(1)
nic offload
(1)
binary instrumentation
(1)
cpu cache
(1)
cache performance
(1)
cache vulnerability
(1)
cache footprint
(1)
hardware accelerator
(1)
intermediate representation
(1)
performance simulator
(1)
formal proof
(1)
software verification
(1)
performance analysis
(1)
semantic interface
(1)
Papers
Code-Pointer Integrity
OSDI 2014