George Candea

7 papers · 2014–2024 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze

Venues

OSDI (4) NSDI (3)

Top co-authors

Rishabh Iyer (4) Katerina Argyraki (4) Solal Pirelli (3) Jiacheng Ma (1) Akvilė Valentukonytė (1) Arseniy Zaostrovnykh (1) Luis Pedrosa (1) Thomas Bourgeat (1) Volodymyr Kuznetsov (1) R. Sekar (1)

Research topics

Computer Science (4) Machine Learning (3) Applications (3) Knowledge & Reasoning (2) Application Areas (2) Reasoning (2) Deep Learning (1) Foundations (1) Optimization & Theory (1) Systems (1) Techniques (1)

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

Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024 Performance Interfaces for Hardware Accelerators OSDI 2024 Automated Verification of Network Function Binaries NSDI 2022 Performance Interfaces for Network Functions 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