pldb wrapped

LKDLaura K. Dillon

12 papers

cited 36×

cites 29

Reply guy/gal

AMMAtif M. Memon

cited you 4×

Mutuals

1. CGCarlo Ghezzi1 ⇄ 1
2. DSBDon S. Batory1 ⇄ 1
3. MPMauro Pezzè1 ⇄ 2
4. MYMichal Young1 ⇄ 1
5. PGPatrice Godefroid1 ⇄ 2

you ⇄ them

Parasocial crush

APSA. Prasad Sistla

you: 4 · them: 0

Secret admirer

CSPCorina S. Pasareanu

them: 3 · you: 0

Main character

Oracles for Checking Temporal Properties of Concurrent Systems

FSE 1994 · cited 13×

Ratio'd

A Model Parametric Real-Time Logic

TOPLAS 1992 · cited 8× · by your 9×

Vintage

You cite like it's 1992

Deepest dig

Principles of Proving Programs Correct in Gypsy

POPL 1979

Lamport number5

1. LKDyou
2. GSAGeorge S. Avrunin
3. MBDMatthew B. Dwyer
4. CFCormac Flanagan
5. MAMartín Abadi
6. 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.