yiyuan-cao's Following
- achlipalaMIT
- agurfinkelUniversity of Waterloo
- andrejbauerUniversity of Ljubljana
- andrew-appelPrinceton University
- anfelorEdinburgh, UK
- avigadCarnegie Mellon University
- CudraniaTrecPeking University
- DeepSpec
- dhilComputing Systems Laboratory, Zurich Research Center, Huawei Technologies Switzerland
- digama0Chalmers University of Technology
- EULIRPittsburgh
- fpottierInria
- GaloisIncPortland, OR
- HarrisonGrodinCarnegie Mellon University
- imbremUniversity of Cambridge
- janestreet
- Kensuke-Hinataredocpot
- kframeworkUniversity of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi
- KhaLean FRO
- lastlandPortland State University
- liyishuai@Alibaba
- nadia-polikarpovaUC San Diego
- nikivazouIMDEA
- plclub
- RalfJung
- RedPRL
- seL4
- slindley
- sweirichUniversity of Pennsylvania
- tchajedUW-Madison
- tlaplus
- wenkokkeScotland
- xavierleroyCollège de France and Inria
- XSnowslow@xsnow.live
- yforsterInria
- zhezhouzzPurdue University