BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × India
1 × Italy
1 × Poland
1 × Spain
2 × United Kingdom
5 × USA
Collaborated with:
R.Giacobazzi D.Zanardini S.Hunt S.Buro N.D.Jones M.D.Preda A.Lakhotia
Talks about:
abstract (11) interpret (6) interfer (4) semant (4) non (4) model (3) obfusc (2) domain (2) complement (1) transform (1)

Person: Isabella Mastroeni

DBLP DBLP: Mastroeni:Isabella

Facilitated 1 volumes:

VMCAI 2013Ed

Contributed to:

POPL 20152015
PEPM 20122012
SAS 20122012
PEPM 20082008
SAS 20082008
VMCAI 20082008
ESOP 20052005
SAS 20052005
CSL 20042004
POPL 20042004
VMCAI 20032003
PEPM 20022002
PPDP 20002000
ESOP 20192019

Wrote 14 papers:

POPL-2015-PredaGLM #analysis #automaton #bytecode #semantics #similarity
Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables (MDP, RG, AL, IM), pp. 329–341.
PEPM-2012-GiacobazziJM #obfuscation #partial evaluation
Obfuscation by partial evaluation of distorted interpreters (RG, NDJ, IM), pp. 63–72.
SAS-2012-GiacobazziM #abstract interpretation #modelling #obfuscation
Making Abstract Interpretation Incomplete: Modeling the Potency of Obfuscation (RG, IM), pp. 129–145.
PEPM-2008-MastroeniZ #dependence #semantics #slicing #syntax
Data dependencies and program slicing: from syntax to abstract semantics (IM, DZ), pp. 125–134.
SAS-2008-GiacobazziM #abstract interpretation
Transforming Abstract Interpretations by Abstract Interpretation (RG, IM), pp. 1–17.
VMCAI-2008-Mastroeni #bisimulation
Deriving Bisimulations by Simplifying Partitions (IM), pp. 157–171.
ESOP-2005-GiacobazziM #abstract interpretation #classification #modelling
Adjoining Declassification and Attack Models by Abstract Interpretation (RG, IM), pp. 295–310.
The PER Model of Abstract Non-interference (SH, IM), pp. 171–185.
CSL-2004-GiacobazziM #proving
Proving Abstract Non-interference (RG, IM), pp. 280–294.
POPL-2004-GiacobazziM #abstract interpretation
Abstract non-interference: parameterizing non-interference by abstract interpretation (RG, IM), pp. 186–197.
VMCAI-2003-GiacobazziM #abstraction
Domain Compression for Complete Abstractions (RG, IM), pp. 146–160.
PEPM-2002-GiacobazziM #composition #semantics
Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.
PPDP-2000-GiacobazziM #semantics #symmetry
A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
ESOP-2019-BuroM #multi #on the
On the Multi-Language Construction (SB, IM), pp. 293–321.

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.