David Harel

4 papers · 2014–2025 · 4 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (4) 🏃 Academic Marathon (11) 🐝 Cross-Pollinator (15) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Conferences

AAAI (1) EMNLP (1) ICLR (1) ICML (1)

Top co-authors

Daniel Korat (2) Oren Pereg (2) Nadav Timor (2) Moshe Berchansky (2) Moshe Wasserblat (2) Jonathan Mamou (2) Smadar Szekely (1) Michal Gordon-Kiwkowitz (1) Yaarit Natan (1) Gaurav Jain (1)

Keywords

automated planning (1) heuristic search (1) multi-agent collaboration (1) multi-agent system (1) executable specification (1) system composition (1) scenario-based programming (1)

Papers

Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference ICLR 2025

Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies ICML 2025

Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea) AAAI 2019

Semantic Parsing Using Content and Context: A Case Study from Requirements Elicitation EMNLP 2014