索蒂里斯·阿波斯托拉基斯
人员信息
优化列表
2020年–今天
2023 [i2] 徐紫阳 , Yebin Chon先生 , Yian Su(音译) , 谭祖军 , 索蒂里斯·阿波斯托拉基斯 , 西蒙·坎帕诺尼 , 戴维·奥古斯特 :
PROMPT:一个快速可扩展的内存分析框架。 CoRR公司 abs/2311.03263 ( 2023 ) 2022 【c7】 安吉洛·马特尼 , 恩里科·阿梅尼奥·迪亚纳 , Yian Su(音译) , 卢卡斯·格罗斯 , Souradip Ghosh公司 , 索蒂里斯·阿波斯托拉基斯 , 徐紫阳 , 谭祖军 , 伊希塔·查图尔维迪 , 布莱恩寄宿 , 汤米·麦克米奇 , 戴维·奥古斯特 , 西蒙·坎帕诺尼 :
NOELLE提供增强LLVM扩展的功能。 CGO公司 2022 : 179-192 2021 [j1] 娜塔莉·波佩斯库 , 徐紫阳 , 索蒂里斯·阿波斯托拉基斯 , 戴维·奥古斯特 , 阿米特·利维 :
在任何速度下都更安全:针对Rust的自动上下文软件安全增强。 程序。 ACM计划。 语言。 5 ( OOPSLA公司 ) : 1-23 ( 2021 ) [i1] 安吉洛·马特尼 , 恩里科·阿梅尼奥·迪亚纳 , Yian Su(音译) , 卢卡斯·格罗斯 , Souradip Ghosh公司 , Sotiris Apostolakis公司 , 徐紫阳 , 谭祖军 , 石田查图维迪 , 戴维·奥古斯特 , 西蒙·坎帕诺尼 :
NOELLE提供增强LLVM扩展的功能。 CoRR公司 abs/2102.05081 ( 2021 ) 2020 【c6】 索蒂里斯·阿波斯托拉基斯 , 徐紫阳 , 格雷格·陈 , 西蒙·坎帕诺尼 , 戴维·奥古斯特 :
透视:投机性自动并行的合理方法。 ASPLOS公司 2020 : 351-367 【c5】 索蒂里斯·阿波斯托拉基斯 , 徐紫阳 , 谭祖军 , 格雷格·陈 , 西蒙·坎帕诺尼 , 戴维·奥古斯特 :
SCAF:一个推测软件协作依赖性分析框架。 PLDI公司 2020 : 638-654
2010 – 2019
2019 【c4】 张海森先生 , Soumyadeep Ghosh公司 , Jordan Fix公司 , 索蒂里斯·阿波斯托拉基斯 , 斯蒂芬·R·比尔德 , 纳亚纳·纳根德拉(Nayana P.Nagendra) , Taewook哦 , 戴维·奥古斯特 :
基于控制的安全体系结构支持。 ASPLOS公司 2019 : 361-377 2018 【c3】 普拉卡什·普拉布 , 斯蒂芬·R·比尔德 , 索蒂里斯·阿波斯托拉基斯 , 阿亚尔·扎克斯 , 戴维·奥古斯特 :
MemoDyn:利用弱一致性数据结构进行动态并行记忆。 PACT公司 2018 : 15:1-15:12 【c2】 Jordan Fix公司 , 纳亚纳·纳根德拉(Nayana P.Nagendra) , 索蒂里斯·阿波斯托拉基斯 , 张海森先生 , 苏菲·邱 , 戴维·奥古斯特 :
硬件多线程事务。 ASPLOS公司 2018 : 15-29 2016 【c1】 黄嘉璐 , 普拉卡什·普拉布 , 托马斯·贾布林 , Soumyadeep Ghosh公司 , 索蒂里斯·阿波斯托拉基斯 , Jae W.Lee(李在伟) , 戴维·奥古斯特 :
推测性地利用交叉调用并行性。 PACT公司 2016 : 207-221