Scholar
Ian Neal
Google Scholar ID: U9fyow8AAAAJ
Senior R&D Engineer, Veridise
Citations & Impact
Citations
527
H-index
7
i10-index
7
Publications
15
Co-authors
21
list available
Publications
Resume (English only)
Academic Achievements
- Publications:
- - 'HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm', ASPLOS’21
- - 'Rethinking File Mapping for Persistent Memory', FAST’21
- Awards:
- - Towner Prize for Distinguished Academic Achievement by UMich CoE, March 7, 2022.
Research Experience
- R&D Engineer at Veridise, starting June 16, 2023.
Education
- PhD in Computer Science and Engineering from the University of Michigan, graduated in Summer 2023, advisor not specified.
Background
- Research Interests: Aiming to assist developers in writing correct and efficient applications. Designing tools that allow developers to automatically reason about their programs' behavior, thereby enabling them to automatically find, reproduce, and repair bugs, thus helping developers spend less time fixing faults and more time innovating.
Miscellany
- Participation in Events:
- - Serving on the Program Committee for the Sixth Young Architect (YArch) workshop, January 9, 2024.
- - Serving on the Program Committee for the Fifth Young Architect (YArch) workshop, January 10, 2023.
