An Qi Zhang

Publications

1. ASPLOS'27 Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model

   Hastin Kapoor, Soham Bagchi, An Qi Zhang, Soham Chakraborty, Marco Elver, Andrés Goens, Susmit Sarkar, Ryan Stutsman, 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