kaist-cp/view-hw

artifact 제출을 위한 repo 구성

kyeongmincho opened this issue · 5 comments

kyeongmincho commented
  • index: artifact 제출을 위한 gist. 구성은 (1) coq, model checker repo로 안내하는 README.md, (2) artifact.zip 파일 만들어주는 create_artifact.sh
  • view-hw: coq formalization (this repo)
    • promising-hw -> view-hw 로 이름 바꾸기
    • public으로 바꾸기
  • rmem-persistency: model checker
    • public으로 바꾸기
jeehoonkang commented

한거 안한거 재분류 부탁드립니다 @drzix

jeehoonkang commented
  • public으로 바꾸기만 하면 될때 제게 다시 assign 해주세요.
  • @drzix 아이디 밑으로 gist 하나 만드시고, artifact readme를 올려주세요. 두 repo를 reference하고, paper cite하고, 그정도면 될듯 합니다. 그 gist url을 제출하는 걸로 합시다. 제게 리뷰 요청해주세요.
  • https://pldi21ae.hotcrp.com/ 에 먼저 제출해주세요. (gist url만 제출하면 될겁니다.)
  • 👍1
kyeongmincho commented

@jeehoonkang
저희 supplementary text (appendix)도 내야하지 않나요?

kyeongmincho commented

@jeehoonkang

  • gist 만들었습니다.
  • hotcrp에 업로드하겠습니다.
jeehoonkang commented
  • gist에 markdown으로 제목 등등 표기해주세요. 좀더 "공식적인"것처럼 보이도록 작성해주세요.
  • appendix는 지금 안냅니다.