日本語
 
Help Privacy Policy ポリシー/免責事項
  詳細検索ブラウズ

アイテム詳細

登録内容を編集ファイル形式で保存
一時保存へ追加
 タグ情報を表示リリース履歴を表示詳細要約
  Islaris: Verification of Machine Code Against Authoritative ISA Semantics

Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D., & Sewell, P. (2022). Islaris: Verification of Machine Code Against Authoritative ISA Semantics. In R., Jhala (Ed.), PLDI '22 (pp. 825-840). New York, NY: ACM. doi:10.1145/3519939.3523434.

Item is

 

表示: 全項目 非表示: 全項目

基本情報

表示: 非表示:
アイテムのパーマリンク: https://hdl.handle.net/21.11116/0000-000A-AEF7-C 版のパーマリンク: https://hdl.handle.net/21.11116/0000-000A-AEF8-B
資料種別: 会議論文
LaTeX : Islaris: {V}erification of Machine Code Against Authoritative {ISA} Semantics

ファイル

表示: ファイル
非表示: ファイル
:
3519939.3523434(1).pdf (出版社版), 381KB
表示   保存
ファイルのパーマリンク:
https://hdl.handle.net/21.11116/0000-000A-AEF9-A
ファイル名:
3519939.3523434(1).pdf
説明:
-
OA-Status:
閲覧制限:
公開
MIMEタイプ / チェックサム:
application/pdf / [MD5]
技術的なメタデータ:
表示
著作権日付:
-
著作権情報:
© 2022 Copyright held by the owner/author(s). ACM ISBN 978-1-4503-9265-5/22/06. https://doi.org/10.1145/3519939.3523434
CCライセンス:
http://creativecommons.org/licenses/by/4.0/

関連URL

表示:
非表示:
URL:
https://doi.org/10.5281/zenodo.6417959 (付録資料)
説明:
-
OA-Status:

作成者

表示:
非表示:
 作成者:
Sammler, Michael1, 著者           
Hammond, Angus2, 著者
Lepigre, Rodolphe3, 著者           
Campbell, Brian2, 著者
Pichon-Pharabod, Jean2, 著者
Dreyer, Derek3, 著者           
Garg, Deepak1, 著者           
Sewell, Peter2, 著者
所属:
1Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society, ou_2105289              
2External Organizations, ou_persistent22              
3Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286              

内容説明

表示:

資料詳細

表示:
非表示:
言語: eng - English
 日付: 2022
 出版の状態: オンラインで出版済み
 ページ: -
 出版情報: -
 目次: -
 査読: -
 識別子（DOI, ISBNなど）: BibTex参照ID: Sammler_PLDI2022
DOI: 10.1145/3519939.3523434
 学位: -

関連イベント

表示:
非表示:
イベント名: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
開催地: San Diego, CA, USA
開始日・終了日: 2022-06-13 - 2022-06-17

訴訟

表示:

Project information

表示: 非表示:
Project name : RustBelt
Grant ID : 683289
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)
Project name : ELVER
Grant ID : 789108
Funding program : Horizon 2020 (H2020)
Funding organization : European Commission (EC)

出版物 1

表示:
非表示:
出版物名: PLDI '22
  副タイトル : Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
  省略形 : PLDI 2022
種別: 会議論文集
 著者・編者:
Jhala, Ranjit1, 編集者
Dillig, Işil1, 著者
所属:
1 External Organizations, ou_persistent22            
出版社, 出版地: New York, NY : ACM
ページ: - 巻号: - 通巻号: - 開始・終了ページ: 825 - 840 識別子（ISBN, ISSN, DOIなど）: ISBN: 978-1-4503-9265-5