Publications

Publications by categories in reversed chronological order.

Peer-Reviewed Publications

2021

  1. USENIX Sec’21
    DOLMA: Securing Speculation with the Principle of Transient Non-Observability
    In 30th USENIX Security Symposium (USENIX Security 21)
    August 2021
  2. OSDI’21
    DMon: Efficient Detection and Correction of Data Locality Problems using Selective Profiling
    In (to appear) 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI 21)
    July 2021
  3. 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
  4. FAST’21
    Rethinking File Mapping for Persistent Memory
    In 19th USENIX Conference on File and Storage Technologies (FAST 21)
    February 2021

2020

  1. 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!

2019

  1. MICRO’19
    NDA: Preventing speculative execution attacks at their source
    In Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture
    October 2019

2018

  1. ATC’18
    TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions
    In Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference
    July 2018

Workshop Papers

2021

  1. NVMW’21
    Towards Bug-free Persistent Memory Applications
    Ian Neal, Andrew Quinn, and Baris Kasikci
    March 2021

Patents

2020

  1. User-specific video frame brightness filter
    Matthew Richard Wozniak, Mehmet Kucukgoz, Holly Helene Pollock, Ian Glen Neal, and Rafael Vincent Prieto Vertido
    September 2020
  2. Video frame brightness filter
    Matthew Richard Wozniak, Mehmet Kucukgoz, Holly Helene Pollock, Ian Glen Neal, and Rafael Vincent Prieto Vertido
    June 2020
  3. Color-specific video frame brightness filter
    Matthew Richard Wozniak, Mehmet Kucukgoz, Holly Helene Pollock, Ian Glen Neal, and Rafael Vincent Prieto Vertido
    June 2020

Honors Thesis

2017

  1. The Advantages of a Transactional Interface: Porting Applications to TxFS
    Ian Neal
    May 2017