pldb wrapped

TSTerrance Swift

4 papers

cited 19×

cites 17

Reply guy/gal

APAndreas Podelski

cited you 3×

Mutuals

1. DSWDavid Scott Warren2 ⇄ 1
2. OSOleg Sokolsky1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 2 · them: 0

Secret admirer

Abhik Roychoudhury

them: 2 · you: 0

Main character

Efficient Model Checking Using Tabled Resolution

CAV 1997 · cited 16×

Ratio'd

The State of SPIN

CAV 1996 · cited 15× · by your 16×

Vintage

You cite like it's 1996

Deepest dig

Expressing Interesting Properties of Programs in Propositional Temporal Logic

POPL 1986

Lamport number5

1. TSyou
2. SASScott A. Smolka
3. RGRadu Grosu
4. RARajeev Alur
5. RPKRobert P. Kurshan
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.