pldb wrapped

XQXiaokang Qiu

19 papers

cited 222×

cites 320

Reply guy/gal

AMAdithya Murali

cited you 21×

Mutuals

1. Isil Dillig18 ⇄ 9
2. MSMooly Sagiv8 ⇄ 7
3. NPNadia Polikarpova7 ⇄ 14
4. PMP. Madhusudan7 ⇄ 18
5. MCRMartin C. Rinard6 ⇄ 7

you ⇄ them

Parasocial crush

VKViktor Kuncak

you: 19 · them: 0

Secret admirer

FZFlorian Zuleger

them: 6 · you: 0

Main character

Natural proofs for structure, data, and separation

PLDI 2013 · cited 40×

Ratio'd

Implicit dynamic frames

TOPLAS 2012 · cited 32× · by your 40×

Vintage

You cite like it's 2013

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. XQyou
2. PMP. Madhusudan
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.