pldb wrapped

NINeil Immerman

15 papers

cited 159×

cites 191

Reply guy/gal

SSSharon Shoham

cited you 21×

Mutuals

1. PMP. Madhusudan9 ⇄ 17
2. KLMKenneth L. McMillan13 ⇄ 8
3. SSSharon Shoham7 ⇄ 21
4. NSBNikolaj S. Bjørner14 ⇄ 4
5. TWRThomas W. Reps14 ⇄ 4

you ⇄ them

Parasocial crush

SQShaz Qadeer

you: 9 · them: 0

Secret admirer

AMAdithya Murali

them: 9 · you: 0

Main character

Effectively-Propositional Reasoning about Reachability in Linked Data Structures

CAV 2013 · cited 36×

Ratio'd

Verifying Reachability Invariants of Linked Structures

POPL 1983 · cited 23× · by your 36×

Vintage

You cite like it's 2008

Deepest dig

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

POPL 1977

Lamport number3

1. NIyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. 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.