Registered user since Tue 27 Oct 2015
Contributions
2019
POPL
- Committee Member in Selection Committee within the Student Research Competition-track
- On Library Correctness under Weak Memory Consistency
- Committee Member in Program Committee within the Research Papers-track
- Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
- Session Chair of Concurrency (part of Research Papers)
POPL 2019-profile
View general profile
View general profile