publications

in reversed chronological order. * denotes co-first authors.

2023

  1. OOPSLA
    Stuttering for Free
    Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2023)
  2. PLDI
    Fair Operational Semantics
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
  3. PLDI
    Putting Weak Memory in Order via a Promising Intermediate Representation
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)
  4. POPL
    Conditional Contextual Refinement
    Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)

2022

  1. PLDI
    Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022)

2021

  1. PLDI
    Modular Data-Race-Freedom Guarantees in the Promising Semantics
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)

2020

  1. PLDI
    Promising 2.0: Global Optimizations in Relaxed Memory Concurrency
    Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020)
  2. POPL
    CompCertM: CompCert with C-Assembly Linking and Lightweight Modular Verification
    Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020)