埃敏·Gün Sirer
人员信息
附属: 美国伊萨卡康奈尔大学
SPARQL查询
优化列表
2020年–今天
2023 [公元18年] 索米亚·巴苏 , 大卫·A·伊斯利 , 莫琳·奥哈拉 , 埃敏·Gün Sirer :
稳定费用:加密货币的可预测费用市场。 管理。 科学。 69 ( 11 ) : 6508-6524 ( 2023 ) 2022 [i16] 司山龙 , 索米亚·巴苏 , 埃敏·Gün Sirer :
在工作验证区块链中衡量矿工分散。 CoRR公司 abs/2203.16058 ( 2022 ) 2020 [c62] 凯文·阿拉尔科恩·内基 , 彼得·里赞(Peter R.Rizun) , 埃敏·Gün Sirer :
自私采矿重新审查。 金融密码学 2020 : 61-78 [第61条] 阿曼妮·莫因 , 凯文·塞克尼奇 , 埃敏·Gün Sirer :
SoK:Stablecoin设计的分类框架。 金融加密 2020 : 174-197 [公元60年] 索米亚·巴苏 , 埃敏·Gün Sirer :
无信任物联网:物联网中心的逻辑驱动架构。 热边缘(HotEdge) 2020 【i15】 毛凡音 , 张洪波 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
CedrusDB:带有内存映射的Lazy-Trie的持久密钥值存储。 CoRR公司 abs/2005.13762 ( 2020 )
2010 – 2019
2019 [公元59年] 索米亚·巴苏 , 阿林·托梅斯库 , 伊泰·亚伯拉罕 , Dahlia Malkhi公司 , 迈克尔·雷特 , 埃敏·Gün Sirer :
BFT协议中具有共享恢复的高效可验证秘密共享。 CCS系统 2019 : 2387-2402 [公元58年] Kai桅杆 , 陈乐群 , 埃敏·Gün Sirer :
由安全硬件支持的自治区块链愿景。 系统TEX@SOSP 2019 : 1:1-1:6 [公元57年] 约书亚·林德 , 奥德·纳尔 , 伊泰·埃亚尔 , 弗洛里安·克尔伯特 , 埃敏·Gün Sirer , Peter R.Pietzuch先生 :
Teechain:具有异步区块链访问的安全支付网络。 社会保障计划 2019 : 63-79 [第14条] 苏米娅·巴苏 , 大卫·A·伊斯利 , 莫琳·奥哈拉 , 埃敏·Gün Sirer :
面向加密货币的功能性收费市场。 CoRR公司 abs/1901.06830 ( 2019 ) [i13] 火箭队 , 毛凡音 , 凯文·塞克尼奇 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
通过Metastability达成可扩展和概率领先的BFT共识。 CoRR公司 abs/1906.08936 ( 2019 ) [i12] 阿曼妮·莫因 , 埃敏·Gün Sirer , 凯文·塞克尼奇 :
Stablecoin设计的分类框架。 CoRR公司 abs/1910.10098 ( 2019 ) 2018 [公元17年] 伊泰·埃亚尔 , Emin Gün Sirer女士 :
多数还不够:比特币挖掘很脆弱。 Commun公司。 ACM公司 61 ( 7 ) : 95-102 ( 2018 ) [公元16年] 罗伯特·索莱 , 什鲁塔什巴苏 , 帕里萨·贾利利·马兰迪 , 费尔南多·佩多内 , 罗伯特·克莱伯格 , 埃敏·Gün Sirer , 内特·福斯特 :
梅林:一种管理网络资源的语言。 IEEE/ACM传输。 Netw公司。 26 ( 5 ) : 2188-2201 ( 2018 ) [公元56年] 阿德姆·伊夫·根瑟 , 索米亚·巴苏 , 伊泰·埃亚尔 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
比特币和以太坊网络的去中心化。 金融加密 2018 : 439-457 [公元55年] 约书亚·林德 , 奥德·奈尔 , 伊泰·埃亚尔 , 弗洛里安·克尔伯特 , Peter R.Pietzuch先生 , 埃敏·Gün Sirer :
Teechain:通过离线支付渠道降低区块链上的存储成本。 SYSTOR公司 2018 : 125 [i11] Kai桅杆 , 陈乐群 , 埃敏·Gün Sirer :
使用可信执行环境实现强大的数据库完整性。 CoRR公司 abs/1801.01618 ( 2018 ) [i10] 阿德姆·伊夫·根瑟 , 索米亚·巴苏 , 伊泰·埃亚尔 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
比特币和以太坊网络的去中心化。 CoRR公司 abs/1801.03998 ( 2018 ) 2017 [公元54年] 菲利普·戴安 , 伊泰·埃亚尔 , 朱尔斯 , Emin Gün Sirer女士 :
(短文)计件工作:工作证明的广义外包控制。 金融加密研讨会 2017 : 182-190 [公元53年] 阿德姆·伊夫·根瑟 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
短文:面向服务的区块链分片。 金融加密 2017 : 393-401 [第52条] Kai桅杆 , 陈乐群 , 埃敏·Gün Sirer :
通过可信硬件代理扩展数据库。 系统TEX@SOSP 2017 : 9:1-9:6 [第九章] 约书亚·林德 , 伊泰·埃亚尔 , 弗洛里安·克尔伯特 , 奥德·纳尔 , 彼得·皮特祖赫 , 埃敏·Gün Sirer :
Teechain:使用可信执行环境的可扩展区块链支付。 CoRR公司 abs/1707.05454 ( 2017 ) 2016 [公元15年] 埃敏·Gün Sirer :
比特币经济的状态(和安全):技术视角。 Commun公司。 ACM公司 59 ( 4 ) : 85 ( 2016 ) [公元14年] 阿尤什·杜贝 , 格雷格·D·希尔 , 罗伯特·埃斯克里娃 , 埃敏·Gün Sirer :
Weaver:基于可优化时间戳的高性能事务图形数据库。 程序。 荷兰VLDB。 9 ( 11 ) : 852-863 ( 2016 ) [第51条] 凯尔·克罗曼 , 克里斯蒂安·戴克 , 伊泰·埃亚尔 , 阿德姆·伊夫·根瑟 , 朱尔斯 , 艾哈迈德·科斯巴 , 安德鲁·米勒 , Prateek Saxena公司 , 伊莱恩·施 , 埃敏·Gün Sirer , 黎明之歌 , 罗杰·瓦滕霍夫 :
关于去中心化区块链的扩展-(立场文件)。 金融加密研讨会 2016 : 106-125 [公元50年] 马尔特·莫瑟 , 伊泰·埃亚尔 , 埃敏·Gün Sirer :
比特币承诺。 金融加密研讨会 2016 : 126-141 [公元49年] 伊泰·埃亚尔 , 阿德姆·伊夫·根瑟 , 埃敏·Gün Sirer , 罗伯特·范·雷内西 :
比特币-NG:一种可扩展的区块链协议。 NSDI公司 2016 : 45-59 [i8] 阿德姆·伊夫·根瑟 , 罗伯特·范·雷内西 , 埃敏·Gün Sirer :
使用Aspen进行面向服务的切分。 CoRR公司 abs/1611.06816 ( 2016 ) [i7] 约书亚·林德 , 伊泰·埃亚尔 , Peter R.Pietzuch先生 , Emin Gün Sirer女士 :
Teechan:使用可信执行环境的支付渠道。 CoRR公司 abs/1612.07766 ( 2016 ) 2015 [公元48年] 阿德姆·伊夫·根瑟 , 大卫·宾德尔 , 埃敏·Gün Sirer , 罗伯特·范·雷内西 :
使用响应曲面配置分布式计算。 中间件 2015 : 235-246 [公元47年] 阿萨夫·西登 , 罗伯特·埃斯克里娃 , 萨钦·卡蒂 , 罗森布拉姆 , 埃敏·Gün Sirer :
分层复制:完全群集地理复制的经济高效的替代方案。 USENIX ATC公司 2015 : 31-43 [i6] 罗伯特·埃斯克里娃 , 王保华 , 埃敏·Gün Sirer :
Warp:用于键值存储的轻量级多密钥事务。 CoRR公司 abs/1509.07815 ( 2015 ) [i5] 罗伯特·埃斯克里娃 , 埃敏·Gün Sirer :
Wave事务文件系统的设计与实现。 CoRR公司 abs/1509.07821 ( 2015 ) [i4] 阿尤什·杜比 , 格雷格·D·希尔 , 罗伯特·埃斯克里娃 , 埃敏·Gün Sirer :
Weaver:基于可优化时间戳的高性能事务性图形存储。 CoRR公司 abs/1509.08443 ( 2015 ) [i3] 伊泰·埃亚尔 , 阿德姆·伊夫·根瑟 , 埃敏·Gün Sirer , 罗伯特·范·雷内西 :
比特币-NG:一种可扩展的区块链协议。 CoRR公司 abs/1510.02037 ( 2015 ) 2014 [c46] 罗伯特·索莱 , 什鲁塔什巴苏 , 帕里萨·贾利利·马兰迪 , 费尔南多·佩多内 , 罗伯特·D·克莱伯格 , 埃敏·Gün Sirer , 内特·福斯特 :
Merlin:一种用于提供网络资源的语言。 CoNEXT公司 2014 : 213-226 [公元45年] 罗伯特·埃斯克里娃 , 阿尤什·杜比 , 王保华 , 埃敏·Gün Sirer :
Kronos:事件订购服务的设计和实现。 欧洲系统 2014 : 3:1-3:14 [公元44年] 伊泰·埃亚尔 , 埃敏·Gün Sirer :
多数还不够:比特币挖掘很脆弱。 金融加密 2014 : 436-454 [i2] 罗伯特·索莱 , Shrutarshi巴苏 , 帕里萨·贾利利·马兰迪 , 费尔南多·佩多内 , 罗伯特·克莱伯格 , 埃敏·Gün Sirer , 内特·福斯特 :
Merlin:一种用于提供网络资源的语言。 CoRR公司 abs/1407.1199 ( 2014 ) 2013 [j13] 吉永信 , 埃敏·Gün Sirer , 哈基姆威瑟斯彭 , 达科·基洛夫斯基 :
关于完全无线数据中心的可行性。 IEEE/ACM传输。 Netw公司。 21 ( 5 ) : 1666-1679 ( 2013 ) [公元43年] 罗伯特·索莱 , 什鲁塔什巴苏 , 罗伯特·克莱伯格 , 埃敏·Gün Sirer , 内特·福斯特 :
与Merlin一起管理网络。 热网 2013 : 24:1-24:7 [电子5] 安德鲁·伯雷尔 , 埃敏·Gün Sirer :
2013年USENIX年度技术会议记录,USENIX ATC 2013,美国加利福尼亚州圣何塞,2013年6月26日至28日。 USENIX协会 2013 ,国际标准图书编号 978-1-931971-01-0 [目录] [i1] 伊泰·埃亚尔 , 埃敏·Gün Sirer :
多数还不够:比特币挖掘很脆弱。 CoRR公司 abs/1311.0243 ( 2013 ) 2012 [j12] 罗伯特·埃斯克里娃 , 王保华 , 埃敏·Gün Sirer :
介绍HyperDex和高性能、可扩展、一致、容错数据存储的全新世界。 登录Usenix Mag。 37 ( 三 ) ( 2012 ) [公元42年] 吉永信 , 埃敏·Gün Sirer , 哈基姆威瑟斯彭 , 达科·基洛夫斯基 :
关于完全无线数据中心的可行性。 ANCS公司 2012 : 3-14 [公元41年] 罗伯特·埃斯克里瓦 , 王保华 , 埃敏·Gün Sirer :
HyperDex:一个分布式、可搜索的键值存储。 SIGCOMM公司 2012 : 25-36 [电子4] 斯里坎思·坎杜拉 , Jitendra Padhye公司 , 埃敏·Gün Sirer , 拉梅什·戈文丹 :
2012年10月29日至30日,美国华盛顿州雷蒙德市HotNets-XI第11届ACM网络热点研讨会。 ACM公司 2012 ,国际标准图书编号 978-1-4503-1776-4 [目录] 2011 [公元11年] 弗雷德·施耐德 , 凯文·沃尔什 , 埃敏·Gün Sirer :
Nexus授权逻辑(NAL):设计原理和应用。 ACM事务处理。 信息系统。 安全。 14 ( 1 ) : 8:1-8:28 ( 2011 ) [公元40年] 吉永信 , 王保华 , Emin Gün Sirer女士 :
小型数据中心。 SoCC公司 2011 : 2 [公元39年] 阿兰·谢赫 , 埃敏·Gün Sirer , 弗雷德·施耐德 :
NetQuery:用于推理网络属性的知识平面。 SIGCOMM公司 2011 : 278-289 [公元38年] 瑞安·彼得森 , 王保华 , 埃敏·Gün Sirer :
用于高效内容分发的内容传播度量。 SIGCOMM公司 2011 : 326-337 [公元37年] 埃敏·Gün Sirer , 威廉·德布鲁因 , 帕特里克雷诺兹 , 阿兰·谢赫 , 凯文·沃尔什 , 丹·威廉姆斯 , 弗雷德·施耐德 :
逻辑证明:可信计算的授权体系结构。 社会保障计划 2011 : 249-264 2010 [公元36年] 阿兰·谢赫 , Emin Gün Sirer女士 , 弗雷德·施耐德 :
NetQuery:用于推理网络属性的知识平面。 CoNEXT学生研讨会 2010 : 23:1-23:2 [公元35年] 阿兰·谢赫 , 斯里坎思·坎杜拉 , 埃敏·Gün Sirer :
SideCar:构建无需可编程交换机的可编程数据中心网络。 热网 2010 : 21 [公元34年] 瑞安·彼得森 , 王保华 , 埃敏·Gün Sirer :
盲屏:一个在内容发现中“看不到邪恶”的系统。 IPTPS公司 2010 : 1
2000 – 2009
2009 [公元33年] 瑞恩·彼得森 , 埃敏·Gün Sirer :
AntFarm:使用托管群进行高效的内容分发。 NSDI公司 2009 : 107-122 [电子3] 珍妮弗·雷克斯福德 , 埃敏·Gün Sirer :
第六届USENIX网络系统设计与实现研讨会论文集,NSDI 2009,2009年4月22日至24日,美国马萨诸塞州波士顿。 USENIX协会 2009 [目录] 2008 [公元10年] 阿兰·谢赫 , 安德鲁·迈尔斯 , 埃敏·Gün Sirer :
面向连接协议的无状态方法。 ACM事务处理。 计算。 系统。 26 ( 三 ) : 8:1-8:50 ( 2008 ) [公元32年] 丹·威廉姆斯 , 帕特里克雷诺兹 , 凯文·沃尔什 , 埃敏·Gün Sirer , 弗雷德·施耐德 :
通过参考验证机制实现设备驱动程序安全。 OSDI公司 2008 : 241-254 2007 [公元9年] 埃敏·Gün Sirer , 里克·法罗 :
一些鲜为人知的计算机科学定律。 登录Usenix Mag。 32 ( 4 ) ( 2007 ) [公元31年] 开尔文·C·W·苏 , 埃敏·Gün Sirer :
延迟和带宽最小化故障检测器。 欧洲系统 2007 : 89-99 [公元30年] 王保华 , 伊米尔·维格福森 , 埃敏·Gün Sirer :
对等覆盖中对象聚类和近似匹配的超空间。 热操作系统 2007 [公元29年] 王保华 , 伊万·斯托亚诺夫 , 埃敏·Gün Sirer :
Octant:互联网主机地理定位的综合框架。 NSDI公司 2007 2006 [j8] 拉迪卡·纳格帕 , 弗朗科·赞博内利 , 埃敏·Gün Sirer , Hakima Chaouchi先生 , 米哈伊尔·斯米尔诺夫 :
跨学科研究:自我组织的角色。 IEEE国际。 系统。 21 ( 2 ) : 50-58 ( 2006 ) [j7] 王保华 , Emin Gün Sirer女士 :
ClosestNode.com:一种用于分布式系统的开放访问、可扩展的共享地理广播服务。 ACM SIGOPS操作。 系统。 版次。 40 ( 1 ) : 62-64 ( 2006 ) [j6] 埃敏·Gün Sirer :
导言。 ACM SIGOPS操作。 系统。 版次。 40 ( 三 ) : 8 ( 2006 ) [j5] 瑞恩·彼得森 , 维努戈巴兰语Ramasubramanian , 埃敏·Gün Sirer :
一种实用的对等发布订阅方法。 登录Usenix Mag。 31 ( 4 ) ( 2006 ) [公元28年] 维努戈巴兰语Ramasubramanian , 瑞恩·彼得森 , 埃敏·Gün Sirer :
Corona:用于万维网的高性能发布订阅系统。 NSDI公司 2006 [公元27年] 凯文·沃尔什 , Emin Gün Sirer女士 :
具有用于对等文件共享的对象信誉系统的经验。 NSDI公司 2006 [公元26年] 王保华 , 伊万·斯托亚诺夫 , 埃敏·Gün Sirer :
通过约束满足在互联网上进行地理定位。 世界 2006 [电子2] 埃敏·Gün Sirer , Ben Y.Zhao(本·赵) :
2006年2月27日至28日在美国加利福尼亚州圣巴巴拉举行的第五届对等系统国际研讨会,IPTPS 2006。 2006 [目录] 2005 [公元25年] 刘洪洲 , 维努戈巴兰语Ramasubramanian , 埃敏·Gün Sirer :
网络微新闻发布订阅系统RSS的客户端行为和提要特征。 互联网测量会议 2005 : 29-34 [公元24年] 拉马苏布拉马尼亚维努戈帕兰 , 埃敏·Gün Sirer :
域名系统中传递信任的风险。 互联网测量会议 2005 : 379-384 【c23】 赛卡特·古哈 , 罗汉·默蒂 , 埃敏·Gün Sirer :
六分仪:使用非凸约束的统一节点和事件定位框架。 MobiHoc公司 2005 : 205-216 [公元22年] 刘洪洲 , 汤姆·罗德 , 凯文·沃尔什 , 里蒙·巴尔 , 埃敏·Gün Sirer :
为自组网设计和实现单个系统映像操作系统。 MobiSys公司 2005 : 149-162 【c21】 阿兰·谢赫 , 安德鲁·迈尔斯 , 埃敏·Gün Sirer :
技巧:无状态网络堆栈,可提高可扩展性、弹性和灵活性。 NSDI公司 2005 [公元20年] 王保华 , Aleksandrs Slivkins公司 , 埃敏·Gün Sirer :
Meridian:一种没有虚拟坐标的轻量级网络定位服务。 SIGCOMM公司 2005 : 85-96 [第19条] 凯文·沃尔什 , 埃敏·Gün Sirer :
使用对象声誉对抗点对点垃圾邮件和诱饵。 P2PECON@SIGCOMM公司 2005 : 138-143 [电子1] 人佛里德曼 , 埃敏·Gün Sirer :
2005年ACM SIGCOMM对等系统经济学研讨会论文集,P2PECON'05,美国宾夕法尼亚州费城,2005年8月22日。 ACM公司 2005 [目录] 2004 【j4】 凯文·沃尔什 , 埃敏·Gün Sirer :
分阶段仿真:用于提高仿真规模和性能的通用技术。 ACM事务处理。 模型。 计算。 模拟。 14 ( 2 ) : 170-195 ( 2004 ) [第18条] 威廉·约瑟夫森 , Emin Gün Sirer女士 , 弗雷德·施耐德 :
使用分布式单点登录服务进行对等身份验证。 IPTPS公司 2004 : 250-258 [第17条] 丹·威廉姆斯 , 埃敏·Gün Sirer :
使用Merkle散列树进行高效内存完整性验证的最佳参数选择。 国家协调局 2004 : 383-388 [第16条] 维努戈巴兰语Ramasubramanian , 埃敏·Gün Sirer :
蜂巢:O(1)对等覆盖中幂律查询分布的查找性能。 NSDI公司 2004 : 99-112 [第15条] 维努戈巴兰语Ramasubramanian , 埃敏·Gün Sirer :
互联网下一代命名服务的设计与实现。 SIGCOMM公司 2004 : 331-342 [第14条] 埃敏·Gün Sirer , 沙拉德·戈尔 , 马克·罗布森 , 多根发动机 :
躲避食肉动物:具有强匿名性的文件共享。 ACM SIGOPS欧洲研讨会 2004 : 19 2003 [j3] 乔纳森·奥尔德里奇 , 埃敏·Gün Sirer , 克雷格·钱伯斯 , 苏珊·J·艾格斯 :
全面消除Java同步。 科学。 计算。 程序。 47 ( 2-3 ) : 91-120 ( 2003 ) [c13] 陈玉荣 , 埃敏·Gün Sirer , 斯蒂芬·B·威克 :
Ad hoc网络最优传输功率的选择。 HICSS公司 2003 : 300 [第12条] 维努戈巴兰语Ramasubramanian , 齐格蒙特·J·哈斯 , 埃敏·Gün Sirer :
SHARP:一种用于移动自组网的混合自适应路由协议。 MobiHoc公司 2003 : 303-314 [第11条] 凯文·沃尔什二世 , Emin Gün Sirer女士 :
大规模网络仿真I:分阶段仿真,用于提高无线网络仿真的规模和性能。 WSC公司 2003 : 667-675 2002 [注2] 里蒙·巴尔 , 约翰·C·比基特 , 丹尼尔·丹塔斯 , 杜伯伟 , T.W.丹尼·金 , Bing Zhou公司 , 埃敏·Gün Sirer :
关于需要为临时网络和传感器网络提供系统级支持。 ACM SIGOPS操作。 系统。 版次。 36 ( 2 ) : 1-5 ( 2002 ) [第10条] Papadimitratos泛神经炎 , 齐格蒙特·J·哈斯 , 埃敏·Gün Sirer :
移动自组网中的路径集选择。 MobiHoc公司 2002 : 1-11 【c9】 埃敏·Gün Sirer , 王珂(Ke Wang) :
一种用于web服务的访问控制语言。 SACMAT公司 2002 : 23-30 [c8] 本杰明·阿特金 , 埃敏·Gün Sirer :
PortOS:用于Post-PC环境的教育操作系统。 SIGCSE公司 2002 : 116-120
1990 – 1999
1999 【c7】 埃敏·Gün Sirer , 布莱恩·贝尔沙德 :
在软件测试中使用生产语法。 数字用户线 1999 : 1-13 【c6】 乔纳森·奥尔德里奇 , 克雷格·钱伯斯 , 埃敏·Gün Sirer , 苏珊·J·艾格斯 :
用于消除Java程序中不必要同步的静态分析。 SAS公司 1999 : 19-38 【c5】 埃敏·Gün Sirer , 罗伯特·格林 , 亚瑟·J·格雷戈里 , 布莱恩·贝尔沙德 :
网络计算机分布式虚拟机的设计与实现。 社会保障计划 1999 : 202-216 1998 【c4】 埃敏·Gün Sirer , 罗伯特·格林 , 布莱恩·贝尔沙德 , 亚瑟·J·格雷戈里 , 肖恩·麦克迪米德 :
分布式虚拟机:用于网络计算的系统架构。 ACM SIGOPS欧洲研讨会 1998 : 13-16 1995 [j1] 布莱恩·贝尔沙德 , 克雷格·钱伯斯 , 苏珊·J·艾格斯 , 克里斯·梅达 , 迪伦·麦克纳姆 , Przemyslaw Pardyak公司 , 斯特凡·萨维奇 , 埃敏·Gün Sirer :
SPIN-用于特定应用程序操作系统服务的可扩展微内核。 ACM SIGOPS操作。 系统。 版次。 29 ( 1 ) : 74-77 ( 1995 ) 【c3】 布莱恩·贝尔沙德 , 斯特凡·萨维奇 , Przemyslaw Pardyak公司 , 大卫·贝克 , 马克·菲辛斯基(Marc E.Fiuczynski) , 埃敏·Gün Sirer :
保护是一个软件问题。 热操作系统 1995 : 62-65 【c2】 布莱恩·贝尔沙德 , 斯特凡·萨维奇 , Przemyslaw Pardyak公司 , 埃敏·Gün Sirer , 马克·菲辛斯基(Marc E.Fiuczynski) , 大卫·贝克 , 克雷格·钱伯斯 , 苏珊·J·艾格斯 :
SPIN操作系统中的可扩展性、安全性和性能。 社会保障计划 1995 : 267-284 1994 【c1】 布莱恩·伯沙德 , 克雷格·钱伯斯 , 苏珊·J·艾格斯 , 克里斯·梅达 , 迪伦·麦克纳姆 , Przemyslaw Pardyak公司 , 斯特凡·萨维奇 , 埃敏·Gün Sirer :
SPIN-用于特定于应用程序的操作系统服务的可扩展微内核。 ACM SIGOPS欧洲研讨会 1994 : 68-71