Pietro Ferrara

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Relational string abstract domains	2022-07-08	Paper
Twinning automata and regular expressions for string static analysis (available as arXiv preprint)	2021-10-18	Paper
A survey on product operators in abstract interpretation	2021-06-21	Paper
A survey on product operators in abstract interpretation (available as arXiv preprint)	2021-06-21	Paper
Combining symbolic and numerical domains for information leakage analysis Transactions on Computational Science XXXI	2021-05-26	Paper
\textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results	2020-08-05	Paper
The abstract domain of trapezoid step functions Computer Languages, Systems & Structures	2018-05-15	Paper
Using abstract interpretation to correct synchronization faults Lecture Notes in Computer Science	2017-02-21	Paper
A generic framework for heap and value analyses of object-oriented programming languages Theoretical Computer Science	2016-05-02	Paper
Automatic inference of heap properties exploiting value domains Lecture Notes in Computer Science	2015-02-04	Paper
Datacentric semantics for verification of privacy policy compliance by mobile applications Lecture Notes in Computer Science	2015-02-04	Paper
Generic combination of heap and value analyses in abstract interpretation Lecture Notes in Computer Science	2015-01-13	Paper
Automatic inference of access permissions Lecture Notes in Computer Science	2012-06-15	Paper
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model Tests and Proofs	2008-04-24	Paper

Research outcomes over time

This page was built for person: Pietro Ferrara