pldb wrapped

FAWFelix A. Wolf

2 papers

cited 21×

cites 37

Reply guy/gal

MSMalte Schwerhoff

cited you 3×

Mutuals

1. AJSAlexander J. Summers3 ⇄ 2
2. MSMalte Schwerhoff2 ⇄ 3
3. Derek Dreyer1 ⇄ 2
4. Ilya Sergey1 ⇄ 2
5. JKHJonas Kastberg Hinrichsen1 ⇄ 1

you ⇄ them

Parasocial crush

JRWJames R. Wilcox

you: 3 · them: 0

Secret admirer

ATAaron Tomb

them: 2 · you: 0

Main character

Gobra: Modular Specification and Verification of Go Programs

CAV 2021 · cited 13×

Ratio'd

The Verifying Compiler: A Grand Challenge for Computing Research

CC 2003 · cited 7× · by your 8×

Vintage

You cite like it's 2016

Deepest dig

The Temporal Logic of Actions

TOPLAS 1994

Lamport number5

1. FAWyou
2. MCMartin Clochard
3. Swarat Chaudhuri
4. RARajeev Alur
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.