[PDF][PDF] ProtoGen-MLIR V2: An Optimizing Compiler for Cache Coherence Protocols
P Vesely - project-archive.inf.ed.ac.uk
This report presents ProtoGen-MLIR v2, an optimizing compiler for cache coherence
protocols using MLIR compiler infrastructure. The compiler provides the user with a Domain …
protocols using MLIR compiler infrastructure. The compiler provides the user with a Domain …
[PDF][PDF] C++-kielen muistinhallintaongelmien ratkaiseminen Rustilla
U Blinnikka - 2021 - trepo.tuni.fi
Nykyään C++ on yksi suosituimmista ohjelmointikielistä. C++ on kehitetty 1980-luvulla, joten
ohjelmointikielellä on taakkanaan huomattava määrä teknistä velkaa, minkä takia sen …
ohjelmointikielellä on taakkanaan huomattava määrä teknistä velkaa, minkä takia sen …
[PDF][PDF] Мини-генераторы энергии
АВ Зуева, Ю Карпова, ВА Киреева… - ББК: 72.4: 20 …, 2022 - lib-repository.mephi.ru
Аннотация Целью нашего проекта является создание мини-генераторов энергии,
способных выступать как игрушки-антистресс. В ходе работы было проведено …
способных выступать как игрушки-антистресс. В ходе работы было проведено …
Cryptographic enforcement of borrow checking
M LeMay, LIU Peiming, DM Durham… - US Patent …, 2024 - Google Patents
The technology includes allocating an object in a memory and setting an ownership
identifier (ID) in the allocated object, the allocated object being associated with a first …
identifier (ID) in the allocated object, the allocated object being associated with a first …
[PDF][PDF] Verifying Safe Clients of Unsafe Code and Trait Implementations in Rust
J Beckmann - 2020 - ethz.ch
Rust [Williams and Rust Team, 2020] is a relatively new programming language with a type
system and ownership model which guarantees memory and thread safety. Rust has …
system and ownership model which guarantees memory and thread safety. Rust has …
[PDF][PDF] Guarantees by Construction
J Jacobs - Nada, 2016 - julesjacobs.com
guarantees by construction Page 1 guarantees by construction Types for deadlock and leak
free concurrency • separation logics for verified message passing • general and efficient …
free concurrency • separation logics for verified message passing • general and efficient …
[PDF][PDF] Thesis Supervisor: Naoki Kobayashi 小林直樹
松下祐介 - 2021 - kb.is.su-tokyo.ac.jp
Rust is a systems programming language that gives strong static guarantees on properties
like memory and thread safety and has been widely used in recent years for high reliability …
like memory and thread safety and has been widely used in recent years for high reliability …
メモリ破損脆弱性を利用した攻撃に対するRust を用いた対策手法
千脇貴之， 橋本正樹 - 研究報告コンピュータセキュリティ(CSEC), 2021 - ipsj.ixsq.nii.ac.jp
論文抄録 現在, 主要なシステムプログラムは, C 言語や C++ 言語を用いて作成されている. C
言語や C++ 言語のような低レベル言語では, セキュリティの問題として古くからメモリ破損脆弱性が …
言語や C++ 言語のような低レベル言語では, セキュリティの問題として古くからメモリ破損脆弱性が …