David Harel
4 papers · 2014–2025 · 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 ↓+1 more ↓ Show less ↑
๐ Conference Polyglot ยท Bronze ๐ Academic Marathon ยท Half ๐ Interdisciplinary Bridge ยท Bronze ๐ฃ Hot Topic Early Bird ๐งญ Keyword Pioneer
๐
Conference Pioneer
Top co-authors
Research topics
Keywords
automated planning
(1)
distributed computing
(1)
heuristic search
(1)
inference optimization
(1)
multi-agent collaboration
(1)
speculative decoding
(1)
large language model
(1)
multi-agent system
(1)
vocabulary alignment
(1)
target model
(1)
executable specification
(1)
system composition
(1)
scenario-based programming
(1)
speculative inference
(1)
speedups
(1)
drafter model
(1)
lossless
(1)
Papers
Accelerating LLM Inference with Lossless Speculative Decoding Algorithms for Heterogeneous Vocabularies
ICML 2025
Distributed Speculative Inference (DSI): Speculation Parallelism for Provably Faster Lossless Language Model Inference
ICLR 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