{"id":16569317,"url":"https://github.com/skyleaworlder/paper-reading","last_synced_at":"2026-03-09T15:05:04.126Z","repository":{"id":167498443,"uuid":"642706958","full_name":"skyleaworlder/paper-reading","owner":"skyleaworlder","description":":page_with_curl: 论文阅读记录 (Software Engineering - Program Analysis \u0026 Testing \u0026 Verification)","archived":false,"fork":false,"pushed_at":"2023-05-20T07:30:53.000Z","size":6,"stargazers_count":7,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-01-16T00:53:36.048Z","etag":null,"topics":["program-analysis","software-engineering","software-testing","verification"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/skyleaworlder.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2023-05-19T07:04:45.000Z","updated_at":"2024-12-19T01:49:04.000Z","dependencies_parsed_at":"2023-05-22T16:45:28.177Z","dependency_job_id":null,"html_url":"https://github.com/skyleaworlder/paper-reading","commit_stats":null,"previous_names":["skyleaworlder/paper-reading"],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skyleaworlder%2Fpaper-reading","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skyleaworlder%2Fpaper-reading/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skyleaworlder%2Fpaper-reading/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/skyleaworlder%2Fpaper-reading/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/skyleaworlder","download_url":"https://codeload.github.com/skyleaworlder/paper-reading/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":242023210,"owners_count":20059297,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["program-analysis","software-engineering","software-testing","verification"],"created_at":"2024-10-11T21:13:04.354Z","updated_at":"2026-03-09T15:04:59.077Z","avatar_url":"https://github.com/skyleaworlder.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# paper-reading\n\n这个 repo 参照了 [gaocegege](https://github.com/gaocegege) 在读研时创建的 [papers-notebook](https://github.com/dyweb/papers-notebook)，后面这段话也是一样地参考了：\n\n\u003e 同样希望能够记录自己阅读论文的过程。其中的论文一部分来自于在复旦大学软件工程实验室的做项目时需要学习的论文，这部分会比较偏静动态分析和验证。还有一部分论文是自己感兴趣，想去了解的，这部分可能比较偏分析工具架构设计、算法工程实践以及一些其他领域。论文笔记希望能够记录自己在读论文的时候的想法，其中包括但不限于论文的大致 idea，实现方式，以及自己对论文的评价等等。希望能够把每一篇论文的笔记限制在 1000 字以内。\n\n[papers-notebook](https://github.com/dyweb/papers-notebook) 使用 issue 的组织管理方式已经落后于时代了，我计划用 discussions 组织。欢迎到 [这里](https://github.com/skyleaworlder/paper-reading/discussions/7) 安利。\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fskyleaworlder%2Fpaper-reading","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fskyleaworlder%2Fpaper-reading","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fskyleaworlder%2Fpaper-reading/lists"}