Ubuntuの背後にあるCanonicalは、CコードをメモリセーフなRustに自動的に変換することを目的としたブリストル大学で3年間のPhDプロジェクトに資金を供給しています。
プロジェクト
研究は、英国の研究とイノベーションのマッチング支援で、ブリストルでMeng Wang教授が主導しています。 モチベーションはメモリセーフティです。Rustは、メモリセーフティ欠陥のクラス全体を排除しながら、パフォーマンスとリソースを適切に制御するシステムプログラマーを提供します。特にセキュリティ境界で価値があります。
「neurosymbolic」アプローチ
単独で言語モデルに依存するよりも、プロジェクトは、プログラム分析、テスト、および正式な方法で機械学習を組み合わせる – 4つのコンポーネントに分割:スケジューリング、翻訳、検証、およびデバッグ/修復。 産業ケースの研究はあります AppArmorについて そして、 スナップコンパス, 2 つのセキュリティクリティカル Ubuntu コンポーネント. それらは明示的に試験例であり、計画された交換ではありません。 2026年以降は作業開始予定。
ソース: キヤノン/Ubuntuディスコースお問い合わせ
