Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Last year GitHub introduced support for
CITATION.cff
, which makes it easy to cite a GitHub repository.Since this repository was already cited by at least three papers123 (found with a quick google scholar search), I thought that for future research it might be helpful to include a
CITATION.cff
file.Questions
I created the file to the best of my knowlege but there are some fields where I wasn't sure.
Personal websites
In
README.md
some of the authors added personal websites, I included them in the file, but I am not sure if they are important in a file that will be used for scientific research.Release date
In the papers InferDL1 and SimTyper2, this repository is cited as beeing released in 2018. However, I cannot figure out why. Both the repository as the last release were created before 2018. I am very likely missing something here.
For now, I have included the date of the last release as the release date. This wasn't in 2018 as cited in those papers but I cannot figure out a specific day in 2018 that would be make sense and the file format unfortunately needs a specific day.
Footnotes
Milod Kazerounian, Brianna M. Ren, and Jeffrey S. Foster. 2020. Sound, heuristic type annotation inference for Ruby. Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages. Association for Computing Machinery, New York, NY, USA, 112–125. https://doi.org/10.1145/3426422.3426985 ↩ ↩2
Milod Kazerounian, Jeffrey S. Foster, and Bonan Min. 2021. SimTyper: sound type inference for Ruby using type equality prediction. Proc. ACM Program. Lang. 5, OOPSLA, Article 106 (October 2021), 27 pages. https://doi.org/10.1145/3485483 ↩ ↩2
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn. 2021. RbSyn: type- and effect-guided program synthesis. In Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021). Association for Computing Machinery, New York, NY, USA, 344–358. https://doi.org/10.1145/3453483.3454048 ↩