停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

伊利亚·谢尔盖

>主页 >珀森斯

人员信息

附属： 新加坡国立大学计算机学院
隶属关系（前）： 英国伦敦大学学院计算机科学系

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/赵PA0S24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/ZhaoPA0S24
赵启元,乔治·佩里亚,Ang镇东,乌芒·马图尔,伊利亚·谢尔盖:
效率之根：分离逻辑中基于数组的树的机械化推理。清洁石油产品 2024:45-59
【i24】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2403-12733
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2403-12733
弗拉基米尔·格拉德什滕,乔治·佩里亚,伊利亚·谢尔盖:
针对工作精益用户的小规模反思。 CoRR公司 abs/2403.12733(2024)
[第23条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2404-06477
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-06477
弗拉基米尔·格拉德什滕,赵启元,威洛·阿伦斯,萨曼·阿马拉辛格,伊利亚·谢尔盖:
关于结构化数据的机械化超安全防护：扩展版。 CoRR公司 abs/2404.06477(2024)
2023
[公元17年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/ThyCGS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ThyCGS23
缝制你的,安德烈亚·科斯蒂亚,基兰·戈皮纳坦,伊利亚·谢尔盖:
一生的冒险：提取方法改造生锈。程序。ACM计划。语言。 7(OOPSLA2型):658-685(2023)
[公元16年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GopinathanKS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GopinathanKS23
基兰·戈皮纳坦,马扬克·科奥利亚,伊利亚·谢尔盖:
已验证库的大多数自动校对修复。程序。ACM计划。语言。 7(PLDI公司):25-49(2023)
[j15]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/FialaI0PS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/FialaI0PS23
乔纳斯·菲亚拉,沙查尔·伊扎基,彼得·米勒,纳迪娅·波里卡波娃,伊利亚·谢尔盖:
利用锈蚀类型进行程序合成。程序。ACM计划。语言。 7(PLDI公司):1414-1437(2023)
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tosem/CosteaTCRRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tosem/CosteaTCRRS23
安德烈亚·科斯蒂亚,阿布舍克-蒂瓦里,西格蒙德·恰纳斯塔,基肖尔R,阿比克·罗伊乔杜里,伊利亚·谢尔盖:
竞技场：使用静态分析摘要修复数据竞赛。 ACM事务处理。柔和。工程方法。 32(2):41:1-41:33(2023)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ccs/MengPRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ccs/MengPRS23
孟瑞杰（Ruijie Meng）,乔治·佩里亚,阿布希克·罗乔杜里,伊利亚·谢尔盖:
分布式系统的灰盒模糊。 CCS系统 2023:1615-1629
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/2024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/2024
马丁·格布瑟,伊利亚·谢尔盖:
声明性语言的实用方面——第26届国际研讨会，PADL 2024，英国伦敦，2024年1月15日至16日，会议记录。计算机科学课堂讲稿14512,施普林格 2023，国际标准图书编号978-3-031-52037-2 [目录]
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2305-02601
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-02601
孟瑞杰（Ruijie Meng）,乔治·佩里亚,阿比克·罗伊乔杜里,伊利亚·谢尔盖:
分布式系统模糊。 CoRR公司 abs/2305.02601(2023)
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/JacobsMSS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/JacobsMSS23
斯文·雅各布斯,肯尼思·麦克米兰,萨曼塔屋顶,伊利亚·谢尔盖:
可信分布式系统的统一形式方法（Dagstuhl研讨会23112）。达格斯图尔报告 13(三):32-48(2023)
2022
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/HoangTLS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/HoangTLS22
有轨电车黄,安东·特鲁诺夫,列奥尼达斯·兰普洛斯,伊利亚·谢尔盖:
高阶区块链语言的随机测试（经验报告）。程序。ACM计划。语言。 6(ICFP公司):886-901(2022)
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/2022
伊利亚·谢尔盖:
编程语言与系统-第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日，会议记录。计算机科学课堂讲稿13658,施普林格 2022，国际标准图书编号978-3-031-21036-5 [目录]
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/2022
伊利亚·谢尔盖:
编程语言与系统——第31届欧洲编程研讨会，ESOP 2022，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2022，德国慕尼黑，2022年4月2-7日，会议记录。计算机科学课堂讲稿13240,施普林格 2022，国际标准图书编号978-3-030-99335-1 [目录]
2021
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/AndersenS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/AndersenS21
克里斯托弗·安徒生（Kristoffer Just Arndal Andersen）,伊利亚·谢尔盖:
分布式系统建模、测试和执行的协议组合器。 J.功能。程序。 31:e3（电子3）(2021)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/WatanabeGPPS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/WatanabeGPPS21
渡边靖国,基兰·戈皮纳坦,乔治·佩里亚,纳迪娅·波里卡波娃,伊利亚·谢尔盖:
证明堆操作程序的合成。程序。ACM计划。语言。 5(ICFP公司):1-29(2021)
[公元32年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ItzhakyPPRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ItzhakyPPRS21
沙查尔·伊扎基,希拉·佩莱,纳迪娅·波里卡波娃,鲁本·N.S.罗,伊利亚·谢尔盖:
用指针演绎合成程序：技术，挑战，机遇-（特邀论文）。 CAV（1） 2021:110-134
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/ItzhakyPPRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/ItzhakyPPRS21
沙查尔·伊扎基,希拉·佩莱,纳迪娅·波里卡波娃,鲁本·N.S.罗,伊利亚·谢尔盖:
循环程序综合。 PLDI公司 2021:944-959
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/Pirlea0S21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/Pirlea0S21
乔治·佩里亚,阿姆里特·库马尔,伊利亚·谢尔盖:
具有所有权和可交换性分析的实用智能合同分割。 PLDI公司 2021:1327-1341
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/NguyenTSC21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/NguyenTSC21
Thanh-Toan Nguyen先生,Quang-Trung Ta公司,伊利亚·谢尔盖,魏恩甘钦:
使用演绎合成的堆操作程序的自动修复。 VMCAI公司 2021:376-400
[i20]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2108-02490
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-02490
安德烈亚·科斯蒂亚,阿布舍克-蒂瓦里,西格蒙德·恰纳斯塔,基肖尔R,阿比克·罗伊乔杜里,伊利亚·谢尔盖:
HIPPODROME：使用静态分析摘要进行数据竞争修复。 CoRR公司 abs/2108.02490(2021)
2020
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/GopinathanS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/GopinathanS20
基兰·戈皮纳坦,伊利亚·谢尔盖:
在近似成员资格查询结构中证明确定性和不确定性。 CAV（2） 2020:279-303
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/CosteaZPS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/CosteaZPS20
安德烈亚·科斯蒂亚,艾米·朱,纳迪娅·波里卡波娃,伊利亚·谢尔盖:
使用指针更好地综合程序的简明只读规范。员工持股计划 2020:141-168
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-10723
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-10723
安德烈亚·科斯蒂亚,艾米·朱,纳迪娅·波里卡波娃,伊利亚·谢尔盖:
用指针更好地综合程序的简明只读规范-扩展版。 CoRR公司 abs/2001.10723(2020)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2003-06458
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2003-06458
塔里亚·林格,卡尔·帕尔姆斯科,伊利亚·谢尔盖,米洛斯·格利戈里克,扎卡里·塔特洛克:
大规模QED：正式验证软件工程的调查。 CoRR公司 abs/2003.06458(2020)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-13312
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-13312
基兰·戈皮纳坦,伊利亚·谢尔盖:
认证近似成员资格查询结构中的确定性和不确定性-扩展版本。 CoRR公司 abs/2004.13312(2020)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2008-0555
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2008-05555
瓦瓦瓦萨瓦·纳加拉吉,雅各布·约翰森,安东·特鲁诺夫,乔治·佩里亚,阿姆里特·库马尔,伊利亚·谢尔盖:
将高阶智能合约语言编译到LLVM。 CoRR公司 abs/2008.05555(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/ftpl/RingerPSGT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ftpl/RingerPSGT19
塔里亚·林格,卡尔·帕尔姆斯科,伊利亚·谢尔盖,米洛斯·格利戈里克,扎卡里·塔特洛克:
大规模QED：正式验证软件工程的调查。已找到。趋势计划。语言。 5(2-3):102-281(2019)
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SergeyNJ0TH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SegeyNJ0TH19
伊利亚·谢尔盖,瓦瓦瓦萨瓦·纳加拉吉,雅各布·约翰森,阿姆里特·库马尔,安东·特鲁诺夫,Ken Chan管浩:
使用Scilla进行更安全的智能合约编程。程序。ACM计划。语言。三(OOPSLA公司):185:1-185:30(2019)
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/GorogannisOS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/GoroginisOS19
Nikos Gorogannis公司,彼得·W·奥赫恩,伊利亚·谢尔盖:
静态竞争检测器的真正定理。程序。ACM计划。语言。三(POPL公司):57:1-57:29(2019)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/PolikarpovaS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/PolikarpovaS19
纳迪娅·波里卡波娃,伊利亚·谢尔盖:
构造堆操作程序的合成。程序。ACM计划。语言。三(POPL公司):72:1-72:30(2019)
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/KolluriNSHS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/KolluriNSHS19
阿什什·科卢里,伊维卡·尼科利奇,伊利亚·谢尔盖,阿奎那·霍伯,Prateek Saxena公司:
利用智能合约中的秩序法则。 ISSTA公司 2019:363-373
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/安达信S19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/AndersenS19
克里斯托弗·安徒生（Kristoffer Just Arndal Andersen）,伊利亚·谢尔盖:
分布式协议组合器。 PADL（PADL） 2019:169-186
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/podc/Sergey19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/podc/Sergey19
伊利亚·谢尔盖:
设计我们可以信任（也可以运行）的分布式系统。 PODC公司 2019:306
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vecos/AlbertGRS19公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vecos/AlbertGRS19
埃尔维拉·阿尔伯特,巴勃罗·戈迪略,阿尔伯特·卢比奥,伊利亚·谢尔盖:
在烟雾中运行-使用静态资源分析防止以太坊智能合约中的气体外漏洞。 VECoS公司 2019:63-78
2018
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/pacmpl/BlackshearGOS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/BlackshearGOS18
萨姆·布莱克希尔,Nikos Gorogannis公司,彼得·W·奥赫恩,伊利亚·谢尔盖:
RacerD：合成静态种族检测。程序。ACM计划。语言。 2(OOPSLA公司):144:1-144:28(2018)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/SergeyWT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/SergeyWT18
伊利亚·谢尔盖,詹姆斯·威尔科克斯,扎卡里·塔特洛克:
使用分布式协议进行编程和验证。程序。ACM计划。语言。 2(POPL公司):28:1-28:30(2018)
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/acsac/NikolicKSSH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/acsac/NikolicKSSH18
伊维卡·尼科利奇,阿什什·科卢里,伊利亚·谢尔盖,Prateek Saxena公司,阿奎那·霍伯:
大规模发现贪婪、浪荡和自杀契约。 ACSAC公司 2018:653-663
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/AbertGLRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/AbertGLRS18
埃尔维拉·阿尔伯特,巴勃罗·戈迪略,本杰明·利夫希茨,阿尔伯特·鲁比奥,伊利亚·谢尔盖:
EthIR：以太坊字节码高级分析框架。 ATVA公司 2018:513-520
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpp/皮雷S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpp/PirleaS18
乔治·佩里亚,伊利亚·谢尔盖:
机械化区块链共识。清洁石油产品 2018:78-90
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/Garcia-PerezGMS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/Garcia-PerezGMS18
阿尔瓦罗·加西亚·佩雷斯,亚历克谢·戈茨曼,尤里·梅什曼,伊利亚·谢尔盖:
帕克索斯共识，解构和抽象。员工持股计划 2018:912-939
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/Sergey0H18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/Sergey0H18
伊利亚·谢尔盖,阿姆里特·库马尔,阿奎那·霍伯:
智能合约的时间属性。 ISoLA（4） 2018:323-338
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-00687
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-00687
伊利亚·谢尔盖,阿姆里特·库马尔,阿奎那·霍伯:
Scilla：智能合约中介语言。 CoRR公司 abs/1801.00687(2018)
[i14]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-05969
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-05969
阿尔瓦罗·加西亚·佩雷斯,亚历克谢·戈茨曼,尤里·梅什曼,伊利亚·谢尔盖:
帕克索斯共识，解构和抽象（扩展版）。 CoRR公司 abs/1802.05969(2018)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-06038
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-06038
伊维卡·尼科利奇,阿什什·科卢里,伊利亚·谢尔盖,Prateek Saxena公司,阿奎那·霍伯:
大规模发现贪婪、浪荡和自杀契约。 CoRR公司 abs/1802.06038(2018)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1805-07208
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-07208
埃尔维拉·阿尔伯特,巴勃罗·戈迪略,本杰明·利夫希茨,阿尔伯特·鲁比奥,伊利亚·谢尔盖:
EthIR：以太坊字节码的高级分析框架。 CoRR公司 abs/1805.07208(2018)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1807-07022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-07022
纳迪娅·波里卡波娃,伊利亚·谢尔盖:
构建堆操作程序的合成。 CoRR公司 abs/1807.07022(2018)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1810-11605
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1810-11605
阿什什·科卢里,伊维卡·尼科利奇,伊利亚·谢尔盖,阿奎那·霍伯,Prateek Saxena公司:
利用智能合同中的秩序法则。 CoRR公司 abs/1810.11605(2018)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1811-03503
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-03503
Nikos Gorogannis公司,彼得·W·奥赫恩,伊利亚·谢尔盖:
静态竞争检测器的真正值定理-扩展版本。 CoRR公司 abs/1811.03503(2018)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1811-10403
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-10403
埃尔维拉·阿尔伯特,巴勃罗·戈迪略,阿尔伯特·鲁比奥,伊利亚·谢尔盖:
GASTAP：智能合约气体分析仪。 CoRR公司 abs/1811.10403(2018)
2017
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/DelbiancoSNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/DelbiancoSNB17
德比安科,伊利亚·谢尔盖,亚历山大·纳涅夫斯基,安妮迪亚·班纳吉:
时间链接的并发数据结构（工件）。 Dagstuhl Artifacts爵士。三(2):04:1-04:4(2017)
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/SergeyVJB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/SergeyVJB17
伊利亚·谢尔盖,Dimitrios Vytiniotis炎,西蒙·佩顿·琼斯,约阿希姆·布雷特纳:
理论和实践中的模块化、高阶基数分析。 J.功能。程序。 27:第11页(2017)
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/DelbiancoSNB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/DelbiancoSNB17
德比安科,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
实时链接的并发数据结构。 ECOOP公司 2017:8:1-8:30
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fc/谢尔盖H17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fc/SergeyH17
伊利亚·谢尔盖,阿奎那·霍伯:
智能合约的并发视角。金融加密研讨会 2017:478-493
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/snapl/WilcoxST17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/snapl/WilcoxST17
詹姆斯·威尔科克斯,伊利亚·谢尔盖,扎卡里·塔特洛克:
模块验证分布式系统的编程语言抽象。 SNAPL公司 2017:19:1-19:12
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SergeyH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SergeyH17
伊利亚·谢尔盖,阿奎那·霍伯:
智能合约的并发视角。 CoRR公司 abs/1702.05511(2017)
2016
[c14]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/Sergey16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/Sergey16
伊利亚·谢尔盖:
经验报告：用于随机测试计算几何算法的增长和收缩多边形。 ICFP公司 2016:193-199
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/SergeyNBD16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/SergeyNBD16
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科:
Hoare-style规范是非线性并发对象的正确性条件。 OOPSLA公司 2016:92-110
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/DelbiancoSNB16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DelbiancoSNB16
德比安科,伊利亚·谢尔盖,亚历山大·纳涅夫斯基,安妮迪亚·班纳吉:
实时链接的并发数据结构。 CoRR公司 abs/1604.08080(2016)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/PodkopaevSN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PodkopaevSN16
安东·波德科帕耶夫,伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基:
C/C++并发的操作方面。 CoRR公司 abs/1606.01400(2016)
2015
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SergeyNB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SergeyNB15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
用历史和主观性指定和验证并发算法。员工持股计划 2015:333-358
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/谢尔盖NB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SergeyNB15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
细粒度并发程序的机械化验证。 PLDI公司 2015:77-87
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/SergeyNBD15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SergeyNBD15
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉,德比安科:
Hoare-style规范作为非线性并发对象的正确性条件。 CoRR公司 abs/1509.06220(2015)
2014
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jfp/JohnsonSEMH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jfp/JohnsonSEMH14
迪翁娜·阿玛丽·格雷泽,伊利亚·谢尔盖,克里斯托弗·厄尔,马修·米特,大卫·范·霍恩:
使用抽象垃圾收集进行下推流分析。 J.功能。程序。 24(2-3):218-283(2014)
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/NanevskiLSD14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/NanevskiLSD14
阿列克桑达尔·纳内夫斯基,Ruy Ley-Wild公司,伊利亚·谢尔盖,德比安科:
通信细粒度并发资源的状态转换系统。员工持股计划 2014:290-310
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/Garcia-PerezNS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/Garcia-PerezNS14
阿尔瓦罗·加西亚·佩雷斯,巴勃罗·诺盖拉,伊利亚·谢尔盖:
推导渐进型lambda演算的解释。政治公众人物 2014:157-168
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/谢尔盖VJ14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/SergeyVJ14
伊利亚·谢尔盖,迪米特里厄斯病毒性肠炎,西蒙·佩顿·琼斯:
理论和实践中的模块化、高阶基数分析。 POPL公司 2014:335-348
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JohnsonSEMH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JohnsonSEMH14
迪奥娜·阿玛莉釉,伊利亚·谢尔盖,克里斯托弗·厄尔,马修·米特,大卫·范·霍恩:
使用抽象垃圾收集进行下推流分析。 CoRR公司 abs/1406.5106(2014)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SergeyNB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SergeyNB14
伊利亚·谢尔盖,阿列克桑达尔·纳内夫斯基,安妮迪亚·班纳吉:
用历史和主观性指定和验证并发算法。 CoRR公司 abs/1410.0306(2014)
2013
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pepm/开发SCP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pepm/DevrieseSCP13网站
多米尼克·德弗里斯,伊利亚·谢尔盖,戴夫·克拉克,弗兰克·皮森斯:
修复习惯用法：应用DSL的递归原语。政治公众人物 2013:97-106
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pldi/SergeyDMMDCP13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pldi/SergeyDMMDCP13
伊利亚·谢尔盖,多米尼克·德弗里斯,马修·米特,扬·米德加德,大卫·达赖,戴夫·克拉克,弗兰克·皮森斯:
一元抽象翻译。 PLDI公司 2013:399-410
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/lncs/ClarkeOSW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/lncs/ClarkeOSW13
戴夫·克拉克,约翰·斯特隆德,伊利亚·谢尔盖,托比亚斯·箭牌:
所有权类型：调查。面向对象编程中的混叠 2013:15-58
2012
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/SergeyC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/SergeyC12
伊利亚·谢尔盖,戴夫·克拉克:
通过约简进行类型检查和通过求值进行类型检查之间的对应关系。信息处理。莱特。 112(1-2):13-20(2012)
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/SergeyC12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/SergeyC12
伊利亚·谢尔盖,戴夫·克拉克:
逐步所有权类型。员工持股计划 2012:579-599
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfp/EarlSMH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfp/EarlSMH12
克里斯托弗·厄尔,伊利亚·谢尔盖,马修·米特,大卫·范·霍恩:
高阶程序的内省下推分析。 ICFP公司 2012:177-188
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mpc/谢尔盖MC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mpc/SergeyMC12
伊利亚·谢尔盖,扬·米德加德,戴夫·克拉克:
计算优势和最短路径的图形算法。 MPC公司 2012:132-156
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1207-1813
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1207-1813
克里斯托弗·厄尔,伊利亚·谢尔盖,马修·米特,大卫·范·霍恩:
高阶程序的内省下推分析。 CoRR公司 abs/1207.1813(2012)
2011
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ldta/SergeyC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ldta/SergeyC11
伊利亚·谢尔盖,戴夫·克拉克:
从递归下降的类型检查到抽象机器的类型检查。 LDTA公司 2011:2

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[c1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecop/ClarkeS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecop/ClarkeS09
戴夫·克拉克,伊利亚·谢尔盖:
具有层的面向上下文编程的语义。 COP@ECOOP公司 2009:10:1-10:6

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。