Isabella Mastroeni

Isabella Mastroeni

Università degli Studi di Verona - Verona / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1828545
University of Verona
person_outline Isabella Mastroeni's MOST POPULAR ARTICLES
1-) Abstract non-interference: Parameterizing non-interference by abstract interpretationR Giacobazzi, I MastroeniACM SIGPLAN Notices 39 (1), 186-197, 20042252004
2-) Non-standard semantics for program slicingR Giacobazzi, I MastroeniHigher-Order and Symbolic Computation 16 (4), 297-339, 2003562003
3-) Data dependencies and program slicing: from syntax to abstract semanticsI Mastroeni, D ZanardiniProceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008502008
4-) Obfuscation by partial evaluation of distorted interpretersR Giacobazzi, ND Jones, I MastroeniProceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012492012
5-) Abstract symbolic automata: Mixed syntactic/semantic similarity analysis of executablesM Dalla Preda, R Giacobazzi, A Lakhotia, I MastroeniProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015432015