kirancodes.me
To Proof Maintenance & Beyond!

pldb love calculator

Andrew W. AppelXavier Leroy

69%compatible

Situationship

Same reading group, different takeaways.

You both cite
Proof-Carrying Code POPL 1997Appel 9×, Leroy 4×
You'll fight about
ORBIT: an optimizing compiler for scheme PLDI 1986Appel cites it 11×, Leroy neverandTVOC: A Translation Validator for Optimizing Compilers CAV 2005Leroy cites it 5×, Appel never
Trade balance
Appel → Leroy 17Leroy → Appel 13Appel is doing the chasing
Reading lists
31 papers in common, of 302 (Appel) and 215 (Leroy)
kirancodes.mepldb.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