Antoine Hacquard

Publication Activity (10 Years)

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

Top Topics

Transaction Processing

Concurrent Execution

Formal Analysis

Top Venues

ACM Trans. Program. Lang. Syst.

Publications