Browsing by author "Patrignani, Marco"
Now showing items 1-3 of 3
-
Modular, fully-abstract compilation by approximate back-translation
Devriese, Dominique; Patrignani, Marco; Piessens, Frank; Keuchel, Steven (2017) -
Parametricity versus the universal type
Devriese, Dominique; Patrignani, Marco; Piessens, Frank (2018) -
Towards automatic compartmentalization of C programs on capability machines
Tsampas, Stylianos; El-Korashy, Akram; Patrignani, Marco; Devriese, Dominique; Garg, Deepak; Piessens, Frank (2017)