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.


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

  1. ASPLOS’21
    HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm
    Ian Neal, Andrew Quinn, and Baris Kasikci
    April 2021
  2. FAST’21
    Rethinking File Mapping for Persistent Memory
    February 2021
  3. OSDI’20
    AGAMOTTO: How Persistent is your Persistent Memory Application?
    November 2020
    Awarded IEEE Micro Top Picks 2021 Honorable Mention!