朱利安·萨瑟兰
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年-今天
2023 【c3】 彼得·马克西莫维奇 , 卡罗琳·克朗贾格 , 安德烈亚斯·洛夫 , 朱利安·萨瑟兰 , 菲利普·加德纳 :
精确分离逻辑:缩小验证和缺陷发现之间的差距。 ECOOP公司 2023 : 19点1分:27分 2022 [i2] 彼得·马克西莫维奇 , 卡罗琳·克朗贾格 , 朱利安·萨瑟兰 , 安德烈亚斯·洛夫 , 萨查·埃利·阿永 , 菲利普·加德纳 :
精确分离逻辑。 CoRR公司 abs/2208.07200 ( 2022 ) 2021 [j1] 伊曼纽尔·德奥斯瓦尔多 , 朱利安·萨瑟兰 , 阿扎德·法尔赞 , 菲利普·加德纳 :
TaDA Live:终止细粒度并发程序的组合推理。 ACM事务处理。 程序。 语言系统。 43 ( 4 ) : 16:1至16:134 ( 2021 )
2010 – 2019
2019 [i1] 伊曼纽尔·德奥斯瓦尔多 , 阿扎德·法尔赞 , 菲利普·加德纳 , 朱利安·萨瑟兰 :
TaDA Live:终止细粒度并发程序的组合推理。 CoRR公司 abs/1901.05750 ( 2019 ) 2018 【c2】 吉安·恩茨克 , 佩德罗·达罗查·平托 , 朱利安·萨瑟兰 , 菲利普·加德纳 :
POSIX文件系统的并发规范。 ECOOP公司 2018 : 4:1-4:28 2016 【c1】 佩德罗·达罗查·平托 , 托马斯·丁斯代尔-杨 , 菲利普·加德纳 , 朱利安·萨瑟兰 :
非阻塞并发的模块化终端验证。 员工持股计划 2016 : 176-201
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)