杜鹃花-2018 SPLASH

2018年11月9日星期日至星期五美国马萨诸塞州波士顿

自2015年1月7日星期三起注册用户

姓名：杜鹃花

国家/地区：大不列颠联合王国

附属：MPI-SWS，德国

个人网站：http://www.SoundAndComplete.org网站

研究兴趣：弱内存并发、非易失性内存、程序逻辑、分离逻辑、并发推理、验证

贡献

2018

溅水

弱记忆的持久语义

显示其他会议的活动

SPLASH 2018-简介
查看常规配置文件