pldb love calculator

Derek DreyerRalf Jung

99%compatible

Soulmates

Finish each other's related-work sections.

You both cite

Interactive proofs in higher-order concurrent separation logic POPL 2017Dreyer 21×, Jung 12×

You'll fight about

Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types ESOP 2006Dreyer cites it 10×, Jung neverandAn Iris Instance for Verifying CompCert C Programs POPL 2024Jung cites it 2×, Dreyer never

Trade balance

Dreyer → Jung 2Jung → Dreyer 16Jung is doing the chasing

Reading lists

140 papers in common, of 564 (Dreyer) and 190 (Jung)

pldb.kirancodes.me/fun · within PLDB

Try another pair

Within PLDB. Compatibility blends four overlaps, each scaled by reading-list length: papers both cite, people both cite, where they publish and what they read; papers by either of them never count. It is shown against two yardsticks at once: random pairs of researchers and pairs of co-authors. Trade balance counts pairs of papers: one of A's citing one of B's.

More of /fun