pldb wrapped

RCRobert Clarisó

5 papers

cited 37×

cites 13

Reply guy/gal

GSGagandeep Singh

cited you 5×

Mutuals

1. HBSHenny B. Sipma1 ⇄ 2
2. SSSriram Sankaranarayanan1 ⇄ 5
3. ZMZohar Manna1 ⇄ 2

you ⇄ them

Parasocial crush

FWFarn Wang

you: 2 · them: 0

Secret admirer

MPMarkus Püschel

them: 4 · you: 0

Main character

The Octahedron Abstract Domain

SAS 2004 · cited 29×

Ratio'd

Efficient Timed Reachability Analysis Using Clock Difference Diagrams

CAV 1999 · cited 16× · by your 29×

Vintage

You cite like it's 2005

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 2 papers before they were published

e.g. The Octahedron Abstract Domain (2004) → Scalable Analysis of Linear Systems Using… (VMCAI 2005)

Lamport number7

1. RCyou
2. LBLola Burgueño
3. JKJörg Kienzle
4. RGRachid Guerraoui
5. TAHThomas A. Henzinger
6. RARajeev Alur
7. RPKRobert P. Kurshan
8. 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.