aosd project: problem paper