Which of my transient type checks are not (almost) free?-Reference-Cited by-同舟云学术

Which of my transient type checks are not (almost) free?

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages - VMIL 2019
language:
Short-container-title:

Author:

Gariano Isaac Oscar¹,Roberts Richard¹,Marr Stefan²,Homer Michael¹,Noble James¹

Affiliation:

1. Victoria University of Wellington, New Zealand

2. University of Kent, UK

Funder

Marsden Fund

Publisher

ACM Press

Reference44 articles.

1. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon D. Plotkin. 1991. Dynamic Typing in a Statically Typed Language. ACM Trans. Program. Lang. Syst. 13, 2 (1991), 237–268.

2. Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt. 2017. Virtual Machine Warmup Blows Hot and Cold. Proc. ACM Program. Lang. 1, OOPSLA, Article 52 (Oct. 2017), 27 pages.

3. Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt. 2017. Sound Gradual Typing: Only Mostly Dead. Proc. ACM Program. Lang. 1, OOPSLA, Article 54 (Oct. 2017), 24 pages.

4. Jon Bentley and Bob Floyd. 1987. Programming Pearls: A Sample of Brilliance. Commun. ACM 30, 9 (Sept. 1987), 754–757.

5. Andrew P. Black, Kim B. Bruce, Michael Homer, and James Noble. 2012. Grace: the absence of (inessential) difficulty. In Onward! ’12: Proceedings 12th SIGPLAN Symp. on New Ideas in Programming and Reflections on Software. ACM, New York, NY, 85–98.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. How Profilers Can Help Navigate Type Migration;Proceedings of the ACM on Programming Languages;2023-10-16

2. GTP Benchmarks for Gradual Typing Performance;Proceedings of the 2023 ACM Conference on Reproducibility and Replicability;2023-06-27

3. Typed–Untyped Interactions: A Comparative Analysis;ACM Transactions on Programming Languages and Systems;2023-03-05

4. Naïve transient cast insertion isn't (that) bad;Proceedings of the 16th ACM International Workshop on Implementation, Compilation, Optimization of OO Languages, Programs and Systems;2021-07-11