Ian Neal
2 papers · 2020–2021 · 1 venue · 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 ↓
❓
The Questioner
Venues
Top co-authors
Research topics
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)