pldb wrapped

PHPeter Habermehl

12 papers

cited 121×

cites 185

Reply guy/gal

LHLukás Holík

cited you 12×

Mutuals

1. PAAParosh Aziz Abdulla9 ⇄ 11
2. MSMooly Sagiv15 ⇄ 5
3. AVNAditya V. Nori4 ⇄ 6
4. APAndreas Podelski4 ⇄ 5
5. ARAndrey Rybalchenko4 ⇄ 4

you ⇄ them

Parasocial crush

DNDaniel Neider

you: 8 · them: 0

Secret admirer

BSGBhargav S. Gulavani

them: 6 · you: 0

Main character

Abstract Regular Model Checking

CAV 2004 · cited 33×

Ratio'd

Verifying Systems with Infinite but Regular State Spaces

CAV 1998 · cited 31× · by your 33×

Vintage

You cite like it's 2007

Deepest dig

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

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Programs with Lists Are Counter Automata (2006) → On Flat Programs with Lists (VMCAI 2007)

Lamport number4

1. PHyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
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.