写博客>>
2020年POPL
2020年1月25日星期六至星期日美国路易斯安那州新奥尔良
2020年POPL(系列) /比肖克桑·卡夫勒
比肖克桑·卡夫勒

自2014年12月10日星期三起注册用户

姓名：比肖克桑·卡夫勒
国家/地区：澳大利亚
附属：墨尔本大学
个人网站：http://akira.ruc.dk/~卡夫/
研究兴趣：程序分析和验证、Horn子句验证和分析、程序转换/专业化、模型检查

贡献

显示其他会议的活动

POPL 2020简介
查看常规配置文件