|
Senior Member of the IEEE, including the Computer Society, the Technical Committee on Operating Systems (TCOS), the Electron Devices Society, the Circuits and Systems Society) |
|
Senior Member of the ACM including the Special Interest Group on Operating Systems (SIGOPS) and the Special Interest Group in Computer Architecture (SIGARCH) |
|
Member of EuroSys |
|
Member of Usenix |