飞溅2022
2022年12月10日星期一至星期六新西兰奥克兰
大卫·J·皮尔斯

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

姓名:大卫·J·皮尔斯
生物:

David(@whileydave)于2005年毕业于伦敦帝国理工学院(Imperial College London),获得博士学位,在2022年加入ConsenSys之前,他是威灵顿维多利亚大学(Victoria University of Wellington)的a/教授。大卫的博士论文是关于C语言指针分析的高效算法,他的技术后来被纳入GCC。他的兴趣是编程语言、编译器和静态分析。

自2009年以来,David一直在开发Whiley编程语言(Whiley.org),该语言专门用于简化程序验证。在此之前,David开发了Java编译器工具包(JKit),这是一种开源Java编译器,旨在简化静态分析。大卫之前在新泽西州贝尔实验室实习,在那里他为FPGA编写编译器;他还曾在英国的IBM Hursley与AspectJ开发团队合作开发分析系统。

国家/地区:美国
附属:ConsenSys公司
个人网站:https://whileydave.com
研究兴趣:编程语言、编译器、软件验证

贡献

显示其他会议的活动

SPLASH 2022剖面
查看常规配置文件