Travelled to:
1 × South Korea
Collaborated with:
D.Devriese F.Piessens D.Clarke D.G.0001
Talks about:
abstract (2) compil (2) fulli (2) translat (1) parametr (1) approxim (1) univers (1) versus (1) semant (1) robust (1)
Person: Marco Patrignani
DBLP: Patrignani:Marco
Contributed to:
Wrote 4 papers:
- SAC-2014-PatrignaniC #low level #semantics
- Fully abstract trace semantics for low-level isolation mechanisms (MP, DC), pp. 1562–1569.
- ESOP-2019-PatrignaniG #compilation #robust
- Robustly Safe Compilation (MP, DG0), pp. 469–498.
- POPL-2016-DevriesePP #approximate #compilation
- Fully-abstract compilation by approximate back-translation (DD, MP, FP), pp. 164–177.
- POPL-2018-DevriesePP #parametricity
- Parametricity versus the universal type (DD, MP, FP), p. 23.