`copilot`: Update README with missing papers
Closed this issue · 6 comments
Description
The following papers are missing from the list of publications in the README:
- Assuring the Guardians: https://link.springer.com/chapter/10.1007/978-3-319-23820-3_6
- Runtime Verification in Real-Time with the Copilot Language: A Tutorial: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_27
- Trustworthy Runtime Verification via Bisimulation (Experience Report): https://dl.acm.org/doi/abs/10.1145/3607841
The publication section should be updated to include those publications.
Type
- Feature: include papers in documentation.
Additional context
None.
Requester
- Ivan Perez
Method to check presence of bug
List papers on Copilot written by team members, and compare with list of publications in README.
Expected result
The README mentions the three papers listed above.
Desired result
The README mentions the three papers listed above.
Proposed solution
Update paper with papers on Copilot written by team members, including at least:
- Assuring the Guardians: https://link.springer.com/chapter/10.1007/978-3-319-23820-3_6
- Runtime Verification in Real-Time with the Copilot Language: A Tutorial: https://link.springer.com/chapter/10.1007/978-3-031-71177-0_27
- Trustworthy Runtime Verification via Bisimulation (Experience Report): https://dl.acm.org/doi/abs/10.1145/3607841
Further notes
None.
Change Manager: Confirmed that the issue exists.
Technical Lead: Confirmed that the issue should be addressed.
Technical Lead: Issue scheduled for fixing in Copilot 4.1.
Fix assigned to: @ivanperez-keera .
Implementor: Solution implemented, review requested.
Change Manager: Verified that:
- Solution is implemented:
- The code proposed compiles and passes all tests. Details:
Build log: https://app.travis-ci.com/github/Copilot-Language/copilot/builds/272776659 - The solution proposed produces the expected result. Details:
The change is to the README, so it's been confirmed by visual inspection. The list is comprehensive, and all links work.
- The code proposed compiles and passes all tests. Details:
- Implementation is documented. Details:
The change is to the documentation. - Change history is clear.
- Commit messages are clear.
- Changelogs are updated.
- Examples are updated. Details:
No updates needed. - Required version bumps are evaluated. Details:
Bump not needed. Changes affect README only.
Change Manager: Implementation ready to be merged.