Hi Pengcheng:

please can you send me the outline for the AOSD experience paper
on LoD checking.

David suggested that you could use cflow instead of push and pop.
Do you agree with that?

Please focus on this program/paper first before you continue with the other
work. Or did Mitch set a deadline?

-- Karl