Gil Einziger

4 papers · 2019–2026 · 4 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 · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Venues

AAAI (1) ICML (1) NSDI (1) UAI (1)

Top co-authors

Amit Portnoy (1) Shay Vargaftik (1) Nadav Keren (1) Michael Mitzenmacher (1) Itai Segall (1) Yaniv Ben-Itzhak (1) Ran Ben-Basat (1) Liel Leman (1) Gabriella Chouraqui (1) Gabriel Scalosub (1)

Research topics

Machine Learning (2) Optimization & Theory (2) Computer Science (1) Knowledge & Reasoning (1) Application Areas (1) Foundations (1) Learning Types (1) Reasoning (1) Systems (1)

Keywords

quantization (1) federated learning (1) formal methods (1) formal verification (1) gradient boosting (1) probability calibration (1) uncertainty estimation (1) distributed mean estimation (1) model verification (1) cache eviction (1) storage system (1) smt solving (1) confidence estimation (1) robustness verification (1) post-hoc calibration (1) geometric distance (1) cache policy (1) latency-aware caching (1) bursty traffic (1) decoding (1)

Papers

Latency-Aware Caching with Delayed Hits: From Bursty Traffic to Pipeline Architectures NSDI 2026 Accelerating Federated Learning with Quick Distributed Mean Estimation ICML 2024 A geometric method for improved uncertainty estimation in real-time UAI 2022 Verifying Robustness of Gradient Boosted Models AAAI 2019