Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies

Oliver Bracevac, Guannan Wei 0001, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang 0006, Yuyan Bao, Tiark Rompf. Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):400-430, October 2023. [doi]

Authors

Oliver Bracevac

This author has not been identified. Look up 'Oliver Bracevac' in Google

Guannan Wei 0001

This author has not been identified. Look up 'Guannan Wei 0001' in Google

Songlin Jia

This author has not been identified. Look up 'Songlin Jia' in Google

Supun Abeysinghe

This author has not been identified. Look up 'Supun Abeysinghe' in Google

Yuxuan Jiang 0006

This author has not been identified. Look up 'Yuxuan Jiang 0006' in Google

Yuyan Bao

This author has not been identified. Look up 'Yuyan Bao' in Google

Tiark Rompf

This author has not been identified. Look up 'Tiark Rompf' in Google