pldb wrapped

TYTuba Yavuz-Kahveci

7 papers

cited 36×

cites 56

Reply guy/gal

CBConstantinos Bartzis

cited you 5×

Mutuals

1. MSMooly Sagiv4 ⇄ 4
2. CACyrille Artho1 ⇄ 1
3. EMCEdmund M. Clarke4 ⇄ 1
4. JDJulian Dolby1 ⇄ 1
5. MVMandana Vaziri1 ⇄ 1

you ⇄ them

Parasocial crush

WWPWilliam W. Pugh

you: 7 · them: 0

Secret admirer

AVAbhay Vardhan

them: 2 · you: 0

Main character

Automated Verification of Concurrent Linked Lists with Counters

SAS 2002 · cited 12×

Ratio'd

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking

TACAS 2000 · cited 6× · by your 8×

Vintage

You cite like it's 2002

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number6

1. TYyou
2. TBTevfik Bultan
3. CWChao Wang
4. ZYZijiang Yang
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Tevfik Bultan. Without them: ∞.

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.