Amr Hany Saleh

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2020
Explicit effect subtyping.
J. Funct. Program., 2020

2019
CONDEnSe: Contract Based Design Synthesis.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

2018
Explicit Effect Subtyping.
Proceedings of the Programming Languages and Systems, 2018

2016
Efficient algebraic effect handlers for Prolog.
Theory Pract. Log. Program., 2016

2015
Transforming Delimited Control: Achieving Faster Effect Handlers.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015


  Loading...