Truc Lam Bui

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Classification Models

Complex Systems

Neural Network Model

Particle Swarm Optimization Pso

Top Venues

Proc. ACM Program. Lang.

Publications

Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The reads-from equivalence for the TSO and PSO memory models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Truc Lam Bui, Krishnendu Chatterjee, Tushar Gautam, Andreas Pavlogiannis, Viktor Toman
The Reads-From Equivalence for the TSO and PSO Memory Models. CoRR (2020)