BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Patrignani:Marco

Contributed to:

SAC 20142014
ESOP 20192019
POPL 20162016
POPL 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.