List of works - Umang Mathur - Paulina

List of works by Umang Mathur

A faster FPRAS for #NFA

scientific article published on 14 May 2024

How Hard Is Weak-Memory Testing?

scientific article published on 05 January 2024

Optimal Reads-From Consistency Checking for C11-Style Memory Models

scientific article published on 06 June 2023

Optimal prediction of synchronization-preserving races

scientific article published on 04 January 2021

Paulina is supported by:

About Paulina

Help