George Candea
7 papers · 2014–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
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
Performance Interfaces for Hardware Accelerators
OSDI 2024
Automatically Reasoning About How Systems Code Uses the CPU Cache
OSDI 2024
Performance Interfaces for Network Functions
NSDI 2022
Automated Verification of Network Function Binaries
NSDI 2022
A Simpler and Faster NIC Driver Model for Network Functions
OSDI 2020
Performance Contracts for Software Network Functions
NSDI 2019
Code-Pointer Integrity
OSDI 2014