pldb wrapped

SUSebastian Ullrich

3 papers

cited 29×

cites 35

Reply guy/gal

BPBrigitte Pientka

cited you 3×

Mutuals

1. DDDelphine Demange2 ⇄ 2
2. BZBeta Ziliani2 ⇄ 1
3. CPClément Pit-Claudel1 ⇄ 1
4. DPDavid Pichardie1 ⇄ 1
5. Derek Dreyer2 ⇄ 1

you ⇄ them

Parasocial crush

FKZF. Kenneth Zadeck

you: 4 · them: 0

Secret admirer

JZSJason Z. S. Hu

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 2009

Deepest dig

Detecting Equality of Variables in Programs

POPL 1988

Lamport number5

1. SUyou
2. JAJeremy Avigad
3. CWBClark W. Barrett
4. KSNKedar S. Namjoshi
5. RPKRobert P. Kurshan
6. 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.