MPI-SWS Saarbrücken Germany

  1. Home
  2. search page
  3. affiliation

MPI-SWS Saarbrücken Germany

국가: Germany
주요 연구 분야: Verification
주요 키워드: #aliasing #powerful #necessary
주요 저자:
#Derek Dreyer #Aïna Linn Georges #Benjamin Peters #Laila Elbeheiry #Leo White

📄 기관 상세정보

출판수4
총 인용수4
평균 인용수1.00
저자 수21
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (4건)

RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
저자: Derek Dreyer , Laila Elbeheiry , Kimaya Bedarkar , Michael Sammler , Lennard Gäher , Björn B. Brandenburg , Deepak Garg
키워드: #adapting #quantum #new #scheduler #schedulers
파트: Verification | 연도: 2025
Data Race Freedom à la Mode
저자: Derek Dreyer , Aïna Linn Georges , Benjamin Peters , Laila Elbeheiry , Leo White , Stephen Dolan , Richard A. Eisenberg , Chris Casinghino , François Pottier
키워드: #affinity #threaded #aliasing #portability #capsules
파트: Verification | 연도: 2025
Tree Borrows
저자: Neven Villani , Johannes Hostert , Derek Dreyer , Ralf Jung
키워드: #powerful #necessary #rust #programmer #aliasing
파트: Verification | 연도: 2025
Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly
저자: Aïna Linn Georges , Maxime Legoupil , June Rousseau , Jean Pichon-Pharabod , Lars Birkedal
키워드: #logic #webassembly #mechanisation #linear #grained
파트: Verification | 연도: 2024