pldb wrapped

AOAlex Ozdemir

5 papers

cited 193×

cites 79

Reply guy/gal

Isil Dillig

cited you 7×

Mutuals

1. VKViktor Kuncak3 ⇄ 3
2. ABArmin Biere3 ⇄ 2
3. NRNeha Rungta2 ⇄ 2
4. NSBNikolaj S. Bjørner4 ⇄ 2
5. YCYanju Chen2 ⇄ 3

you ⇄ them

Parasocial crush

LMMLeonardo Mendonça de Moura

you: 7 · them: 0

Secret admirer

LHLukás Holík

them: 6 · you: 0

Main character

cvc5: A Versatile and Industrial-Strength SMT Solver

TACAS 2022 · cited 189×

Vintage

You cite like it's 2015

Deepest dig

Translation Validation

TACAS 1998

Lamport number4

1. AOyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.