EDBT 2026 Demo / reviewers in the wild / expert
Ligia Nistor
dblp:76/9798
· DBLP profile ↗
4ranked-venue papers
1as first author
0since 2021 · last 2014
0000-0002-4714-5034ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 1 first-authorTheory of computation · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
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
2 papers |
Program verification · 100% | |
| Theoretical computer science
1 paper |
Logic in computer science · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program verification › code-level verification
object-oriented verification |
0.2 | 1 | 2014 | Object Propositions · FM 2014 |
Logic in computer science
program logic |
0.2 | 1 | 2014 | Object Propositions · FM 2014 |
Electronic design automation › hardware verification and test
formal verification |
0.1 | 1 | 2011 | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified · FM 2011 |
Program verification › reactive system verification
hybrid system verification |
0.0 | 1 | 2011 | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified · FM 2011 |
Methods — techniques the papers use, named apart from their topics
object propositions · 0.4formal verification · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Safely Composable Type-Specific Languages
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich |
ECOOP | 3 |
| 2014 | Object Propositions
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert |
FM | 1 |
| 2011 | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
Sarah M. Loos, André Platzer, Ligia Nistor |
FM | 3 |
| 2010 | Tracking and Sketching Distributed Data ProvenanceabstractCurrent provenance collection systems typically gather metadata on remote hosts and submit it to a central server. In contrast, several data-intensive scientific applications require a decentralized architecture in which each host maintains an authoritative local repository of the provenance metadata gathered on that host. The latter approach allows the system to handle the large amounts of metadata generated when auditing occurs at fine granularity, and allows users to retain control over their provenance records. The decentralized architecture, however, increases the complexity of auditing, tracking, and querying distributed provenance. We describe a system for capturing data provenance in distributed applications, and the use of provenance sketches to optimize subsequent data provenance queries. Experiments with data gathered from distributed workflow applications demonstrate the feasibility of a decentralized provenance management system and improvements in the efficiency of provenance queries. Tanu Malik, Ligia Nistor, Ashish Gehani |
eScience | 2 |