Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
Infrastructuur
Contact
Research Explorer
Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.
Project
Actors you can trust: een hoog-niveau programmeertaalabstractie voor attestatie op afstand en het veilig compileren ervan
Informatie
Projectteam
Organisaties
Output en outcomes
Publicaties
Latch : enabling large-scale automated testing on constrained systems
Tom Lauwaerts
Stefan Marr
Christophe Scholliers
A1
Artikel in een tijdschrift
in
SCIENCE OF COMPUTER PROGRAMMING
2024
Gaiwan : a size-polymorphic typesystem for GPU programs
Robbert Gurdeep Singh
Christophe Scholliers
A1
Artikel in een tijdschrift
in
SCIENCE OF COMPUTER PROGRAMMING
2023