Soham Chakraborty

Registered user since Tue 5 Apr 2022

Name:Soham Chakraborty
Country:Netherlands
Affiliation:TU Delft
Research interests:Programming language, compiler, architecture, verification

Contributions

PLDI 2023 Compound Memory Models
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Show activities from other conferences

Using general profile