pldb wrapped

ECEvelyne Contejean

5 papers

cited 10×

cites 15

Reply guy/gal

Éric Tanter

cited you 4×

Mutuals

1. ASAvraham Shinnar4 ⇄ 2
2. ACAlvin Cheung3 ⇄ 1
3. DSDan Suciu3 ⇄ 1
4. KWKonstantin Weitz3 ⇄ 1
5. MHMartin Hirzel1 ⇄ 2

you ⇄ them

Parasocial crush

GMGregory Malecha

you: 5 · them: 0

Secret admirer

BCSBruno C. d. S. Oliveira

them: 2 · you: 0

Main character

A Coq mechanised formal semantics for realistic SQL queries: formally…

CPP 2019 · cited 7×

Vintage

You cite like it's 2013

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. ECyou
2. ASAvraham Shinnar
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.