Projecten per jaar
Persoonlijk profiel
Expertise
Mijn onderzoeksinteresses zijn divers. Ik werk aan het formaliseren van eigenschappen van objectgeoriënteerde en object-capability programmeertalen, meer specifiek een eigenschap genaamd effectparametriciteit. Dicht gerelateerd hieraan is mijn werk rond formeel redeneren over capability machines (CPUs met een ingebouwde vorm van low-level object capabilities). Ik ben ook geïnteresseerd in veilige compilatie en full abstraction en het gebruik van logical relations om ze te bewijzen. Verder werk ik aan functioneel en dependently-typed programmeren. Ik heb gewerkt aan een Haskell parsing bibliotheek genaamd grammar-combinators en heb instance arguments toegevoegd aan de programmeertaal/bewijsassistent Agda. In het verleden heb ik gewerkt rond information flow security, en een dynamische techniek om dit af te dwingen genaamd secure multi-execution.
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Dominique Devriese actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Netwerk
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
-
AIIFUND63: Van veilige compilatie tot veilige abstractie: Sterkere fundamenten en nieuwe verbindingen.
15/11/20 → 14/11/25
Project: Fundamenteel
-
FWOTM1028: Parametriciteit in Type Theorie: Taalprimitieven en Toepassingen
Van Muylder, A. & Devriese, D.
1/11/20 → 31/10/24
Project: Fundamenteel
-
FWOAL955: Actors you can trust: een hoog-niveau programmeertaalabstractie voor attestatie op afstand en het veilig compileren ervan
Devriese, D. & Scholliers, C.
1/01/20 → 31/12/23
Project: Fundamenteel
-
-
OZRTTM3: Rigoureuze veiligheidsgaranties voor gecompileerde programmeertalen - BOF Tenure Track mandaat (WE/2018/004)
1/10/18 → 30/09/23
Project: Policy Based
Onderzoeksoutput
-
Semi-automatic Verification of ISA Security Guarantees in the Form of Universal Contracts
Huyghebaert, S., Keuchel, S., Devriese, D. & De Roover, C., 2022, (Unpublished).Onderzoeksoutput: Poster
Bestand8 Downloads (Pure) -
Cap’ ou pas cap’ ? Preuve de programmes pour une machine à capacités en présence de code inconnu
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L., 7 apr 2021, Journées Francophones des Langages Applicatifs 2021. Institut de Recherche en Informatique Fondamentale, 17 blz.Onderzoeksoutput: Conference paper
Open AccessBestand89 Downloads (Pure) -
Efficient and provable local capability revocation using uninitialized capabilities
Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L., 4 jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, blz. 1-30 30 blz., 6.Onderzoeksoutput: Article › peer review
Open AccessBestand9 Citaten (Scopus)118 Downloads (Pure) -
Fully abstract from static to gradual
Jacobs, K., Timany, A. & Devriese, D., 4 jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, blz. 1-30 30 blz., 7.Onderzoeksoutput: Article › peer review
Open AccessBestand5 Citaten (Scopus)78 Downloads (Pure) -
Linear capabilities for fully abstract compilation of separation-logic-verified code
THOMAS, VAN. STRYDONCK., FRANK, PIESSENS. & DOMINIQUE, DEVRIESE., 30 mrt 2021, In: Journal of Functional Programming. 31, e6, blz. 1-55 55 blz.Onderzoeksoutput: Article › peer review
Open AccessBestand3 Citaten (Scopus)136 Downloads (Pure)
Prijzen
-
EAPLS PhD Disseration Award 2017/18
Cockx, J. (Recipient), Devriese, Dominique (Recipient) & Piessens, F. (Recipient), 18 dec 2018
Prijs: Prize (including medals and awards)
Activiteiten
-
Semi-automatic verification of ISA security guarantees in the form of universal contracts
Sander Huyghebaert (Speaker), Steven Keuchel (Contributor) & Dominique Devriese (Contributor)
6 sep 2021Activiteit: Talk or presentation at a workshop/seminar
-
Katamaran: semi-automated verification of ISA specifications
Steven Keuchel (Speaker), Dominique Devriese (Contributor) & Georgy Lukyanov (Contributor)
16 jun 2020Activiteit: Talk or presentation at a workshop/seminar
Bestand -
Georgy Lukyanov
Dominique Devriese (Host)
10 feb 2020 → 16 mrt 2020Activiteit: Hosting an academic visitor
-
Linear Capabilities: an overview
Dominique Devriese (Speaker)
18 mrt 2019Activiteit: Talk at an external academic organisation
-
Matìas Toro
Dominique Devriese (Host)
30 sep 2019 → 18 okt 2019Activiteit: Hosting an academic visitor