pldb wrapped

JAJeremy Avigad

5 papers

cited 26×

cites 36

Reply guy/gal

BPBrigitte Pientka

cited you 3×

Mutuals

1. JLJannis Limperg2 ⇄ 2
2. BSBas Spitters2 ⇄ 1
3. BGBenjamin Grégoire1 ⇄ 1
4. BZBeta Ziliani2 ⇄ 1
5. CHCatalin Hritcu1 ⇄ 1

you ⇄ them

Parasocial crush

AMAbdalrhman Mohamed

you: 4 · them: 0

Secret admirer

GPGeorge Pîrlea

them: 3 · you: 0

Main character

A metaprogramming framework for formal verification

ICFP 2017 · cited 19×

Ratio'd

VeriML: typed computation of logical terms inside a language with effects

ICFP 2010 · cited 15× · by your 19×

Vintage

You cite like it's 2016

Deepest dig

Type Classes in Haskell

ESOP 1994

Lamport number4

1. JAyou
2. CWBClark W. Barrett
3. KSNKedar S. Namjoshi
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.