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 × Germany
1 × India
1 × Italy
1 × Portugal
1 × Spain
1 × Sweden
1 × USA
3 × France
Collaborated with:
R.Giacobazzi S.K.Debray M.Ceccato P.Tonella E.Visentini A.Lakhotia I.Mastroeni A.Majumdar M.Christodorescu S.Jha S.Giallorenzo I.Lanese J.Mauro M.Gabbrielli K.Coogan G.M.Townsend J.Nagra C.S.Collberg
Talks about:
abstract (5) interpret (3) softwar (3) semant (3) symbol (2) obfusc (2) remot (2) code (2) base (2) choreograph (1)

Person: Mila Dalla Preda

DBLP DBLP: Preda:Mila_Dalla

Contributed to:

POPL 20152015
SLE 20142014
SAS 20102010
SAC 20092009
SAS 20082008
POPL 20072007
SCAM 20072007
ICALP 20052005
SEFM 20052005
SAS 20042004

Wrote 10 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.
SLE-2014-PredaGLMG #adaptation #distributed #framework #named
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications (MDP, SG, IL, JM, MG), pp. 161–170.
SAS-2010-PredaGDCT #abstract interpretation #modelling #morphism
Modelling Metamorphism by Abstract Interpretation (MDP, RG, SKD, KC, GMT), pp. 218–235.
SAC-2009-CeccatoTPM #orthogonal
Remote software protection by orthogonal client replacement (MC, PT, MDP, AM), pp. 448–455.
Hiding Software Watermarks in Loop Structures (MDP, RG, EV), pp. 174–188.
POPL-2007-PredaCJD #approach #detection #semantics
A semantics-based approach to malware detection (MDP, MC, SJ, SKD), pp. 377–388.
SCAM-2007-CeccatoPNCT #slicing
Barrier Slicing for Remote Software Trusting (MC, MDP, JN, CSC, PT), pp. 27–36.
ICALP-2005-PredaG #abstract interpretation #obfuscation #semantics
Semantic-Based Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 1325–1336.
SEFM-2005-PredaG #abstract interpretation #obfuscation
Control Code Obfuscation by Abstract Interpretation (MDP, RG), pp. 301–310.
SAS-2004-Preda #evaluation #refinement
Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.

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.