
Registered user since Tue 5 Apr 2022
Name:Soham Chakraborty
Country:Netherlands
Affiliation:TU Delft
Personal website:https://www.st.ewi.tudelft.nl/sschakraborty/
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