LCTES 2019:美国亚利桑那州凤凰城
陈建嘉 , 阿维拉尔·施瓦斯塔瓦 :
第20届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议论文集,LCTES 2019,美国亚利桑那州凤凰城,2019年6月23日至23日。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6724-0
主题演讲
内存管理
阿西夫·阿里·汗 , 诺曼·A·林克 , 法扎尔·哈米德 , 杰罗尼莫·卡斯特里隆 :
优化带有赛道内存草稿垫的嵌入式设备的张量收缩。 5-18 Sourav Das公司 , R.Harikrishnan Unnithan先生 , 阿琼·梅农 , 切斯特·雷贝罗 , Kamakoti Veezhinathan公司 :
SHAKTI-MS:RISC-V处理器,用于C语言中的内存安全。 19-32 王春东 , Sudipta Chattopadhyay公司 , 古纳瓦兰·布里哈迪斯警告 :
字节寻址持久内存的崩溃可恢复ARMv8-oriented B+树。 33-44 叶家地 , 梁实 , 陈朔涵 , 薛俊杰(Chun Jason Xue) , 埃德温·兴梅沙(Edwin Xing-Mean Sha) :
1+1>2:嵌入式3D NAND闪存系统的变量软件寿命增强。 45-56 托马斯·海伍德-达兹 , 李纪元(Jiwon Lee) , Jihye Kim先生 , Hyunok噢 :
SA-SPM:一个高效的编译器,用于安全感知的草稿存储器(特邀论文)。 57-69
体系结构和编译器
萨阿德·艾哈迈德 , 纳维德·安瓦尔·巴蒂 , 穆罕默德·哈马德·阿里扎伊 , 朱奈德·哈龙·西迪基 , 卢卡·莫托拉 :
具有差分检查点的高效间歇计算。 70-81 Vanchinathan Venkataramani公司 , 阿迪蒂·库尔卡尼·莫希特 , 图利卡·米特拉 , 李世元(Li-Shiuan Peh) :
SPECTRUM:一种用于LTE基带处理的软件定义的可预测多核架构。 82-96 萨阿德·艾哈迈德 , 阿布·巴卡尔 , 纳维德·安瓦尔·巴蒂 , 穆罕默德·哈马德·阿里扎伊 , 朱奈德·哈龙·西迪基 , 卢卡·莫托拉 :
恒功率×时间的背叛:寻找瞬变功率计算机中缺失的焦耳。 97-109 苏雪松 , 吴慧(音) , 薛晶凌 :
用于集群VLIW处理器的WCET软件超块构造。 110-122 万利昌 , 赵帅(Shuai Zhao) , 冉伟 , 安迪·威林斯(Andy J.Wellings) , 阿兰·伯恩斯 :
从Java到实时Java:具有自动化工具链的模型驱动方法(特邀论文)。 123-134
应用
李欣怡 , 张磊(Lei Zhang) , 沈喜鹏 :
开放物联网系统中基于IA-graph的应用程序间冲突检测。 135-147 希梅西·德·席尔瓦 , 安德鲁·桑托萨 , Nhut-Minho河 , 王翁辉 :
近似值:使用符号执行的路径敏感程序近似值。 148-162 小卢克 , 吴森(Sen Wu) , 尼古拉斯·蒋 , 克里斯托弗·雷 , 菲利普·亚历山大·利维斯 :
自动生成硬件组件知识库。 163-176
标杆管理和正在进行的工作
凯尔·达鲁瓦拉 , 亨卓 , 卡莉·舒尔茨 , 米科·利帕斯蒂 :
BitBench:比特流计算的基准。 177-187 穆斯塔法·穆罕默德 , 蔡海鹏 , 那蒙(Na Meng) :
猴子测试和人类测试之间的实证比较(WIP论文)。 188-192 Yongseung Yu(余永生) , Seokwon Kang公司 , 永骏公园 :
一种基于编译器的GPGPU性能校准方法,使用TLP调制(WIP论文)。 193-197 格雷格·斯蒂特 , 大卫·坎贝尔 :
PANDORA:一个并行化近似发现框架(WIP论文)。 198-202 安德烈亚·马约利 , 卢卡·莫托拉 , 穆罕默德·哈马德·阿里扎伊 , 朱奈德·哈龙·西迪基 :
关于无电池物联网中的间歇性错误(WIP论文)。 203-207 马丁·贝克尔 , 萨马尔吉特·查克拉博蒂 , 拉文德拉·梅塔 , R.文卡特斯 :
由于图书馆调用以及如何减少WCET(在制品纸张),WCET估计不精确。 208-212 S.Bharadwaj Yadavalli公司 , 亚伦·史密斯 :
使用MCTOLL(WIP纸张)将二进制文件提升到LLVM IR。 213-218
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)