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.


Mar 13, 2021 Our work (led by Tanvir Ahmed Khan), “DMon: Efficient Detection and Correction of Data Locality Problems using Selective Profiling”, has been accepted to OSDI ‘21!
Jan 29, 2021 My talk, “Towards Bug-free Persistent Memory Applications”, will be presented at NVMW ‘21!
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!
See all events

Selected Publications

  1. ASPLOS’21
    HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm
    Ian Neal, Andrew Quinn, and Baris Kasikci
    In (to appear) Proceedings of the Twenty-Sixth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)
    April 2021
  2. FAST’21
    Rethinking File Mapping for Persistent Memory
    In 19th USENIX Conference on File and Storage Technologies (FAST 21)
    February 2021
  3. OSDI’20
    AGAMOTTO: How Persistent is your Persistent Memory Application?
    In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)
    November 2020
    Awarded IEEE Micro Top Picks 2021 Honorable Mention!