syslab-proposal/proposal.pdf