Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add type freezing paper. #108

Merged
merged 1 commit into from
May 12, 2024

Conversation

Pavel-Durov
Copy link
Contributor

No description provided.

@Pavel-Durov Pavel-Durov assigned Pavel-Durov and ltratt and unassigned Pavel-Durov May 9, 2024
softdev.bib Outdated
Comment on lines 3338 to 3341
title = "Type freezing: exploiting attribute type monomorphism in tracing JIT compilers",
author = "Cheng, Lin and Ilbeyi, Berkin and Bolz-Tereick, Carl Friedrich and Batten, Christopher",
year = 2020,
isbn = {9781450370479},
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I that sufficient? or does it need more info?

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What event was this published at? Please see other entries in the file to get a sense of the possibilities.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is the event a publisher?
Added publisher 👉 98eb9cc

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The publisher isn't relevant to us. This was published at a conference or workshop, probably? If you look at other entries you'll see how to deal with such a case.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looking at the other entries, I guess it should be set as booktitle, I didn't realise that it's used for events.
Updated 👉 2d59f6f

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's reasonable but note you now need to make the entry inproceedings.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok. done 👉 118d3fc

softdev.bib Outdated Show resolved Hide resolved
softdev.bib Show resolved Hide resolved
@Pavel-Durov Pavel-Durov requested a review from ltratt May 11, 2024 07:58
@ltratt
Copy link
Member

ltratt commented May 11, 2024

Please squash.

@Pavel-Durov Pavel-Durov force-pushed the add-type-freezing-paper branch from 118d3fc to 728420e Compare May 12, 2024 07:27
@Pavel-Durov
Copy link
Contributor Author

Squashed 👉 728420e

@ltratt ltratt added this pull request to the merge queue May 12, 2024
Merged via the queue into softdevteam:master with commit 72d3f4f May 12, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants