An Qi Zhang

Publications

1. PLDI'26 A Formally Verified Foundation for Compositional Heterogeneous Coherence

   An Qi Zhang, Andrés Goens, Daniel J. Sorin, Vijay Nagarajan

2. PACT'24 PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model

   An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan