pldb wrapped

GEGabriel Ebner

7 papers

cited 43×

cites 101

Reply guy/gal

IEVIan Erik Varatalu

cited you 5×

Mutuals

1. AFAymeric Fromherz3 ⇄ 3
2. Jonathan Protzenko4 ⇄ 3
3. ARAseem Rastogi8 ⇄ 2
4. CHCatalin Hritcu10 ⇄ 2
5. CHChris Hawblitzel4 ⇄ 2

you ⇄ them

Parasocial crush

LBLars Birkedal

you: 10 · them: 0

Secret admirer

BPBrigitte Pientka

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

On the Temporal Analysis of Fairness

POPL 1980

Lamport number4

1. GEyou
2. TBThomas Ball
3. OKOrna Kupferman
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.