pldb wrapped

JCJoonwon Choi

5 papers

cited 61×

cites 83

Reply guy/gal

TBThomas Bourgeat

cited you 6×

Mutuals

1. TBThomas Bourgeat3 ⇄ 6
2. ALAndreas Lööw3 ⇄ 2
3. CPClément Pit-Claudel2 ⇄ 3
4. DPDavid Pichardie2 ⇄ 2
5. NPLNuno P. Lopes2 ⇄ 5

you ⇄ them

Parasocial crush

Xavier Leroy

you: 7 · them: 0

Secret admirer

JPJean Pichon-Pharabod

them: 4 · you: 0

Main character

Kami: a platform for high-level parametric hardware specification and its…

ICFP 2017 · cited 23×

Ratio'd

Bringing extensibility to verified compilers

PLDI 2010 · cited 18× · by your 19×

Vintage

You cite like it's 2013

Deepest dig

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986

Lamport number4

1. JCyou
2. ACAdam Chlipala
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.