斯蒂芬·爱德华兹
人员信息
附属: 美国纽约哥伦比亚大学
优化列表
2020年–今天
2024 [公元18年] 许约翰(John Hui) , 斯蒂芬·爱德华兹 :
真实硬件上的稀疏同步模型。 ACM事务处理。 嵌入。 计算。 系统。 23 ( 5 ) : 69:1-69:30 ( 2024 ) 2023 [公元64年] 马丁·洛斯特罗 , 爱德华·A·李 , 斯蒂芬·爱德华兹 , 大卫·布洛曼 :
反应式软件的逻辑时间。 CPS物联网周研讨会 2023 : 313-318 [公元63年] 许约翰(John Hui) , 斯蒂芬·爱德华兹 :
Lua中的稀疏同步编程。 CPS-IoT周研讨会 2023 : 361-366 [公元62年] 许约翰(John Hui) , 凯尔·J·爱德华兹 , 斯蒂芬·爱德华兹 :
用于精确实时编程的时间戳外围设备。 记忆码 2023 : 137-147 [电子3] 莱因哈德·冯·汉克斯利登 , 斯蒂芬·爱德华兹 , 延斯·勃兰特 , 齐朱 :
第21届ACM-IEEE系统设计形式方法和模型国际研讨会,MEMOCODE 2023,德国汉堡,2023年9月21日至22日。 ACM/IEEE公司 2023 ,国际标准图书编号 979-8-4007-0318-8 [目录] 2022 [第61条] 玛莎·巴克 , 斯蒂芬·爱德华兹 , 玛莎·A·金 :
FPGA加速器的合成垃圾收集。 FPGA(现场可编程门阵列) 2022 : 53 [公元60年] 玛莎·巴克 , 斯蒂芬·爱德华兹 , 玛莎·A·金 :
用于具有不变内存的加速器的合成内存垃圾收集。 FPL公司 2022 : 47-53 [公元59年] 罗伯特·克鲁克 , 许约翰(John Hui) , 博·乔尔·斯文森 , 斯蒂芬·爱德华兹 , 科恩·克莱森 :
为编写物联网实时应用程序创建语言。 记忆码 2022 : 1-20 [公元58年] 麦克斯韦尔·利瓦提奇 , 罗伯特·布罗茨曼 , 本杰明·弗林 , Ta Chen先生 , 拉杰什·克里希南 , 斯蒂芬·爱德华兹 :
具有细粒度安全约束和分区后验证的C程序分区。 军事通信 2022 : 285-291 2020 [公元57年] 斯蒂芬·爱德华兹 , 许约翰(John Hui) :
稀疏同步模型。 FDL公司 2020 : 1-8
2010 – 2019
2019 [公元17年] 斯蒂芬·爱德华兹 , 理查德·汤森 , 玛莎·巴克 , 玛莎·A·金 :
合成数据流电路。 ACM事务处理。 嵌入。 计算。 系统。 18 ( 1 ) : 5:1-5:27 ( 2019 ) [公元56年] 安德烈亚·洛塔里尼 , 乔·佩德罗·塞奎拉 , 托马斯·雷佩蒂 , 斯蒂芬·爱德华兹 , 肯尼思·罗斯 , Mingoo Seok公司 , 玛莎·A·金 :
无加速大师:分析查询处理加速器体系结构的比较。 国际标准协会 2019 : 762-773 2018 [公元55年] 斯蒂芬·爱德华兹 :
论决定论。 建模原理 2018 : 240-253 [公元54年] 斯蒂芬·爱德华兹 :
基于FPGA的嵌入式系统课程的进一步教学经验。 CyPhy/WESE公司 2018 : 222-230 2017 [公元53年] 理查德·汤森 , 玛莎·A·金 , 斯蒂芬·爱德华兹 :
从功能程序到流水线数据流电路。 科科斯群岛 2017 : 76-86 [第52条] 安德烈亚·洛塔里尼 , 斯蒂芬·爱德华兹 , 肯尼思·罗斯 , 玛莎·A·金 :
数据库处理单元的网络综合。 数模转换器 2017 : 90:1-90:6 [第51条] 曹炳义 , 肯尼斯·A·罗斯 , 斯蒂芬·爱德华兹 , 玛莎·A·金 :
无死锁加入DB-mesh,一种异步脉动阵列加速器。 DaMoN公司 2017 : 5:1-5:8 [公元50年] 斯蒂芬·爱德华兹 , 理查德·汤森 , 玛莎·金 :
组合数据流电路。 记忆码 2017 : 175-184 2015 [公元49年] Kuangya寨 , 理查德·汤森 , 利安娜·莱莫尔 , 玛莎·A·金 , 斯蒂芬·爱德华兹 :
递归函数语言的硬件合成。 代码+ISSS 2015 : 83-93 [公元48年] 曹炳一 , 肯尼思·罗斯 , 玛莎·A·金 , 斯蒂芬·爱德华兹 :
实现对延迟不敏感的数据流块。 记忆码 2015 : 179-187 2014 [公元47年] 斯蒂芬·爱德华兹 , 希伦·D·帕特尔 :
MEMOCODE 2014软件设计竞赛:太空侵略者模拟器。 记忆码 2014 : 185 2013 [i6] 斯蒂芬·爱德华兹 , 阿兰·吉罗 , 克劳斯·施耐德 :
同步编程(13471年达格斯图尔研讨会)。 达格斯图尔报告 三 ( 11 ) : 117-143 ( 2013 ) 2012 [公元16年] Lisa Wu(丽莎·吴) , 玛莎·A·金 , 斯蒂芬·爱德华兹 :
数据类型加速的缓存影响。 IEEE计算。 阿基特。 莱特。 11 ( 1 ) : 21-24 ( 2012 ) [公元46年] 斯蒂芬·爱德华兹 :
MEMOCODE 2012硬件/软件协同设计竞赛:DNA序列比对仪。 记忆码 2012 : 85-90 2011 [j15] 斯蒂芬·爱德华兹 , 里萨德·贾尼基 , 沃尔特·福格勒 :
前言。 芬丹。 信息学 108 ( 1-2 ) ( 2011 ) 2010 [公元14年] 马西奥·巴斯 , 丹尼尔·布兰德 , 武格拉南C.Sreedhar , 斯蒂芬·爱德华兹 :
一种新的指针分析空间及其在错误查找中的应用。 科学。 计算。 程序。 75 ( 11 ) : 921-942 ( 2010 ) [j13] 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
集合程序中的缓冲区共享。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 29 ( 10 ) : 1471-1480 ( 2010 ) [公元45年] 纳里尼·瓦苏德万 , Kedar S.Namjoshi先生 , 斯蒂芬·爱德华兹 :
简单快速的偏向锁。 PACT公司 2010 : 65-74 [公元44年] 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
通过编译确保确定性并发。 IPDPS研讨会 2010 : 1-4 [公元43年] 玛莎·A·金 , 斯蒂芬·爱德华兹 :
计算与内存系统:消除加速器瓶颈。 ISCA研讨会 2010 : 86-98 [第3页] 斯蒂芬·爱德华兹 , 纳里尼·瓦苏德万 :
正在编译SHIM。 嵌入式软件综合 2010 : 121-146
2000 – 2009
2009 [公元12年] 克里斯蒂安·苏维亚尼 , 伊利亚·哈季奇 , 斯蒂芬·爱德华兹 :
流水线数据包处理器的综合与优化。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 28 ( 2 ) : 231-244 ( 2009 ) [公元42年] 纳里尼·瓦苏德万 , 奥利维尔·塔迪厄 , 朱利安·杜比 , 斯蒂芬·爱德华兹 :
并发程序中时钟的编译时分析和专门化。 科科斯群岛 2009 : 48-62 [公元41年] 邵宝林 , 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
会合通信的合成死锁检测。 EMSOFT公司 2009 : 59-66 [公元40年] 斯蒂芬·爱德华兹 , Sungjun Kim先生 , 爱德华·A·李 , 艾萨克·刘 , 希伦·D·帕特尔 , 马丁·斯科贝尔 :
一个颠覆性的计算机设计理念:具有可重复计时的架构。 ICCD公司 2009 : 54-59 [公元39年] 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
类CSP程序中的缓冲区共享。 记忆码 2009 : 151-160 [公元38年] 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
Celling SHIM:将确定性并发编译为异构多核。 囊 2009 : 1626-1631 [公元37年] 斯蒂芬·爱德华兹 :
并发和沟通:SHIM项目的经验教训。 东南欧 2009 : 276-287 [第2页] 斯蒂芬·爱德华兹 :
设计和验证语言。 嵌入式系统设计与验证 2009 : 5 [电子2] 阿尔伯特·本韦尼斯特 , 斯蒂芬·爱德华兹 , 爱德华·A·李 , 克劳斯·施耐德 , 莱因哈德·冯·汉克斯利登 :
同步2009年11月22日 27.11.2009. 达格斯图尔研讨会记录 09481, 德国莱布尼兹·泽特鲁姆·福尔·Informatik Schloss Dagstuhl 2009 [目录] [i5] 阿尔伯特·本韦尼斯特 , 斯蒂芬·爱德华兹 , 爱德华·A·李 , 克劳斯·施耐德 , 莱因哈德·冯·汉克斯利登 :
09481文摘集-SYNCHRON 2009。 2009年同步 2009 2008 [公元11年] 乌萨马·内鲁赫 , 斯蒂芬·爱德华兹 , 宋晓宇 :
将循环电路转换为非循环等效电路。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 27 ( 10 ) : 1775-1787 ( 2008 ) [公元36年] 本·利克利 , 艾萨克·刘 , Sungjun Kim先生 , 希伦·D·帕特尔 , 斯蒂芬·爱德华兹 , 爱德华·A·李 :
精确定时架构上的可预测编程。 案例 2008 : 137-146 [公元35年] 斯蒂芬·爱德华兹 , 纳里尼·瓦苏德万 , 奥利维尔·塔迪厄 :
使用确定性消息传递并发性编程共享内存多处理器:将SHIM编译为Pthreads。 日期 2008 : 1498-1503 [公元34年] 纳里尼·瓦苏德万 , 萨特南·辛格 , 斯蒂芬·爱德华兹 :
haskell的确定性多路交会库。 IPDPS公司 2008 : 1-12 [公元33年] 纳里尼·瓦苏德万 , 斯蒂芬·爱德华兹 :
SHIM并发语言的静态死锁检测。 记忆码 2008 : 49-58 [公元32年] 斯蒂芬·爱德华兹 , 贾曾 :
并发软件递归的静态细化。 政治公众人物 2008 : 71-80 [公元31年] 马西奥·巴斯 , 丹尼尔·布兰德 , Vugramam C.Sreedhar公司 , 斯蒂芬·爱德华兹 :
使用赋值取图进行灵活的指针分析。 囊 2008 : 234-239 2007 【b1】 杜米特鲁·波托普·布图卡鲁 , 斯蒂芬·爱德华兹 , 杰拉德·贝瑞 :
编制Esterel。 施普林格 2007 ,国际标准图书编号 978-0-387-70626-9 第I-XXI、1-335页 [公元10年] 斯蒂芬·爱德华兹 , 贾曾 :
Columbia Esterel编译器中的代码生成。 EURASIP J.嵌入。 系统。 2007 ( 2007 ) [公元9年] 克里斯蒂安·苏维亚尼 , 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
通过Shannon分解和重定时优化序列循环。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 26 ( 三 ) : 456-467 ( 2007 ) [公元30年] 斯蒂芬·爱德华兹 , 爱德华·A·李 :
精密定时(PRET)机器的案例。 数模转换器 2007 : 264-265 [公元29年] 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
Esterel中的瞬时跃迁。 SLA++P@ETAPS 2007 : 49-64 [i4] 斯蒂芬·爱德华兹 :
类C语言对硬件综合的挑战。 CoRR公司 abs/0710.4683 ( 2007 ) 2006 [j8] 斯蒂芬·爱德华兹 :
从类C语言合成硬件的挑战。 IEEE设计。 测试计算。 23 ( 5 ) : 375-386 ( 2006 ) [j7] 斯蒂芬·爱德华兹 , 奥利维尔·塔迪厄 :
SHIM:异构嵌入式系统的确定性模型。 IEEE传输。 超大规模集成电路。 系统。 14 ( 8 ) : 854-867 ( 2006 ) [公元28年] 克里斯蒂安·苏维亚尼 , 伊利亚·哈季奇 , 斯蒂芬·爱德华兹 :
高性能数据包处理管道的合成。 数模转换器 2006 : 679-682 [公元27年] 克里斯蒂安·苏维亚尼 , 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
通过香农分解和重定时优化顺序循环。 日期 2006 : 1085-1090 [公元26年] 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
SHIM中与调度无关的线程和异常。 EMSOFT公司 2006 : 142-151 [公元25年] 叶俊浩(Nicholas Jun Hao Ip) , 斯蒂芬·爱德华兹 :
用于周期准确实时软件的处理器扩展。 欧盟委员会 2006 : 449-458 [公元24年] 奥萨马·内鲁克 , 斯蒂芬·爱德华兹 , 宋晓宇 :
循环电路分析的一种有效算法。 超大规模集成电路 2006 : 303-308 [c23] 斯蒂芬·爱德华兹 , 奥利维尔·塔迪厄 :
从SHIM模型高效生成代码。 LCTES公司 2006 : 125-134 [公元22年] 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
R-SHIM:递归和共享变量的确定性并发。 记忆码 2006 : 202 【c21】 斯蒂芬·爱德华兹 :
使用程序专用化加快SystemC定点仿真。 蛋白胨 2006 : 21-28 [公元20年] 贾曾 , 查克·米切尔 , 斯蒂芬·爱德华兹 :
用于生成数据流分析器的特定于域的语言。 LDTA@ETAPS(预计到达时间) 2006 : 103-119 2005 [j6] 斯蒂芬·爱德华兹 :
有教授基于FPGA的嵌入式系统课程的经验。 SIGBED版本。 2 ( 4 ) : 56-62 ( 2005 ) [第19条] 奥利维尔·塔迪厄 , 斯蒂芬·爱德华兹 :
Esterel中死代码消除的近似可达性。 ATVA公司 2005 : 323-337 [第18条] 克里斯托弗·康威 , Kedar S.Namjoshi公司 , 丹尼斯·达姆斯 , 斯蒂芬·爱德华兹 :
安全特性跨过程分析的增量算法。 CAV汽车 2005 : 449-461 [第17条] 斯蒂芬·爱德华兹 :
类C语言对硬件综合的挑战。 日期 2005 : 66-67 [第16条] 斯蒂芬·爱德华兹 , 奥利维尔·塔迪厄 :
SHIM:异构嵌入式系统的确定性模型。 EMSOFT公司 2005 : 264-272 [第15条] 贾曾 , 斯蒂芬·爱德华兹 :
同步模块的单独编译。 ICESS公司 2005 : 129-140 [第14条] 斯蒂芬·爱德华兹 , 奥利维尔·塔迪厄 :
确定性接受过程是卡恩过程。 记忆码 2005 : 37-44 [第13条] 马西奥·巴斯 , 斯蒂芬·爱德华兹 , 姚斌(Bin Yao) , 丹·G·沃丁顿 :
源到源转换的指针分析。 SCAM公司 2005 : 139-150 [电子1] 斯蒂芬·爱德华兹 , 尼古拉斯·哈尔巴赫斯 , 莱因哈德·冯·汉克斯利登 , 托马斯·斯塔纳 :
同步编程-SYNCHRON’04,28。 11月3日。 2004年12月。 达格斯图尔研讨会记录 04491, IBFI,德国达格斯图尔宫 2005 [目录] 【r1】 斯蒂芬·爱德华兹 :
嵌入式系统语言。 嵌入式系统手册 2005 2004 [第12条] 克里斯托弗·康威 , 斯蒂芬·爱德华兹 :
NDL:设备驱动程序的特定于域的语言。 LCTES公司 2004 : 30-36 [第11条] 贾曾 , 克里斯蒂安·索维亚尼 , 斯蒂芬·爱德华兹 :
从并发程序依赖图生成快速代码。 LCTES公司 2004 : 175-181 [c10] 斯蒂芬·爱德华兹 , 维姆尔·卡帕迪亚 , 迈克尔·哈拉斯兹 :
将Esterel编译为静态离散事件代码。 ETAPS时的SLAP 2004 : 117-131 [i3] 斯蒂芬·爱德华兹 :
SHIM:一种用于硬件/软件集成的语言。 同步 2004 [i2] 斯蒂芬·爱德华兹 , 尼古拉斯·哈尔巴赫斯 , 莱因哈德·冯·汉克斯登 , 托马斯·斯塔纳 :
04491摘要集-同步编程-SYNCHRON’04。 同步 2004 [i1] 斯蒂芬·爱德华兹 , 尼古拉斯·哈尔巴赫斯 , 莱因哈德·冯·汉克斯利登 , 托马斯·斯塔纳 :
04491执行摘要-同步编程-SYNCHRON'04。 同步 2004 2003 [j5] 阿尔伯特·本韦尼斯特 , 保罗·卡斯皮 , 斯蒂芬·爱德华兹 , 尼古拉斯·哈尔巴赫斯 , 保罗·勒格尼奇 , 罗伯特·德西蒙 :
12年后,同步语言出现了。 程序。 电气与电子工程师协会 91 ( 1 ) : 64-83 ( 2003 ) 【j4】 斯蒂芬·爱德华兹 , 爱德华·A·李 :
同步块图语言的语义和执行。 科学。 计算。 程序。 48 ( 1 ) : 21-42 ( 2003 ) [j3] 斯蒂芬·爱德华兹 :
教程:为顺序处理器编译并发语言。 ACM事务处理。 设计自动。 选举人。 系统。 8 ( 2 ) : 141-187 ( 2003 ) 【c9】 斯蒂芬·爱德华兹 :
使循环电路非循环。 数模转换器 2003 : 159-162 【c8】 斯蒂芬·扬 , 保罗·德迪奥斯 , 斯蒂芬·爱德华兹 :
将网络加密服务移植到RMC2000:嵌入式软件开发中的一个案例研究。 日期 2003 : 20150-20157 【c7】 桑迪普·K·舒克拉 , Jean-Pierre Talpin女士 , 斯蒂芬·爱德华兹 , 拉杰什·古普塔 :
嵌入式系统的高级建模和验证方法:缩小生产力差距。 超大型积体电路设计 2003 : 9-14 [第1页] 斯蒂芬·扬 , 保罗·德迪奥斯 , 斯蒂芬·爱德华兹 :
将网络加密服务移植到RMC2000。 用于SoC的嵌入式软件 2003 : 165-176 2002 [注2] 斯蒂芬·爱德华兹 :
用于大型控制型系统的Esterel编译器。 IEEE传输。 计算。 辅助设计。 集成。 电路系统。 21 ( 2 ) : 169-183 ( 2002 ) 【c6】 斯蒂芬·爱德华兹 :
同步语言Esterel的高级合成。 IWLS公司 2002 : 401-406 2000 【c5】 斯蒂芬·爱德华兹 :
将Esterel编译成序列代码。 数模转换器 2000 : 322-327
1990 – 1999
1999 【c4】 斯蒂芬·爱德华兹 :
将Esterel编译成序列代码。 代码 1999 : 147-151 1998 【c3】 Gitanjali Swamy公司 , 斯蒂芬·爱德华兹 , 罗伯特·K·布雷顿 :
使用设计共性进行有效验证和合成。 超大型积体电路设计 1998 : 542-551 1997 [j1] 斯蒂芬·爱德华兹 , 卢西亚诺·拉瓦尼奥 , 爱德华·A·李 , 阿尔贝托·桑吉奥瓦尼·文森泰利 :
嵌入式系统设计:形式化模型、验证和综合。 程序。 电气与电子工程师协会 85 ( 三 ) : 366-390 ( 1997 ) 1996 【c2】 罗伯特·K·布雷顿 , 加里·D·哈切特 , 阿尔贝托·桑吉奥瓦尼·文森泰利 , 法比奥·萨蒙齐 , 阿德南·阿齐兹 , Szu-Tsung Cheng先生 , 斯蒂芬·爱德华兹 , 苏尼尔·卡特里 , 久保本(Yuji Kukimoto) , 阿贝拉多·帕尔多 , 沙兹·卡迪尔 , 拉杰夫·兰扬 , Shaker Sarvave公司 , 托马斯·希普尔 , Gitanjali Swamy公司 , 蒂齐亚诺别墅 :
VIS:验证和合成系统。 CAV汽车 1996 : 428-432 【c1】 罗伯特·K·布雷顿 , 加里·哈赫特尔 , 阿尔贝托·桑吉奥瓦尼·文森泰利 , 法比奥·萨蒙齐 , 阿德南·阿齐兹 , Szu-Tsung Cheng先生 , 斯蒂芬·爱德华兹 , 苏尼尔·卡特里 , 久保本(Yuji Kukimoto) , 阿贝拉多·帕尔多 , 沙兹·卡迪尔 , 拉杰夫·兰扬 , Shaker Sarwary公司 , 托马斯·R·希佩尔 , Gitanjali Swamy公司 , 蒂齐亚诺别墅 :
相对于。 FMCAD公司 1996 : 248-256