pldb wrapped

YZYoni Zohar

7 papers

cited 237×

cites 81

Reply guy/gal

Isil Dillig

cited you 11×

Mutuals

1. CWBClark W. Barrett3 ⇄ 3
2. VKViktor Kuncak4 ⇄ 3
3. AJSAlexander J. Summers2 ⇄ 3
4. ABArmin Biere3 ⇄ 2
5. MFMathias Fleury2 ⇄ 2

you ⇄ them

Parasocial crush

DJDejan Jovanovic

you: 8 · 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×

Ratio'd

Data abstraction and information hiding

TOPLAS 2002 · cited 30× · by your 31×

Vintage

You cite like it's 2016

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. YZyou
2. SQShaz Qadeer
3. RARajeev Alur
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.