Jesper Bengtson

Søgeresultater

• 2026

  Rogers: Writing Verified Programs for Computational Storage

  Clausen, M. T., 2026, 148 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Fil

  • Region-based Memory Management 100%
  • Movement Performance 100%
  • Trustworthy Service Provider 100%
  • Program Application 100%
  • Computational Service 100%
• 2024

  A Mechanisation of Multiparty Session Types

  Tirore, D., 2024, IT-Universitetet i København. 160 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  • Multiparty Session Types 100%
  • Mechanization 100%
  • Session Types 100%
  • Type Systems 100%
  • Distributed System 66%
• 2021

  Sessions and Separation

  Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 s.

  Publikation: Afhandlinger › Ph.d.-afhandling

  Åben adgang

  Fil

  • Session Types 100%
  • Type Systems 100%
  • Separation Logic 55%
  • Concurrency 50%
  • Iris 33%