| [1] |
Timothy Bourke和Delphine Demange，编辑。JFLA 2023-34èmes法语之旅申请，法语应用之旅，1月2023[ http协议 ] |
| [2] |
Yann Herklotz、Delphine Demange和Sandrine Blazy。门控静态单一赋值的机械化语义。在第十二届ACM SIGPLAN国际会议记录关于认证程序和证明，CPP 2023，第182-196页，纽约州纽约市，美国，2023年。计算机协会。[ 内政部 |http协议 ] |
| [三] |
阿伦·史密斯（Aaron Smith）、德尔芬·德曼吉（Delphine Demange）和拉吉夫·古普塔（Rajiv Gupta），编辑。CC 2021：第30届ACM SIGPLAN国际会议记录编译器建设会议美国纽约州纽约市，2021年。协会用于计算机器。[ 内政部 |http协议 ] |
| [4] |
高蒂耶·贝图、皮埃尔·埃瓦里斯特·达根、德尔芬·德曼吉、雷米·乌丁、，和Tanguy Risset。带有外围设备的间歇计算，已正式验证。在第21届ACM SIGPLAN/SIGBED语言会议，嵌入式系统的编译器和工具，LCTES’20，第85-96页，南卡罗来纳州里奇兰，2020年。国际自治机构和多智能体系统。[ 内政部 |http协议 ] |
| [5] |
Yannick Zakowski、David Cachera、Delphine Demange、Gustavo Petri、DavidPichardie、Suresh Jagannathan和Jan Vitek。验证具有可靠保证的并发垃圾收集器方法论。自动推理杂志2018年11月。[ 内政部 |http协议 ] |
| [6] |
Delphine Demange、Yon Fernández de Retana和David Pichardie。关于节点海洋的语义推理。在第27届国际编译会议记录施工，CC 2018，第163-173页，美国纽约州纽约市，2018年。ACM公司。[ 内政部 |http协议 ] |
| [7] |
扬尼克·扎科夫斯基（Yannick Zakowski）、大卫·卡切拉（David Cachera）、德尔芬·德曼吉（Delphine Demange）和大卫·皮哈迪（David Pichardie）。线性化数据结构的验证编译：机械化语义细化依赖保证。在第33届ACM年度应用研讨会论文集计算，SAC’18，第1881-1890页，美国纽约州纽约市，2018年。ACM公司。[ 内政部 |http协议 ] |
| [8] |
Yannick Zakowski、David Cachera、Delphine Demange、Gustavo Petri、DavidPichardie、Suresh Jagannathan和Jan Vitek。使用相对保证验证并发垃圾收集器方法论。在交互式定理证明——第八届国际会议，2017年ITP，巴西巴西利亚，2017年9月26日至29日，会议记录,第496-513页，2017年。[ 内政部 |http协议 ] |
| [9] |
阿瑟·阿泽夫多·德·阿莫林、内森·柯林斯、安德烈·德洪、德尔芬·德曼吉、，Catalin Hritcu、David Pichardie、Benjamin C。皮尔斯、兰迪·波拉克和安德鲁·托尔马赫。经过验证的信息流体系结构。计算机安全杂志, 24(6):689-734, 2016.[ 内政部 |http协议 ] |
| [10] |
Delphine Demange和Yon Fernandez de Retana。机械化常规ssa，用于验证销毁聚结。在第25届国际编译大会论文集施工，CC 2016，第77-87页，美国纽约州纽约市，2016年。ACM公司。[ 内政部 |http协议 ] |
| [11] |
Delphine Demange、David Pichardie和Léo Stefanesco。在coq中验证快速和稀疏的基于ssa的优化。在编译器构造-第24届国际会议，CC2015年，作为欧洲理论与实践联合会议的一部分举行软件，ETAPS 2015，英国伦敦，2015年4月11日至18日。诉讼程序，页233-252, 2015.[ 内政部 |http协议 ] |
| [12] |
Sandrine Blazy、Delphine Demange和David Pichardie。验证支配树的快速验证优势测试。在交互式定理证明——第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日，会议记录，第84-99页，2015[ 内政部 |http协议 ] |
| [13] |
Gilles Barthe、Delphine Demange和David Pichardie。compcert基于ssa的中间端的形式化验证。ACM事务处理。程序。语言系统。，36（1）：4:1-4:35，2014年3月。[ 内政部 |http协议 ] |
| [14] |
阿瑟·阿泽夫多·德·阿莫林、内森·柯林斯、安德烈·德洪、德尔芬·德曼吉、，Cátálin Hritcu，David Pichardie，Benjamin C。兰迪·皮尔斯波拉克和安德鲁·托尔马赫。经过验证的信息流体系结构。在第41届ACM SIGPLAN-IGACT研讨会论文集程序设计语言原理，POPL'14，第165-178页，纽约州纽约市，美国，2014年。ACM公司。[ 内政部 |http协议 ] |
| [15] |
Delphine Demange、Vincent Laporte、Lei Zhao、Suresh Jagannathan、DavidPichardie和Jan Vitek。方案B：java的缓冲内存模型。在第40届ACM SIGPLAN-SIGACT年会编程语言原理，POPL'13，罗马，意大利-1月23日-25, 2013，第329-342页，2013年。[ 内政部 |http协议 ] |
| [16] |
Gilles Barthe、Delphine Demange和David Pichardie。一种经过正式验证的基于ssa的中端静态单任务符合compcert。在编程语言和系统-第21届欧洲研讨会2012年作为欧洲联合会议的一部分举行的《关于规划的ESOP》《软件理论与实践》，ETAPS 2012，爱沙尼亚塔林，3月24日-2012年4月1日。诉讼程序，第47-66页，2012年。[ 内政部 |http协议 ] |
| [17] |
Thomas P.Delphine Demange著。Jensen和David Pichardie。java的一种可证明正确的无堆栈中间表示字节码。在编程语言与系统——第八届亚洲研讨会，2010年APLAS，中国上海，2010年11月28日至12月1日。诉讼程序,第97-113页，2010年。[ 内政部 |http协议 ] |
| [18] |
劳伦特·休伯特（Laurent Hubert）、尼古拉·巴雷（Nicolas Barré）、弗雷德里克·贝松（Frédéric Besson）、德尔芬（Delphine）托马斯·德曼吉。詹森、文森特·蒙福特、大卫·皮哈迪和蒂芬特平。Sawja：java静态分析研讨会。在面向对象软件的形式化验证-2010年6月28日至30日，法国巴黎，FoVeOOS 2010国际会议，修订论文集，第92-106页，2010年。[ 内政部 |http协议 ] |
| [19] |
Delphine Demange和David Sands。所有秘密，无论大小。在编程语言与系统，第18届欧洲研讨会计划编制，ESOP 2009，作为关于《软件理论与实践》，ETAPS 2009，英国约克，2009年3月22日至29日。诉讼程序，第207-221页，2009年。[ 内政部 |http协议 ] |