Correctness of speculative optimizations with dynamic deoptimization

Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek. Correctness of speculative optimizations with dynamic deoptimization. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Olivier Flückiger

This author has not been identified. Look up 'Olivier Flückiger' in Google

Gabriel Scherer

This author has not been identified. Look up 'Gabriel Scherer' in Google

Ming-Ho Yee

This author has not been identified. Look up 'Ming-Ho Yee' in Google

Aviral Goel

This author has not been identified. Look up 'Aviral Goel' in Google

Amal Ahmed

This author has not been identified. Look up 'Amal Ahmed' in Google

Jan Vitek

This author has not been identified. It may be one of the following persons: Look up 'Jan Vitek' in Google