Ian Neal
2 papers
· 2020–2021
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(6)
❓
The Questioner
📈
Trend Setter
Conferences
OSDI (2)
Top co-authors
Keywords
state space exploration
(1)
runtime optimization
(1)
bug detection
(1)
symbolic execution
(1)
compiler optimization
(1)
persistent memory
(1)
program correctness
(1)
persistancy bug
(1)
performance profiling
(1)
program testing
(1)
memory persistence
(1)
memory consistency
(1)
data locality
(1)
selective profiling
(1)