pldb wrapped

CKGCarsten K. Gomard

2 papers

cited 40×

cites 22

Reply guy/gal

JPJens Palsberg

cited you 7×

Mutuals

1. ABAnders Bondorf2 ⇄ 2
2. CCCharles Consel2 ⇄ 2
3. MWMitchell Wand5 ⇄ 2

you ⇄ them

Parasocial crush

AWAAndrew W. Appel

you: 2 · them: 0

Secret admirer

WTWalid Taha

them: 5 · you: 0

Main character

A Partial Evaluator for the Untyped lambda-Calculus

JFP 1991 · cited 29×

Ratio'd

A Semantics-Directed Compiler Generator

POPL 1982 · cited 27× · by your 29×

Vintage

You cite like it's 1985

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Lamport number5

1. CKGyou
2. NDJNeil D. Jones
3. APAndreas Podelski
4. MYVMoshe Y. Vardi
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Neil D. Jones. Without them: ∞.

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.