VLDB 2026 Research / reviewers in the wild / expert
Carlin MacKenzie
dblp:289/5910
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2022
0000-0002-9300-0741ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Re-imagining the Isabelle Archive of Formal Proofs
Carlin MacKenzie, Fabian Huch, Jim Vaughan, Jacques D. Fleuriot |
CICM | 1 |
| 2021 | Extracting and Visualizing User Engagement on Wikipedia Talk PagesabstractAs Wikipedia has grown in popularity, it is important to investigate its diverse user community and collaborative editorial base. Although all user data, from traffic to user edits, are available for download under a free and open license, it is difficult to work with this data due to its scale. Carlin MacKenzie, John R. Hott |
OpenSym | 1 |