Publicaciones en colaboración con investigadores/as de Beihang University (5)

2014

  1. Pacifier: Record and replay for relaxed-consistency multiprocessors with distributed directory protocol

    Proceedings - International Symposium on Computer Architecture

2013

  1. BulkCommit: Scalable and fast commit of atomic blocks in a lazy multiprocessor environment

    MICRO 2013 - Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture

  2. Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model

    Proceedings - International Symposium on High-Performance Computer Architecture

  3. Volition: Scalable and precise sequential consistency violation detection

    International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

  4. Volition: Scalable and precise sequential consistency violation detection

    ACM SIGPLAN Notices