pldb wrapped

Talia Ringer

@taliaringer.bsky.social

8 papers

cited 66×

cites 125

Reply guy/gal

EFEmily First

cited you 5×

Mutuals

1. BCPBenjamin C. Pierce4 ⇄ 4
2. BDBenjamin Delaware3 ⇄ 4
3. CCCyril Cohen3 ⇄ 3
4. EFEmily First3 ⇄ 5
5. Arjun Guha6 ⇄ 2

you ⇄ them

Parasocial crush

JRWJames R. Wilcox

you: 7 · them: 0

Secret admirer

QXQiyuan Xu

them: 5 · you: 0

Main character

Baldur: Whole-Proof Generation and Repair with Large Language Models

FSE 2023 · cited 32×

Ratio'd

Equivalences for free: univalent parametricity for effective transport

ICFP 2018 · cited 12× · by your 13×

Vintage

You cite like it's 2015

Deepest dig

Social Processes and Proofs of Theorems and Programs

POPL 1977

Lamport number4

1. you
2. STSerdar Tasiran
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.