pldb wrapped

ALAmbroise Lafont

4 papers

cited 6×

cites 22

Reply guy/gal

AGAditya Gupta

cited you 1×

Mutuals

1. CKChaitanya Koparkar1 ⇄ 1
2. Michael Vollmer1 ⇄ 1
3. MRMike Rainey1 ⇄ 1
4. MKMilind Kulkarni1 ⇄ 1
5. RRNRyan R. Newton1 ⇄ 1

you ⇄ them

Parasocial crush

GKGerwin Klein

you: 4 · them: 0

Main character

Dargent: A Silver Bullet for Verified Data Layout Refinement

POPL 2023 · cited 5×

Vintage

You cite like it's 2017

Deepest dig

Bisimulation Can't Be Traced

POPL 1988

Lamport number4

1. ALyou
2. NRKNeelakantan R. Krishnaswami
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Neelakantan R. Krishnaswami. 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.