pldb wrapped

ZLZhengyao Lin

5 papers

cited 8×

cites 76

Reply guy/gal

GPGeorge Pîrlea

cited you 2×

Mutuals

1. AJSAlexander J. Summers2 ⇄ 1
2. GPGaurav Parthasarathy1 ⇄ 1
3. Loris D'Antoni2 ⇄ 1
4. PMPeter Müller2 ⇄ 1
5. TWRThomas W. Reps2 ⇄ 1

you ⇄ them

Parasocial crush

DPDaejun Park

you: 6 · them: 0

Secret admirer

Ilya Sergey

them: 2 · you: 0

Main character

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier

OOPSLA 2023 · cited 4×

Vintage

You cite like it's 2017

Deepest dig

Functional Reactive Animation

ICFP 1997

Lamport number4

1. ZLyou
2. PMP. Madhusudan
3. RARajeev Alur
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.