1. Pietro Alovisi. 2020. Static Branch Prediction through Representation Learning. Master’s thesis. KTH Stockholm. https://www.diva-portal.org/smash/get/diva2:1450658/FULLTEXT01.pdf Pietro Alovisi. 2020. Static Branch Prediction through Representation Learning. Master’s thesis. KTH Stockholm. https://www.diva-portal.org/smash/get/diva2:1450658/FULLTEXT01.pdf
2. Branch prediction for free
3. Sylvain Boulmé. 2021. Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). Université Grenoble Alpes. https://hal.archives-ouvertes.fr/tel-03356701 Sylvain Boulmé. 2021. Formally Verified Defensive Programming (efficient Coq-verified computations from untrusted ML oracles). Université Grenoble Alpes. https://hal.archives-ouvertes.fr/tel-03356701
4. P. P. Chang and W. W. Hwu . 1988. Trace Selection for Compiling Large C Application Programs to Microcode . In Proceedings of the 21st Annual Workshop on Microprogramming and Microarchitecture (MICRO 21) . IEEE Computer Society Press, Washington, DC, USA. 21–29. isbn:08 1861 9198 P. P. Chang and W. W. Hwu. 1988. Trace Selection for Compiling Large C Application Programs to Microcode. In Proceedings of the 21st Annual Workshop on Microprogramming and Microarchitecture (MICRO 21). IEEE Computer Society Press, Washington, DC, USA. 21–29. isbn:0818619198
5. Improving static branch prediction in a compiler