pldb love calculator
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)