EDBT 2026 Demo / reviewers in the wild / expert

Martina Olliaro

dblp:231/5303 · DBLP profile ↗
← Back
8ranked-venue papers
1as first author
5since 2021 · last 2023
0000-0003-3712-5301ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 3 · 1 since 2021Theory of computation · 2 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 87% Programming languages and type systems · 13%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
static analysis		 0.512021
Completeness of string analysis for dynamic languages · Inf. Comput. 2021
Program analysis › data flow analysis › value analysis
string analysis		 0.512021
Completeness of string analysis for dynamic languages · Inf. Comput. 2021
Programming languages and type systems
dynamic languages		 0.112021
Completeness of string analysis for dynamic languages · Inf. Comput. 2021

Methods — techniques the papers use, named apart from their topics

completeness analysis · 0.5
YearPublicationVenuePosition
2023 Relational data watermarking resilience to brute force attacks in untrusted environments
Maikel L. Pérez Gort, Martina Olliaro, Agostino Cortesi
 Expert Syst. Appl.2
2022 Relational String Abstract Domains
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara 0001
 VMCAI2
2022 Empirical analysis of the impact of queries on watermarked relational databases
Martina Olliaro, Maikel L. Pérez Gort, Agostino Cortesi
 Expert Syst. Appl.1
2021 Semantic-driven watermarking of relational textual databases
Maikel L. Pérez Gort, Martina Olliaro, Agostino Cortesi, Claudia Feregrino-Uribe
 Expert Syst. Appl.2
2021 Completeness of string analysis for dynamic languages
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
 Inf. Comput.2
2019 Completeness of Abstract Domains for String Analysis of JavaScript Programs
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
 ICTAC2
2019 String Abstraction for Model Checking of C Programs
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
 SPIN3
2018 M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs
abstract
We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation introduced by P. Cousot et al. to the case of text values. In particular, we capture the so-called string of interest of an array of char, in order to distinguish well-formed string arrays. A concrete and abstract semantics of the main C header file string.h functions are worked out in full detail.
Agostino Cortesi, Martina Olliaro
 TASE2