pldb wrapped

ANAlbert Nymeyer

2 papers

cited 5×

cites 19

Reply guy/gal

MWMartin Wehrle

cited you 4×

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

SKSebastian Kupferschmid

them: 3 · you: 0

Main character

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern…

TACAS 2004 · cited 5×

Vintage

You cite like it's 1989

Deepest dig

Code generation in a machine-independent compiler

PLDI 1979

Lamport number4

1. ANyou
2. JKJoost-Pieter Katoen
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Joost-Pieter Katoen. 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.