Amr Hany Saleh

According to our database, Amr Hany Saleh authored at least 6 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Explicit effect subtyping.

Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers

J. Funct. Program., 2020

2019

CONDEnSe: Contract Based Design Synthesis.

César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018

Explicit Effect Subtyping.

Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2018

2016

Efficient algebraic effect handlers for Prolog.

Amr Hany Saleh, Tom Schrijvers

Theory Pract. Log. Program., 2016

2015

Transforming Delimited Control: Achieving Faster Effect Handlers.

Amr Hany Saleh

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015