塞巴斯蒂安·伯克哈特
人员信息
优化列表
2020年-今天
2024 [公元38年] 李天宇 , 巴德里什·昌德拉穆利 , 塞巴斯蒂安·伯克哈特 , 塞缪尔·马登 :
无服务器状态管理系统。 CIDR公司 2024 2023 [公元10年] 李天宇 , 巴德里什·昌德拉穆利 , 塞巴斯蒂安·伯克哈特 , 塞缪尔·马登 :
DARQ物质绑定一切:通过弹性步骤实现高性能和可组合的云编程。 程序。 ACM管理。 数据 1 ( 2 ) : 117:1-117:27 ( 2023 ) [公元37年] 大卫·H·刘 , 阿米特·利维 , 沙迪·诺加比 , 塞巴斯蒂安·伯克哈特 :
少花钱多办事:在没有Orchestrator的情况下协调无服务器应用程序。 NSDI公司 2023 : 1505-1519 2022 [公元9年] 塞巴斯蒂安·伯克哈特 , 巴德里什·昌德拉穆利 , 克里斯·吉勒姆 , 大卫·朱斯托 , 康斯坦蒂诺斯·卡拉斯 , 康纳·麦克马洪 , 克里斯托弗·梅克尔约翰 , 朱向峰 :
荷兰:高效执行无服务器工作流。 程序。 荷兰VLDB。 15 ( 8 ) : 1591-1604 ( 2022 ) 2021 [j8] 塞巴斯蒂安·伯克哈特 , 克里斯·吉勒姆 , 大卫·朱斯托 , 康斯坦蒂诺斯·卡拉斯 , 康纳·麦克马洪 , 克里斯托弗·梅克尔约翰 :
持久函数:有状态无服务器的语义。 程序。 ACM计划。 语言。 5 ( OOPSLA公司 ) : 1-27 ( 2021 ) [j7] 哈吉特·阿提亚 , 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 亚当-莫里森 , 杨红seok , 马雷克·扎维斯基 :
协作文本编辑的规范和空间复杂性。 西奥。 计算。 科学。 855 : 141-160 ( 2021 ) [i2] 塞巴斯蒂安·伯克哈特 , 克里斯·吉勒姆 , 大卫·朱斯托 , 康斯坦蒂诺斯·卡拉斯 , 康纳·麦克马洪 , 克里斯托弗·梅克尔约翰 :
具有持久功能和Netherite的无服务器工作流。 CoRR公司 abs/2103.00033 ( 2021 ) 2020 [j6] 戈德斯坦 , 艾哈迈德·阿卜杜勒哈米德 , 迈克·巴奈特 , 塞巴斯蒂安·伯克哈特 , 巴德里什·昌德拉穆利 , 达伦·格林 , 尼尔·勒贝克 , 克里斯托弗·梅克尔约翰 , 奥马尔·法鲁克·米哈斯 , 瑞恩·牛顿 , 拉希·白沙瓦里 , 塔尔·扎卡伊 , 艾琳·张 :
A.M.B.R.O.S.I.A:为分布式应用程序提供高性能虚拟弹性。 程序。 荷兰VLDB。 13 ( 5 ) : 588-601 ( 2020 )
2010 – 2019
2018 [j5] 塞巴斯蒂安·伯克哈特 , 蒂姆·科皮特斯 :
组合服务的反应式缓存:以推送速度轮询。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 152:1-152:28 ( 2018 ) [电子1] 塞巴斯蒂安·伯克哈特 , 马尔科·武科利奇 :
分布式数据一致性原则与实践第五次研讨会会议记录, PaPoC@EuroSys 2018年4月23日至26日,葡萄牙波尔图。 ACM公司 2018 ,国际标准图书编号 978-1-4503-5655-8 [目录] 2017 【j4】 菲利普·A·伯恩斯坦 , 塞巴斯蒂安·伯克哈特 , 贝科夫 , Natacha Crooks公司 , 何塞·M·法莱罗 , 加布里埃尔·科里奥 , 阿洛克·库姆巴雷 , 蒙塔西尔·雷汉·拉赫曼 , 维维克·沙阿 , 阿德里亚娜·塞克雷斯 , 乔根·泰林 :
基于参与者的服务的地理分布。 程序。 ACM计划。 语言。 1 ( OOPSLA公司 ) : 107:1-107:26 ( 2017 ) [公元36年] 亚历克谢·戈茨曼 , 塞巴斯蒂安·伯克哈特 :
具有全局操作排序的一致性模型及其组成。 磁盘 2017 : 23:1-23:16 [i1] 亚历克谢·戈茨曼 , 塞巴斯蒂安·伯克哈特 :
具有全局操作顺序及其组成的一致性模型(扩展版本)。 CoRR公司 abs/1707.09242 ( 2017 ) 2016 [j3] 塞巴斯蒂安·伯克哈特 , 乔纳森·普罗琴科 :
弱一致数据的抽象规范。 IEEE数据工程牛。 39 ( 1 ) : 45-51 ( 2016 ) [公元35年] Tim Coppieters公司 , 沃尔夫冈·德梅特 , 塞巴斯蒂安·伯克哈特 :
可序列化的最终一致性:通过对象方法重播实现一致性。 PaPoC@EuroSys 2016 : 3:1-3:3 [公元34年] 哈吉特·阿提亚 , 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 亚当-莫里森 , 杨红seok , 马雷克·扎维斯基 :
协作文本编辑的规范和复杂性。 PODC公司 2016 : 259-268 2015 [公元33年] 塞巴斯蒂安·伯克哈特 , Daan Leijen公司 , 乔纳森·普罗琴科 , 曼努埃尔·法恩德里奇 :
全局序列协议:复制共享状态的稳健抽象。 ECOOP公司 2015 : 568-590 [公元32年] 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 乔纳森·德哈勒克斯 , 米查尔·莫斯卡尔 , 乔纳森·普罗琴科 , 尼古拉·蒂尔曼 :
超越开源:触摸开发基于云的集成开发环境。 移动软件 2015 : 83-93 [公元31年] 乔纳森·普罗琴科 , 塞巴斯蒂安·伯克哈特 , 米哈尔·莫斯卡尔 , 杰迪迪亚·麦克卢格 :
使用AST合并在TouchDevelopment中实现实时协作。 MobileDeLi手机 2015 : 25-27 2014 [注2] 塞巴斯蒂安·伯克哈特 :
最终一致性原则。 已找到。 趋势计划。 语言。 1 ( 1-2 ) : 1-150 ( 2014 ) [公元30年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 塞巴斯蒂安·伯克哈特 , 托马斯·鲍尔 , 朱迪思·毕晓普 :
TouchDevelop:在触摸设备上创建丰富的移动应用程序(教程)。 移动软件 2014 : 1-2 [公元29年] 迈克尔·希尔顿 , 阿皮特·克里斯蒂 , 丹尼·迪格 , 米查尔·莫斯卡尔 , 塞巴斯蒂安·伯克哈特 , 尼古拉·蒂尔曼 :
重构移动应用程序的本地到云数据类型。 移动软件 2014 : 83-92 [公元28年] 塞巴斯蒂安·伯克哈特 :
分布式系统中的一致性。 LASER暑期学校 2014 : 84-120 [公元27年] 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 杨红seok , 马雷克·扎维斯基 :
复制的数据类型:规范、验证、优化。 POPL公司 2014 : 271-284 2013 [c26] 塞巴斯蒂安·伯克哈特 , 曼努埃尔·法恩德里奇 , 佩利·德哈勒克斯 , 肖恩·麦克迪米德 , 米查尔·莫斯卡尔 , 尼古拉·蒂尔曼 , 资深投资经理加藤俊 :
它还活着! UI编程中的持续反馈。 PLDI公司 2013 : 95-104 2012 [公元25年] 塞巴斯蒂安·伯克哈特 , 曼努埃尔·法恩德里奇 , Daan Leijen公司 , 本杰明·P·伍德 :
最终一致性的云类型。 ECOOP公司 2012 : 283-307 [公元24年] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , 塞巴斯蒂安·伯克哈特 , 穆苏瓦蒂夫人 :
弱记忆模型的决定性因素是什么? 员工持股计划 2012 : 26-46 【c23】 塞巴斯蒂安·伯克哈特 , Daan Leijen公司 , 曼努埃尔·法恩德里奇 , 穆利·萨吉夫 :
最终一致的交易。 员工持股计划 2012 : 67-86 [公元22年] 塞巴斯蒂安·伯克哈特 , 亚历克谢·戈茨曼 , 穆苏瓦蒂夫人 , 杨红seok :
TSO内存模型上的并发库正确性。 员工持股计划 2012 : 第87页至第107页 【c21】 Santosh Nagarakatte公司 , 塞巴斯蒂安·伯克哈特 , 米洛·M·K·马丁 , 穆苏瓦蒂夫人 :
基于优先级的调度程序的多核加速,用于并发错误检测。 PLDI公司 2012 : 543-554 [公元20年] 尼古拉·蒂尔曼 , 米查尔·莫斯卡尔 , 乔纳森·德哈勒克斯 , 曼努埃尔·法恩德里奇 , 塞巴斯蒂安·伯克哈特 :
TouchDevelop:在移动设备上开发应用程序。 SIGSOFT FSE公司 2012 : 39 2011 [j1] 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 佩利·德哈勒克斯 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 :
多线程代码的可预测和渐进测试。 IEEE软件。 28 ( 三 ) : 75-83 ( 2011 ) [第19条] 塞巴斯蒂安·伯克哈特 , Daan Leijen公司 :
并发修订的语义。 员工持股计划 2011 : 116-135 [第18条] Daan Leijen公司 , 曼努埃尔·芬德里奇 , 塞巴斯蒂安·伯克哈特 :
更好的并发性:纯功能并发修订。 哈斯克尔 2011 : 83-94 [第17条] S.Tucker塔夫特 , 约书亚·J·布洛赫 , 罗伯特·博奇诺 , 塞巴斯蒂安·伯克哈特 , 哈桑·查菲 , 俄罗斯考克斯 , 本尼迪克特·加斯特 , 盖伊·斯蒂尔(Guy L.Steele Jr.)。 , 大卫·M·恩加 :
多核、多核和云计算:是否需要新的编程语言范式? OOPSLA指南 2011 : 165-170 [第16条] 塞巴斯蒂安·伯克哈特 , Daan Leijen公司 , 凯特林·萨多夫斯基 , Jaeheon Yi公司 , 托马斯·鲍尔 :
二者兼得:并行和增量计算模型。 OOPSLA公司 2011 : 427-444 [第15条] 凯特林·萨多夫斯基 , 托马斯·鲍尔 , 朱迪思·毕晓普 , 塞巴斯蒂安·伯克哈特 , 加内什·戈帕拉克里什南 , 约瑟夫·梅奥 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 , 斯蒂芬·图布 :
实用的并行和并发编程。 SIGCSE公司 2011 : 189-194 2010 [第14条] 塞巴斯蒂安·伯克哈特 , Pravesh Kothari公司 , 穆苏瓦蒂夫人 , Santosh Nagarakatte公司 :
一种随机调度程序,具有发现错误的概率保证。 ASPLOS公司 2010 : 167-178 [第13条] 塞巴斯蒂安·伯克哈特 , 穆苏瓦蒂夫人 , 瓦苏·辛格 :
验证松弛内存模型上的局部变换。 科科斯群岛 2010 : 104-123 [第12条] 塞巴斯蒂安·伯克哈特 , 亚历山大·巴尔达辛 , Daan Leijen公司 :
具有修订和隔离类型的并发编程。 OOPSLA公司 2010 : 691-707 [第11条] 约翰·埃里克森 , 穆苏瓦蒂夫人 , 塞巴斯蒂安·伯克哈特 , 柯克·奥利尼克 :
内核的有效数据空间检测。 OSDI公司 2010 : 151-162 [第10条] 塞巴斯蒂安·伯克哈特 , 克里斯·德恩 , 穆苏瓦蒂夫人 , 罗伊·谭 :
线性化:一个完整的自动线性化能力检查器。 PLDI公司 2010 : 330-340 [c9] 穆罕默德·法乌齐·阿提格 , 艾哈迈德·布阿贾尼 , 塞巴斯蒂安·伯克哈特 , 穆苏瓦蒂夫人 :
关于弱记忆模型的验证问题。 POPL公司 2010 : 7-18 【c8】 凯瑟琳·库恩斯 , 塞巴斯蒂安·伯克哈特 , 穆苏瓦蒂夫人 :
GAMBIT:对并发库进行有效的单元测试。 PPoPP(PPoPP) 2010 : 15-24 【c7】 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 凯瑟琳·库恩斯 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 :
高效并发测试的抢占式密封。 TACAS公司 2010 : 420-434
2000 – 2009
2009 【c6】 托马斯·鲍尔 , 塞巴斯蒂安·伯克哈特 , 乔纳森·德哈勒克斯 , 穆苏瓦蒂夫人 , 沙兹·卡迪尔 :
解构并发heisenbugs。 ICSE伴侣 2009 : 403-404 【c5】 Daan Leijen公司 , 沃尔夫拉姆·舒尔特 , 塞巴斯蒂安·伯克哈特 :
任务并行库的设计。 OOPSLA公司 2009 : 227-242 2008 【c4】 塞巴斯蒂安·伯克哈特 , 穆苏瓦蒂夫人 :
松弛内存模型的有效程序验证。 CAV汽车 2008 : 107-120 2007 【c3】 塞巴斯蒂安·伯克哈特 , 拉杰夫·阿鲁尔 , 米洛·M·K·马丁 :
CheckFence:检查放松内存模型上并发数据类型的一致性。 PLDI公司 2007 : 12-21 2006 【c2】 塞巴斯蒂安·伯克哈特 , 拉杰夫·阿鲁尔 , 米洛·M·K·马丁 :
松弛记忆模型上并发数据类型的有界模型检查:案例研究。 CAV汽车 2006 : 489-502 2005 【c1】 塞巴斯蒂安·伯克哈特 , 拉杰夫·阿鲁尔 , 米洛·M·K·马丁 :
通过参数组合优化验证令牌一致性实现的安全性。 VMCAI公司 2005 : 130-145