pldb wrapped

TNTobias Nipkow

25 papers

cited 173×

cites 135

Reply guy/gal

Xavier Leroy

cited you 10×

Mutuals

1. PWPhilip Wadler5 ⇄ 6
2. SOScott Owens7 ⇄ 5
3. MOMMagnus O. Myreen4 ⇄ 5
4. BCPBenjamin C. Pierce3 ⇄ 4
5. JHJan Hoffmann7 ⇄ 3

you ⇄ them

Parasocial crush

NKNils Klarlund

you: 6 · them: 0

Secret admirer

DPDavid Pichardie

them: 6 · you: 0

Main character

A machine-checked model for a Java-like language, virtual machine, and compiler

TOPLAS 2006 · cited 58×

Ratio'd

Safe Type Checking in a Statically-Typed Object-Oriented Programming Language

POPL 1993 · cited 26× · by your 31×

Vintage

You cite like it's 2001

Deepest dig

A Unified Approach to Global Program Optimization

POPL 1973

Lamport number4

1. TNyou
2. APAndrei Popescu
3. ELGElsa L. Gunter
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.