Cited By
View all- Priamo GD'Elia DQuerzoni L(2022)Principled Composition of Function Variants for Dynamic Software Diversity and Program ProtectionProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3559553(1-5)Online publication date: 10-Oct-2022
- Flückiger OJečmen JKrynski SVitek JJhala RDillig I(2022)Deoptless: speculation with dispatched on-stack replacement and specialized continuationsProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523729(749-761)Online publication date: 9-Jun-2022
- Barrière ABlazy SFlückiger OPichardie DVitek J(2021)Formally verified speculation and deoptimization in a JIT compilerProceedings of the ACM on Programming Languages10.1145/34343275:POPL(1-26)Online publication date: 4-Jan-2021
- Show More Cited By