Ian Glen Neal
PhD Candidate in Computer Science with a focus in Systems and Computer Architecture.

I am a third year PhD student studying Computer Science at the University of Michigan. I am advised by Professor Baris Kasikci.
In my research, I want to eliminate the intellectual barrier-to-entry for developers who want to use emerging hardware to develop efficient and reliable systems. To this end, I aim to create tools which developers can use to automatically reason about the characteristics of new hardware so that they can better leverage its capabilities without sacrificing the correctness of their applications. My current focus is in the development of efficient and reliable systems using emerging persistent main memory technologies. I am also interested in developing verifiably secure hardware systems and tools which allow for easier development of secure systems.
News
Jan 9, 2021 | Agamotto has been recognized with an IEEE Micro Top Picks Honorable Mention! |
---|---|
Dec 21, 2020 | I accepted an invitation to serve as a member of JSys’s Student Editorial Board! |
Dec 11, 2020 | My publication, “Rethinking File Mapping Structures for Persistent Memory”, has been accepted to FAST ‘21! |
Nov 18, 2020 | Hippocrates has been accepted to ASPLOS ‘21! |
Aug 15, 2020 | Agamotto has been accepted to OSDI ‘20! |
Selected Publications
-
ASPLOS’21HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any HarmApril 2021
-
FAST’21