Upload cigse paper to repo#3

go-bears wants to merge 11 commits intocheckpoint-org:maincheckpoint-org/checkpoint:mainfrom

go-bears:upload-CIGSE-paper-to-repogo-bears/checkpoint:upload-CIGSE-paper-to-repoCopy head branch name to clipboard