Delphine Demange公司
人员信息
优化列表
2020年-今天
2023 [第14条] 亚恩·赫克洛茨 , Delphine Demange公司 , 桑德琳·布拉齐 :
门控静态单一赋值的机械化语义。 清洁石油产品 2023 : 182-196年 2021 [电子1] 亚伦·史密斯 , Delphine Demange公司 , 拉吉夫·古普塔 :
CC'21:第30届ACM SIGPLAN编译器构造国际会议,虚拟活动,大韩民国,2021年3月2日至3日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8325-7 [目录] 2020 [第13条] 戈蒂尔·伯寿 , 皮埃尔·埃瓦里斯特·达甘 , Delphine Demange公司 , 雷米·乌丁 , Tanguy Risset公司 :
带外设的间歇性计算,正式验证。 LCTES公司 2020 : 85-96
2010 – 2019
2019 [j3] 扬尼克·扎科夫斯基 , 大卫·卡切拉 , 戴尔芬·德曼吉 , 古斯塔沃·佩特里 , 大卫·皮哈迪 , 苏雷什·贾甘纳森 , 扬·维泰克 :
使用可靠保证方法验证并发垃圾收集器。 J.自动化。 原因。 63 ( 2 ) : 489-515 ( 2019 ) 2018 [第12条] 戴尔芬·德曼吉 , Yon Fernández de Retana德雷塔纳 , 大卫·皮哈迪 :
关于节点海洋的语义推理。 科科斯群岛 2018 : 163-173 [第11条] 扬尼克·扎科夫斯基 , 大卫·卡切拉 , Delphine Demange公司 , 大卫·皮哈迪 :
可线性化数据结构的验证编译:语义细化的机械化依赖保证。 囊 2018 : 1881-1890 2017 [第10条] 扬尼克·扎科夫斯基 , 大卫·卡切拉 , Delphine Demange公司 , 古斯塔沃·佩特里 , 大卫·皮哈迪 , 苏雷什·贾甘纳森 , 扬·维泰克 :
使用可靠性保证方法验证并发垃圾回收器。 ITP公司 2017 : 496-513 2016 [注2] 阿瑟·阿泽夫多·德·阿莫林 , 内森·柯林斯 , 安德烈·德洪 , Delphine Demange公司 , Catalin Hritcu公司 , 大卫·皮哈迪 , 本杰明·皮尔斯 , 兰迪·波拉克 , 安德鲁·托尔马赫 :
经过验证的信息流体系结构。 J.计算。 安全。 24 ( 6 ) : 689-734 ( 2016 ) 【c9】 Delphine Demange公司 , Yon Fernández de Retana德雷塔纳 :
机械化常规SSA,以实现经验证的合并销毁。 科科斯群岛 2016 : 77-87 2015 【c8】 Delphine Demange公司 , 大卫·皮哈迪 , 莱奥·斯特凡内斯科 :
验证Coq中基于快速和稀疏SSA的优化。 科科斯群岛 2015 : 233-252 【c7】 桑德琳·布拉齐 , Delphine Demange公司 , 大卫·皮哈迪 :
验证支配树进行快速验证支配测试。 ITP公司 2015 : 84-99 [i2] 阿瑟·阿泽夫多·德·阿莫林 , 内森·柯林斯 , 安德烈·德洪 , Delphine Demange公司 , Catalin Hritcu公司 , 大卫·皮哈迪 , 本杰明·皮尔斯 , 兰迪·波拉克 , 安德鲁·托尔马赫 :
经验证的信息流体系结构。 CoRR公司 abs/1509.06503 ( 2015 ) 2014 [j1] 吉尔斯·巴特 , Delphine Demange公司 , 大卫·皮哈迪 :
CompCert基于SSA的中间端的形式验证。 ACM事务处理。 程序。 语言系统。 36 ( 1 ) : 4:1-4:35 ( 2014 ) 【c6】 阿瑟·阿泽夫多·德·阿莫林 , 内森·柯林斯 , 安德烈·德洪 , Delphine Demange公司 , Catalin Hritcu公司 , 大卫·皮哈迪 , 本杰明·皮尔斯 , 兰迪·波拉克 , 安德鲁·托尔马赫 :
经过验证的信息流体系结构。 POPL公司 2014 : 165-178 2013 【c5】 Delphine Demange公司 , 文森特·拉波特 , 雷昭(Lei Zhao) , 苏雷什·贾甘纳森 , 大卫·皮哈迪 , 扬·维泰克 :
方案B:Java的缓冲内存模型。 POPL公司 2013 : 329-342 2012 【b1】 Delphine Demange公司 :
中间程序表示的语义基础。 (方案间代表基金)。 法国卡尚正常供应, 2012 【c4】 吉尔斯·巴特 , Delphine Demange公司 , 大卫·皮哈迪 :
一种经过正式验证的基于SSA的中端静态单个分配符合CompCert。 员工持股计划 2012 : 47-66 2010 【c3】 Delphine Demange公司 , 托马斯·詹森 , 大卫·皮哈迪 :
Java字节码的一种可证明正确的无堆栈中间表示法。 阿普拉斯 2010 : 97-113 【c2】 劳伦特·休伯特 , 尼古拉斯·巴雷 , 弗雷德里克·贝松 , Delphine Demange公司 , 托马斯·詹森 , 文森特·蒙福特 , 大卫·皮哈迪 , 蒂芬·特平 :
Sawja:Java静态分析研讨会。 FoVeOOS公司 2010 : 92-106 [i1] 劳伦特·休伯特 , 尼古拉斯·巴雷 , 弗雷德里克·贝松 , Delphine Demange公司 , 托马斯·詹森 , 文森特·蒙福特 , 大卫·皮哈迪 , 蒂芬·特平 :
Sawja:Java静态分析研讨会。 CoRR公司 abs/1007.3353 ( 2010 )
2000 – 2009
2009 【c1】 Delphine Demange公司 , 大卫·桑德斯 :
所有大秘密和小秘密。 员工持股计划 2009 : 207-221