Transforming Delimited Control: Achieving Faster Effect Handlers. - Amr Hany Saleh (ICLP (Technical Communications), 2015)

Efficient algebraic effect handlers for Prolog. - Amr Hany Saleh; Tom Schrijvers (Theory Pract. Log. Program., 2016)

Explicit Effect Subtyping. - Amr Hany Saleh; Georgios Karachalias; Matija Pretnar; Tom Schrijvers (ESOP, 2018)

CONDEnSe: Contract Based Design Synthesis. - César Augusto Ribeiro dos Santos; Amr Hany Saleh; Tom Schrijvers; Mike Nicolai (MoDELS, 2019)

Explicit effect subtyping. - Georgios Karachalias; Matija Pretnar; Amr Hany Saleh; Stien Vanderhallen; Tom Schrijvers (J. Funct. Program., 2020)

Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. - César Augusto Ribeiro dos Santos; Tom Schrijvers; Amr Hany Saleh; Mike Nicolai (FM, 2021)