文献
J-GLOBAL ID:202002259613102330
整理番号:20A2623251
推測不変性(InvarSpec):プログラム解析によるより速い安全実行【JST・京大機械翻訳】
Speculation Invariance (InvarSpec): Faster Safe Execution Through Program Analysis
著者 (8件):
Zhao Zirui Neil
(University of Illinois,Urbana-Champaign)
,
Ji Houxiang
(University of Illinois,Urbana-Champaign)
,
Yan Mengjia
(Massachusetts Institute of Technology)
,
Yu Jiyong
(University of Illinois,Urbana-Champaign)
,
Fletcher Christopher W.
(University of Illinois,Urbana-Champaign)
,
Morrison Adam
(Tel Aviv University)
,
Marinov Darko
(University of Illinois,Urbana-Champaign)
,
Torrellas Josep
(University of Illinois,Urbana-Champaign)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2020
号:
MICRO
ページ:
1138-1152
発行年:
2020年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)