预测2023: 意大利博洛尼亚
安德烈亚·巴托里尼 , 克里斯蒂安·F·D·里特维尔德 , 凯瑟琳·舒曼 , 莫雷拉 :
第20届ACM国际计算前沿会议记录,2023年5月9日至11日,意大利博洛尼亚,CF 2023。 ACM公司 2023
主题演讲摘要
马西米利亚诺·迪文特拉 :
MemComputing:基础与应用。 1 托马斯·路德威格 :
计算气候科学:少摩尔,多大脑。 2
全文: 应用
通州 , 何昭 , 念珠神 , 于斌 , 李晓峰 , 徐金林 :
分形分类账:一种新的具有图形链结构的可扩展区块链方法。 3-11 里斯·内夫 , 马可·米努托利 , 安东尼诺·图米奥 , 米歇拉·贝基 :
不规则应用程序的高级综合:影响最大化的案例研究。 12-22 马东良 , 宋王 , 陈世杰 , 刘一潘 , 王彦如(Yanru Wang) , 吴亚东 :
中国城市二氧化碳排放的视觉探索。 23-32
全文: 图形分析的体系结构
Bin Zhang(张斌) , 杜海涛 , 宋晨 , 易康 :
GGPA:具有灵活执行范式的通用图形处理体系结构。 33-41 赵晨峰 , 罗杰·张伯伦 , 张宣 :
SuperCut:用于近内存图形处理的通信感知分区。 42-51 周阳杰 , 宋耀旭 , 镜文冷 , 刘子汉 , 崔伟豪 , 张振东 , 聪国 , 全晨 , 李丽 , 郭敏义 :
AdaptGear:通过GPU上的自适应子图级内核加速GNN训练。 52-62
全文: 机器学习体系结构
穆罕默德·瓦卡尔·阿资哈尔 , 斯塔夫鲁拉·佐佐拉 , 佩德罗·特拉科索 :
ARADA:提高深度学习加速器能效的自适应资源分配。 63-72 Gianluca Mittone公司 , 尼科尔·托奇 , 罗伯特·伯克 , Iacopo Colonnelli公司 , Doriana Medic公司 , 安德烈亚·巴托里尼 , 罗伯托·埃斯波西托 , 伊曼纽尔·帕里西 , 弗朗西斯科·贝内文蒂 , 米尔科·波拉托 , 马西莫·托夸蒂 , 卢卡·贝尼尼 , 马尔科·阿尔迪努奇 :
使用新兴RISC-V系统进行分散式机器学习的实验。 73-83 米尔科·曼尼诺 , 比亚吉奥·佩切里洛 , 安德烈亚·蒙代利 , 桑德罗·巴托里尼 :
使用轻量级地址转换支持改善卷积加速器的能量和性能。 84-90
全文: 代码转换和分析
范晓康 , 司凡龙 , Chun Huang先生 , 杨灿群 , Fa Li公司 :
通过识别无害类型铸件来加速类型混淆检测。 91-100 穆斯塔法·埃赫巴利·扎奇 , 米歇尔·贝奇 :
通过管道提高FPGA上OpenCL代码效率的代码转换。 101-111
全文: 深度学习
广东路 , 陈润哲 , 王亚凯 , 周阳杰 , Rui Zhang(张瑞) , 郑虎 , 苗燕明 , 蔡志芳 , 李丽 , 镜文冷 , 郭敏义 :
DistSim:一个大规模混合分布式DNN训练的性能模型。 112-122 尼基尔·普拉塔普·加纳特 , 史蒂夫·威尔顿 :
T-RecX:具有早期eXit的微资源高效卷积神经网络。 123-133 恩里科·拉索 , 毛里齐奥·帕莱斯 , 朱塞佩·阿西娅 , 大卫·帕蒂 , Salvatore Monteleone公司 , 文森佐·卡塔尼亚 :
通过整数线性规划实现内存DNN算法-硬件映射。 134-143
全文: 性能
福斯托·弗雷斯卡 , 文森佐·古利萨诺 , 加布里埃尔·门卡利 , 迪米特里斯·帕利沃斯·吉安纳斯 , 马西莫·托夸蒂 :
使用拥塞感知调度和实时Linux线程加速流处理查询。 144-153 亚当·黑斯廷斯 , 莉迪亚·B·奇尔顿 , 西蒙·塞图马达万 :
性能对用户来说值多少? 154-163 Sacheendra Talluri公司 , 尼古拉斯·赫布斯特 , 克里斯蒂娜·拉巴德 , 阿尼梅什·特里维迪 , 亚历山德鲁·伊索普 :
支持缓存的无服务器计算中基于哈希的任务放置算法的跟踪驱动性能评估。 164-175
全文: 量子计算
Shamminij Aktar公司 , 阿卜杜勒·哈米德·A·巴达维 , 安德烈亚斯·巴兹基 , 斯蒂芬·艾登本兹 :
Dicke和GHZ状态保真度的可扩展实验边界。 176-184
短文: 应用
刘一辉 , 小松和彦 , 熊木正彦 , 佐藤正之 , 小林弘一(Hiroaki Kobayashi) :
多台退火机海啸疏散路线规划的性能评估。 185-188
短文: 磁粉探伤
短文: 量子计算
卡洛·马斯特罗亚尼 , 路易吉·斯卡切罗 , 安德烈·芬奇 :
云/边缘体系结构的量子计算管理。 193-196 Supreeth Mysore Venkatesh公司 , 安东尼奥·马卡卢索 , 马蒂亚斯·克劳什 :
QuACS:诱导子图博弈中联盟结构生成的变分量子算法。 197-200 吉尔伯特·内泽尔 , 斯特凡诺·马基迪斯 :
QHDL:一种用于量子计算的低级电路描述语言。 201-204
海报纸
罗伯托·洛科 , 吉安卢卡·巴勒莫 :
Legio故障恢复框架:设计和原理。 205-206 安德烈亚·波塔卢里 , 科拉多·德西奥 , 卢卡·斯特彭 :
软处理器实时操作系统抗多位置乱的鲁棒性评估。 207-208 乔瓦尼·戈齐 , 米歇尔·菲奥里托 , 塞雷娜·柯泽尔 , 法布里奇奥·费兰迪 :
OpenMP运行时的高级合成,以改进并行加速器的生成。 209-210 纪尧姆·迪厄 , Jean-Sébastien Lerat女士 , 塞缪尔·克莱默 :
关系型宽列存储:一种新的大数据范式。 211-212 科拉多·德西奥 , 卢卡·斯特彭 , 萨拉·阿齐米 :
基于GPGPU的HPC系统微结构故障可靠性分析。 213-214 穆罕默德·阿默尔·索卢基 , 雅各布·西尼 , 马西莫·维奥兰特 :
符合ISO 26262的选择性控制流量检查方法的新方法。 215-216 努萨·齐达里奇 , 马克·D·阿加德 :
塔台现场支持数据路径合成。 217-218 稻叶拓美 , 小野高寿 , 井上晃二 , 川上佐治 :
用光电混合电路评估浮点乘法器。 219 朱利安·谢普 , 阿米尔·劳菲 , 迈克尔·奥特 , 约瑟夫·韦登多夫 :
HPC的相位感知系统侧采样。 220-221
特别会议邀请的谈话文件: 空间计算机结构特别会议
迈克尔·佩特里 , 帕特里克·盖斯特 , 安德烈亚斯·科赫 , 马克斯·吉利奥内 , 马丁·沃纳 :
加速了空间领域FPGA的深度学习推理。 222-228 安德烈亚斯·科赫 , 迈克尔·佩特里 , 马克斯·吉利奥内 , 阿米尔·劳菲 , 加布里埃尔·达克斯 , 吉安卢卡·富拉诺 , 马丁·沃纳 , 卡斯滕氏Trinitis , 马丁·兰格 :
机器学习应用程序基准。 229-235 费德里科·雷根扎尼 :
为基于COTS的关键航天器系统启用软件技术。 236-242 塞雷娜·柯泽尔 , 米歇尔·菲奥里托 , 帕特里夏·洛佩斯·库瓦 , 蒂亚戈·豪尔赫 , 塔纳西斯·齐奥德拉斯 , 法布里奇奥·费兰迪 :
探索航空航天应用中从Simulink模型到FPGA的综合方法。 243-249 塞巴斯蒂安·吕克勒 , 马丁·洛塞卡姆 :
通过分布式遥测和控制提高立方体卫星的灵活性和可靠性。 250-256 卢卡·斯特彭 , 萨拉·阿齐米 , 科拉多·德西奥 :
统一分析和缓解航天FPGA辐射影响的框架。 257-262
特别会议邀请的谈话文件: 大数据分析-BigDAW’23
特别会议邀请的谈话文件: 欧洲项目特别会议
朱利安·马丁·昆克尔 , 克里斯蒂安·博姆 , 乔纳森·德克尔 , 法布里齐奥·马古利亚尼 , 迪尔克·普莱特 , 巴斯蒂安·科勒 , 卡提·西瓦林加姆 , 萨布里·普拉纳 , 亚历山大·尼科洛夫 , 穆吉达特·索伊蒂尔克 , 克里斯蒂安·拉卡 , 安德里亚·巴托里尼 , 阿德里安·泰特 , 贝凯·亚曼 :
决策:设备-边缘云智能协作框架。 266-271 吉安卢卡·巴勒莫 , Gianmarco Accordi公司 , 戴维德·加迪奥利 , 伊曼纽尔·维塔利 , 克里斯蒂娜·西尔瓦诺 , 布鲁诺·吉尼达尼 , 达尼洛·阿达格纳 , 安德烈亚·罗萨里奥·贝卡里 , 多梅尼科·博纳尼 , 卡米娜·塔拉里科 , 菲利波·隆吉尼 , 简·马丁诺维奇 , 保罗·席尔瓦 , 艾达·博姆 , 雅库布·贝拉内克 , 扬·克雷内克 , 布拉尼斯拉夫·扬西克 , 比亚吉奥·科森扎 , 路易吉·克里斯奇 , 彼得·托曼 , 菲利普·萨尔兹曼 , 托马斯·法林格 , 莱拉·亚历山大 , 杰拉尔多·陶列洛 , 托尔斯滕·施威德 , 贾纳尼·杜拉伊拉(Janani Durairaj) , 安德鲁·爱默生 , 费德里科·费卡雷利 , 塞巴斯蒂安·温贝穆勒 , 林达尔 , 丹尼尔·格雷戈里 , 伊曼纽尔·萨纳 , 西尔瓦诺·科尔蒂 , 菲利普·格施万特纳 :
Exascale可调便携式极端规模药物发现平台:LIGATE方法。 272-278 哈维尔·加西亚·布拉斯 , 杰苏斯·卡雷特罗 :
Exascale极端数据处理编程模型。 279-284 杰苏斯·卡雷特罗 , 哈维尔·加西亚·布拉斯 , 马尔科·阿尔迪努奇 , Jean-Baptiste贝斯纳德 , Jean-Thomas Acquaviva女士 , 安德烈·布林克曼 , 马克·安德雷·维夫 , 伊曼纽尔·詹诺 , 阿尔贝托·米兰达 , 拉蒙·努 , 莫里斯·里德尔 , 马西莫·托夸蒂 , 菲利克斯·沃尔夫 :
适用于Exascale的自适应多层智能数据管理器。 285-290 凯文·米卡 , 雷内·格里塞尔 , 尼尔斯·库查 , 弗洛里安·波尔曼 , 专家凯泽尔 , 伦纳特·提格斯 , 延斯·哈格梅耶 , 佩德罗·特拉科索 , 穆罕默德·瓦哈尔·阿扎尔 , 法里德·卡拉里亚 , 斯塔夫鲁拉·祖祖拉 , 贾梅斯·梅内特里 , 马塞洛·帕辛 , 帕斯卡·费尔伯 , 卡琳娜·马库斯 , 奥利弗·布伦纳 , 欧罗夫·埃里克森 , 汉斯·萨洛蒙森 , 丹尼尔·厄德曼 , 安德烈亚斯·阿斯克 , 安东尼奥·卡西米罗 , 艾莉森·贝萨尼 , 蒂亚戈·卡瓦略 , 卡罗尔·古加拉 , 彼得·齐尔霍夫 , 格拉泽戈兹·拉托辛斯基 , 马可·塔西梅耶 , 马里奥·波尔曼 , 汉斯·马丁·海恩 , 埃里克·克诺斯 , 毛宇飞 , 弗兰兹·梅尔霍夫 :
VEDLIoT:下一代加速的AIoT系统和应用。 291-296 马库斯·霍尔泽 , 加布里埃尔·斯塔夫巴赫 , 伊兰·罗基 , 贾耶什·巴德维克 , 安德烈亚斯·赫滕 , 拉迪姆·瓦夫里克 , Ondrej Vysocky公司 , 卢博米尔·里哈 , 罗曼·库达德 , 乌尔里希·吕德 :
格子Boltzmann方法的可缩放流动模拟。 297-303 迪米特里斯·西奥多罗普洛斯 , 乔戈斯·佩克里迪斯 , 米利亚迪斯Panagiotis Miliadis , 克洛伊·阿尔维特 , 姆帕科斯泛神经炎 , 迪奥尼修斯·普内夫马提卡托斯 , 帕夫洛斯·马拉科纳基斯 , 康斯坦蒂诺斯·乔治普洛斯 , 伊亚科沃斯·马夫罗伊迪斯 , 吉诺·佩尔纳 , 玛丽莎·扎诺蒂 , 乔瓦尼·伊索顿 , 马克斯·恩格伦 , 阿格洛斯·伊阿诺 , 伊奥尼斯·帕帕夫斯塔丘 , 阿尔伯特·恩乔罗杰·卡希拉(Albert Njoroge Kahira) , 安德烈亚斯·赫滕 :
异构HPC系统工业应用绘图的早期结果:OPTIMA项目。 304-308 卢克·阿尔瓦雷斯 , 亚伯拉罕·鲁伊斯 , 阿尔诺·比卡斯·索尔德维拉 , 帕维尔·库罗多夫 , 阿尔贝托·冈萨雷斯 , 哈马西卡·马哈尔 , 诺埃·布斯塔曼特 , 阿尔伯特·阿奎莱拉 , 弗朗西斯科·米内尔维尼 , 哈维尔·萨拉梅罗 , 奥斯卡·帕洛玛 , 瓦西里斯·帕帕夫斯塔丘 , 安东尼斯·普萨塔基斯 , 尼古拉斯·迪穆 , 米查利斯·贾乌塔斯 , 伊索纳斯·马斯托拉基斯 , 乔治·伊罗尼马基斯 , 乔治·米歇尔·马佐拉尼斯 , 瓦西里斯繁荣 , 尼克·科斯菲迪斯 , 马诺利斯·马拉扎基斯 , 巴维西亚·戈尔 , Madhavan Manivannan公司 , 阿赫森·埃贾兹 , Strikos泛腺炎 , 马特奥·瓦兹奎斯 , Ioannis Sourdis公司 , 佩德罗·特拉科索 , 佩尔·斯坦斯特罗姆 , 延斯·哈格梅耶 , 伦纳特·提格斯 , 尼尔斯·库查 , Jean-Marc菲利普 , 伊奥尼斯·帕帕夫斯塔丘 :
电子处理器:欧洲、可扩展、节能、超大规模、可扩展、处理器生态系统。 309-314
特别会议邀请的谈话文件: 安全计算机体系结构特别会议
拉维·萨希塔 , 维德维亚斯·香博格 , 安德鲁·布雷斯蒂克 , 动副秘书长卡尔 , 阿蒂什·帕特拉 , 塞缪尔·奥尔蒂斯 , 迪伦·里德 , 拉杰内什·坎瓦尔 :
CoVE:在RISC-V平台上实现机密计算。 315-321 莫建桥 , 卡提克·加里梅拉 , 内加·奈达 , 奥斯汀·埃贝尔 , 布兰登·里根 :
朝向快速和可扩展的私有推断。 322-328 莫雷拉 , 杰西卡·H·曾 , 库马尔 , 伊克纳斯·伊卡纳达姆 , 乔芬·詹 , 普拉塔普·C·帕特奈克 , 吉安弗兰科·比拉尔迪 , 大卫·埃德尔森 , 亨利·M·图福 :
FlexSEE:用于保护数据使用的灵活安全执行环境。 329-336
联合研讨会论文: 2023年第二届年度编译器前沿研讨会
大卫·巴罗菲奥 , 费德里科·雷根扎尼 :
编译器为嵌入式操作系统注入SIHFT。 337-343 米歇尔·斯卡塔里 , 尼古拉·卡米卢奇 , 丹尼尔·卡塔内奥 , 乔瓦尼·阿戈斯塔 , 弗朗西斯科·卡塞拉 , 斯特凡诺·切鲁宾 , 费德里科·特拉尼奥 :
聪明的DAE:大规模数字孪生的编译器优化。 344-350 约翰·D·莱德尔 :
应用程序级架构设计。 351
联合研讨会论文: 2023年物联网中的恶意软件和硬件
沃特·海勒曼斯 , Masoom Rabbani先生 , 巴特·普雷尼尔 , 内尔·曼滕斯 :
是的,我们可以!: 致力于为受传统限制的控制器局域网带来安全性。 回顾。 352-357 弗朗切斯科·拉托 , 路易吉·拉夫夫 , 弗朗西丝卡·帕伦博 :
用于网络物理系统的多线程AES加速器。 358-363 天香河 , Chansu Han公司 , 田中明 , Takeshi Takahashi高桥 , 竹内俊一 :
正在进行的工作:构建系统发生树的可缩放方法的新种子集选择方法。 364-365 乔治·塔索普洛斯 , 查里斯·迪莫普洛斯 , 阿波斯托洛斯·福奈利斯 , 雷蒙德·赵 , 阿明·萨卡德 , 罗恩·斯坦菲尔德 :
资源节约型嵌入式设备的后量子TLS 1.3的能耗评估。 366-374
联合研讨会论文: 第一届开源硬件研讨会(OSHW23)
大卫·马拉森 , 劳尔·穆里略 , 阿尔贝托·德尔·巴里奥 , 吉列尔莫肉毒杆菌 , 路易斯·皮纳尔 , 曼努埃尔·普列托·马蒂亚斯 :
PERCIVAL:在CVA6 RISC-V内核中部署姿态和奎尔算法。 375-376 塞萨尔·福盖特·托托列罗 :
HPDcache:用于RISC-V内核的开源高性能一级数据缓存。 377-378 帕斯奎尔·戴维德·斯齐亚沃尼 , 西蒙·马切蒂 , 米盖尔·佩翁·奎洛斯 , 就是·糜烂大 , 贝诺·W·登金格 , 托马斯·克里斯托夫·穆勒 , 鲁本·罗德里格斯 , 萨维里奥·纳斯图齐奥 , 大卫·阿提恩扎·阿隆索 :
X-HEEP:一种开源、可配置和可扩展的RISC-V微控制器。 379-380 亚历山德拉·多尔梅塔 , 马蒂亚·米里加尔迪 , 毛里齐奥·马提纳 , 吉多·马塞拉 :
在CRYSTALS-Kyber的RISC-V上实施和集成Keccak加速器。 381-382 克里斯蒂安·蒂雷利 , 洛伦佐·费雷蒂 , 劳拉·波齐 :
SAT-MapIt:一个用于粗粒度可重构体系结构的开源模块调度映射器。 383-384 穆罕默德·伊贾兹 , 法蒂玛·萨利姆 , 乌默尔·沙希德 , 萨阿德·瓦希德 , Jean-Roch库隆 :
CVA6 RISC-V上位操作扩展的实现与性能评估。 385-386 约翰内斯·盖尔 , 丹尼尔·米勒-格里奇内德 :
vRTLmod:一种基于LLVM的开源工具,用于在Verilator RTL仿真中启用故障注入。 387-388 布鲁诺·萨 , 弗朗西斯科·马奎斯 , 洛曼雷 , 何塞·马丁斯 , 桑德罗·平托 :
整体RISC-V虚拟化:基于CVA6的SoC。 389-390 鲁宾·罗德里格斯·阿尔瓦雷斯 , Benoît W.登金格 , 胡安·萨普利扎 , 何塞·安吉尔·米兰达·卡莱罗 , 乔瓦尼·安萨洛尼 , 大卫·阿提恩扎·阿隆索 :
一种用于边缘计算的开放硬件粗训练可重构阵列。 391-392 莫蒂扎·雷扎利普尔(Morteza Rezaalipour) , 洛伦佐·费雷蒂 , 伊拉里亚·斯卡拉波托洛 , 乔治·A·康斯坦丁(George A.Constantinides) , 劳拉·波齐 :
ErrorEval:用于近似计算的开放源代码最坏情况错误评估框架。 393-394