I am PhD Student at MPI-SWS in topic of Verification Concurrent Programs under Weak Memory Models.

Publications

• RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency