TxFS: Leveraging File-System Crash Consistency to ProvideACID Transactions. - Yige Hu; Zhiting Zhu; Ian Neal; Youngjin Kwon; Tianyu Cheng; Vijay Chidambaram; Emmett Witchel (login Usenix Mag., 2018)

NDA: Preventing Speculative Execution Attacks at Their Source. - Ofir Weisse; Ian Neal; Kevin Loughlin; Thomas F. Wenisch; Baris Kasikci (MICRO, 2019)

TxFS: Leveraging File-system Crash Consistency to Provide ACID Transactions. - Yige Hu; Zhiting Zhu; Ian Neal; Youngjin Kwon; Tianyu Cheng; Vijay Chidambaram; Emmett Witchel (ACM Trans. Storage, 2019)

AGAMOTTO: How Persistent is your Persistent Memory Application? - Ian Neal; Ben Reeves; Ben Stoler; Andrew Quinn 001; Youngjin Kwon; Simon Peter 001; Baris Kasikci (OSDI, 2020)

Hippocrates: healing persistent memory bugs without doing any harm. - Ian Neal; Andrew Quinn 001; Baris Kasikci (ASPLOS, 2021)

Rethinking File Mapping for Persistent Memory. - Ian Neal; Gefei Zuo; Eric Shiple; Tanvir Ahmed Khan; Youngjin Kwon; Simon Peter 001; Baris Kasikci (FAST, 2021)

DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling. - Tanvir Ahmed Khan; Ian Neal; Gilles Pokam; Barzan Mozafari; Baris Kasikci (OSDI, 2021)

DOLMA: Securing Speculation with the Principle of Transient Non-Observability. - Kevin Loughlin; Ian Neal; Jiacheng Ma 001; Elisa Tsai; Ofir Weisse; Satish Narayanasamy; Baris Kasikci (USENIX Security Symposium, 2021)

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems - Ian Neal (2023)

Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing. - Yile Gu; Ian Neal; Jiexiao Xu; Shaun Christopher Lee; Ayman Said; Musa Haydar; Jacob Van Geffen; Rohan Kadekodi; Andrew Quinn 001; Baris Kasikci (Proc. ACM Program. Lang., 2025)