亚瑟·查古埃罗(Arthur Charguéraud)
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 【b1】 亚瑟·查古埃罗(Arthur Charguéraud) :
序列程序分离逻辑的现代眼光。 (Un-nouveau关注方案逻辑)。 法国斯特拉斯堡大学, 2023 [j8] 亚瑟·查古埃罗(Arthur Charguéraud) :
审查日期: 函数算法,已验证! : 托比亚斯·尼普科、贾斯敏·布兰切特、曼努埃尔·埃贝尔、亚历杭德罗·戈梅斯·隆多尼奥、彼得·兰米奇、克里斯蒂安·斯特内格尔、西蒙·维默和博瓦·詹 可免费下载: https://functional-algorithms-verified.org。 形式方面计算。 35 ( 2 ) : 13:1-13:2 ( 2023 ) [j7] 亚历山大·梅因 , 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
垃圾收集下堆空间的高级分离逻辑。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 718-747 ( 2023 ) [j6] 亚瑟·查古埃罗(Arthur Charguéraud) , 亚当·克利帕拉 , 安德烈斯·埃尔布森 , 塞缪尔·格鲁特 :
全能语义学:平稳处理非决定论。 ACM事务处理。 程序。 语言系统。 45 ( 1 ) : 5:1-5:43 ( 2023 ) 2022 [公元26年] 亚历山大·梅因 , 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
瞬态堆栈的规范和验证。 清洁石油产品 2022 : 82-99 2020 [j5] 亚瑟·查古埃罗(Arthur Charguéraud) :
顺序程序的分离逻辑(功能珍珠)。 程序。 ACM计划。 语言。 4 ( ICFP公司 ) : 116:1-116:34 ( 2020 )
2010 – 2019
2019 【j4】 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
验证具有时间信用的分离逻辑中联合查找实现的正确性和分摊复杂性。 J.汽车。 原因。 62 ( 三 ) : 331-365 ( 2019 ) [公元25年] 亚瑟·查古埃罗(Arthur Charguéraud) , Jean-Christophe Filliátre女士 , 科劳迪奥·卢伦索 , 马里奥·佩雷拉 :
GOSPEL-为OCaml提供正式规范语言。 FM公司 2019 : 484-501 [公元24年] 阿玛·盖诺 , 雅克·亨利·朱丹 , 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
增量循环检测算法的形式化证明与分析。 ITP公司 2019 : 18:1-18:20 【c23】 Umut A.Acar公司 , 维塔利·阿克塞诺夫 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
切实有效的粒度控制。 PPoPP(PPoPP) 2019 : 214-228 2018 [j3] 罗伯特·克雷伯斯 , 雅克·亨利·朱丹 , 拉尔夫·荣格 , 约瑟夫·塔萨洛蒂 , Jan-Oliver凯撒 , 阿明·蒂曼尼 , 亚瑟·查古埃罗(Arthur Charguéraud) , 德里克·德雷尔 :
MoSeL:一个通用的、可扩展的模式框架,用于分离逻辑中的交互证明。 程序。 ACM计划。 语言。 2 ( ICFP公司 ) : 77:1-77:30 ( 2018 ) [公元22年] 阿玛·盖诺 , 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
一大笔钱:通过演绎程序验证将渐进复杂性声明形式化。 员工持股计划 2018 : 533-560 【c21】 Yann Barsamian公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , Sever A.Hirstoaga公司 , 米歇尔·梅伦伯格 :
多核SIMD处理器的高效严格装箱粒子单元算法。 欧洲-保时捷 2018 : 749-763 [公元20年] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 阿德里安·瓜托 , 迈克·雷尼 , 菲利普·西奇科夫斯基 :
心跳调度:可证明嵌套并行的效率。 PLDI公司 2018 : 769-782 [第19条] Umut A.Acar公司 , 维塔利·阿克塞诺夫 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
模块化并行程序的性能挑战。 PPoPP(PPoPP) 2018 : 381-382 [第18条] 亚瑟·查古埃罗(Arthur Charguéraud) , 阿兰·施密特 , 汤玛斯·伍德 :
JSExplain:JavaScript的双重调试器。 WWW(配套卷) 2018 : 691-699 2017 [第17条] 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
分离逻辑的临时只读权限。 员工持股计划 2017 : 260-286 [第16条] 亚恩·巴萨米安 , 亚瑟·查古埃罗(Arthur Charguéraud) , 阿兰·凯特林 :
一种用于粒子单元方法的空间和带宽高效多核算法。 PPAM(1) 2017 : 133-144 [i1] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
并行工作通货膨胀、记忆效应及其实证分析。 CoRR公司 abs/1709.03767 ( 2017 ) 2016 [注2] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
在隐式并行语言中控制粒度的Oracle-guided调度。 J.功能。 程序。 26 : 第23页 ( 2016 ) [第15条] 亚瑟·查古埃罗(Arthur Charguéraud) :
分离逻辑中的高阶表示谓词。 清洁石油产品 2016 : 3-14 [第14条] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 , 菲利普·西奇科夫斯基 :
达格演算:一种并行计算的演算。 ICFP公司 2016 : 18-32 2015 [第13条] 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
有效Union-Find实现的正确性和摊销复杂性的机器检查验证。 ITP公司 2015 : 137-153 [第12条] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
一种高效的并行无序深度优先搜索算法。 联合国安全理事会 2015 : 67:1-67:12 2014 [第11条] Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
分块序列的理论与实践。 欧洲航天局 2014 : 25-36岁 [第10条] 摄影 , 亚瑟·查古埃罗(Arthur Charguéraud) , 丹尼尔·菲拉雷蒂 , 菲利普·加德纳 , 塞尔吉奥·马菲斯 , Daiva Naudziuniene公司 , 阿兰·施密特 , 加雷思·史密斯 :
可信的机械化JavaScript规范。 POPL公司 2014 : 87-100 【c9】 亚瑟·查古埃罗(Arthur Charguéraud) :
改进OCaml中的类型错误消息。 ML/O凸轮 2014 : 80-97 2013 【c8】 亚瑟·查古埃罗(Arthur Charguéraud) :
漂亮的大步语义。 员工持股计划 2013 : 41-60 【c7】 Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
通过使用私有deques窃取工作来安排并行程序。 PPoPP(PPoPP) 2013 : 219-228 2012 [j1] 亚瑟·查古埃罗(Arthur Charguéraud) :
本地无名表示。 J.汽车。 原因。 49 ( 三 ) : 363-408 ( 2012 ) 2011 【c6】 亚瑟·查古埃罗(Arthur Charguéraud) :
命令式程序验证的特征公式。 ICFP公司 2011 : 418-430年 【c5】 Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
Oracle调度:在隐式并行语言中控制粒度。 乌普斯拉 2011 : 499-518 2010 【c4】 亚瑟·查古埃罗(Arthur Charguéraud) :
通过特征公式进行程序验证。 ICFP公司 2010 : 321-332 【c3】 亚瑟·查古埃罗(Arthur Charguéraud) :
最佳定点组合器。 ITP公司 2010 : 195-210
2000 – 2009
2008 【c2】 亚瑟·查古埃罗(Arthur Charguéraud) , 弗朗索瓦·波蒂埃 :
功能演算的功能翻译。 ICFP公司 2008 : 213-224 【c1】 布莱恩·艾德米尔 , 亚瑟·查古埃罗(Arthur Charguéraud) , 本杰明·皮尔斯 , 兰迪·波拉克 , 斯蒂芬妮·威里奇 :
工程形式元理论。 POPL公司 2008 : 3-15
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)