Mark J.驾驶室
人员信息
附属: 英国伦敦帝国理工学院
优化列表
2020年-今天
2010 – 2019
2016 【c8】 Razvan Certezeanu公司 , 索菲亚·德罗索波卢 , 本杰明·埃格兰·米勒 , K.鲁斯坦·莱诺 , 辛杜兰·西瓦拉扬 , Mark J.驾驶室 :
重新检查快速排序-验证快速排序的替代版本。 形式方法的理论与实践 2016 : 407-426 2014 【c7】 菲利普·加德纳 , 杜鹃花 , Mark J.驾驶室 , 亚当莱特 :
并发库的抽象局部推理:注意差距。 MFPS公司 2014 : 147-166年 2012 【b1】 马克·詹姆斯·惠尔豪斯 :
段逻辑。 英国伦敦帝国理工学院, 2012 2011 【c6】 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , Mark J.驾驶室 :
程序模块的抽象局部推理。 CALCO公司 2011 : 36-39 【c5】 佩德罗·达罗查·平托 , 托马斯·丁斯代尔-杨 , 迈克·多兹 , 菲利普·加德纳 , Mark J.驾驶室 :
复杂并发索引的简单抽象。 OOPSLA公司 2011 : 845-864 2010 【c4】 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , Mark J.驾驶室 :
局部推理的抽象和精化。 VSTTE公司 2010 : 199-215
2000 – 2009
2009 [c3] 菲利普·加德纳 , Mark J.驾驶室 :
树更新的小规格。 WS-FM 2009 : 178-195 2008 【c2】 菲利普·加德纳 , 加雷思·史密斯 , Mark J.Wheelhouse公司 , 乌里·扎尔法蒂 :
DOM:走向正式规范。 平面图-X 2008 【c1】 菲利普·加德纳 , 加雷思·史密斯 , Mark J.驾驶室 , 乌里·扎尔法蒂 :
关于DOM的局部Hoare推理。 豆荚 2008 : 261-270