SPLASH 2022 (series) / Alvin Cheung
Registered user since Fri 19 Dec 2014
Name:Alvin Cheung
Affiliation:University of California, Berkeley
Personal website:https://people.eecs.berkeley.edu/~akcheung/
Contributions
| SPLASH 2022 | Synthesizing CRDTs from Sequential Data Types with Verified Lifting Committee Member in Review Committee within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile