pldb wrapped

NSBNikolaj S. Bjørner

26 papers

cited 1,851×

cites 255

Reply guy/gal

SSSharon Shoham

cited you 51×

Mutuals

1. VKViktor Kuncak9 ⇄ 23
2. APAndreas Podelski7 ⇄ 8
3. MSMooly Sagiv7 ⇄ 27
4. PMP. Madhusudan7 ⇄ 28
5. PRPhilipp Rümmer7 ⇄ 24

you ⇄ them

Parasocial crush

ARBAaron R. Bradley

you: 7 · them: 0

Secret admirer

GFGrigory Fedyukovich

them: 26 · you: 0

Main character

Z3: An Efficient SMT Solver

TACAS 2008 · cited 1486×

Ratio'd

The SLAM project: debugging system software via static analysis

POPL 2002 · cited 188× · by your 1486×

Vintage

You cite like it's 2012

Deepest dig

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

POPL 1977

Early adopter

cited 2 papers before they were published

e.g. Engineering Theories with Z3 (2011) → Decision Procedures for Region Logic (VMCAI 2012)

Lamport number3

1. NSByou
2. KLMKenneth L. McMillan
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.