Conference

Games of Miners

Accepted by AAMAS'20

Calculating Response-Time Bounds for OpenMP Task Systems with Conditional Branches

Accepted by RTAS'19