1. Jade Alglave , Mark Batty , Alastair F. Donaldson , Ganesh Gopalakrishnan , Jeroen Ketema , Daniel Poetzl , Tyler Sorensen , and John Wickerson . GPU concurrency : Weak behaviours and programming assumptions . In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS ’15 , pages 577– 591 . ACM, 2015. Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, and John Wickerson. GPU concurrency: Weak behaviours and programming assumptions. In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS ’15, pages 577–591. ACM, 2015.
2. Jade Alglave , Luc Maranget , and Michael Tautschnig . Herding cats : Modelling, simulation, testing, and data-mining for weak memory . ACM Transactions on Programming Languages and Systems (TOPLAS) , 36, July 2014 . Jade Alglave, Luc Maranget, and Michael Tautschnig. Herding cats: Modelling, simulation, testing, and data-mining for weak memory. ACM Transactions on Programming Languages and Systems (TOPLAS), 36, July 2014.
3. Syntax-guided synthesis
4. Haniel Barbosa , Clark W. Barrett , Martin Brain , Gereon Kremer , Hanna Lachnitt , Makai Mann , Abdalrhman Mohamed , Mudathir Mohamed , Aina Niemetz , Andres Nötzli , Alex Ozdemir , Mathias Preiner , Andrew Reynolds , Ying Sheng , Cesare Tinelli , and Yoni Zohar . cvc5 : A versatile and industrial-strength SMT solver . In TACAS , 2022 . Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, and Yoni Zohar. cvc5: A versatile and industrial-strength SMT solver. In TACAS, 2022.
5. The gem5 simulator;Binkert Nathan;SIGARCH Comp. Arch. News,2011