類似資料

• Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
  著者:: Shetty, Manish, 等
  出版事項: (2024)
• SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
  著者:: Godbole, Adwait, 等
  出版事項: (2024)
• Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis
  著者:: Godbole, Adwait, 等
  出版事項: (2025)
• ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
  著者:: Vin, Eric, 等
  出版事項: (2025)
• Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
  著者:: Mora, Federico, 等
  出版事項: (2024)