pldb wrapped

HGHarald Ganzinger

8 papers

cited 87×

cites 27

Reply guy/gal

DKDaniel Kroening

cited you 4×

Mutuals

1. CWBClark W. Barrett1 ⇄ 2
2. DLDDavid L. Dill2 ⇄ 1
3. KKKai Koskimies1 ⇄ 1
4. RFRodney Farrow1 ⇄ 3
5. SKLShuvendu K. Lahiri1 ⇄ 1

you ⇄ them

Parasocial crush

KRKari-Jouko Räihä

you: 2 · them: 0

Secret admirer

VKViktor Kuncak

them: 4 · you: 0

Main character

DPLL( T): Fast Decision Procedures

CAV 2004 · cited 46×

Ratio'd

Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda…

CAV 2002 · cited 29× · by your 46×

Vintage

You cite like it's 1982

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Lamport number4

1. HGyou
2. CTCesare Tinelli
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Cesare Tinelli. Without them: 5.

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.