VLDB 2026 Research / reviewers in the wild / expert
Yasmine Sharoda
dblp:220/3459
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 4 · 1 since 2021Theory of computation · 4 · 1 since 2021Artificial intelligence and machine learning · 3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Projective Model Counting for IP Addresses in Access Control Policies
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
FMCAD | 8 |
| 2020 | Leveraging the Information Contained in Theory Presentations
Jacques Carette, William M. Farmer, Yasmine Sharoda |
CICM | 3 |
| 2019 | Diagram Combinators in MMT
Florian Rabe 0001, Yasmine Sharoda |
CICM | 2 |
| 2018 | Biform Theories: Project Description
Jacques Carette, William M. Farmer, Yasmine Sharoda |
CICM | 3 |