Amr Hany Saleh

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Highly Efficient

Logic Synthesis

Design Space Exploration

Multiresolution

Top Venues

J. Funct. Program.

Publications

César Augusto Ribeiro dos Santos, Tom Schrijvers, Amr Hany Saleh, Mike Nicolai
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal Contracts. FM (2021)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit effect subtyping. J. Funct. Program. 30 (2020)
Georgios Karachalias, Matija Pretnar, Amr Hany Saleh, Stien Vanderhallen, Tom Schrijvers
Explicit Effect Subtyping. CoRR (2020)
César Augusto Ribeiro dos Santos, Amr Hany Saleh, Tom Schrijvers, Mike Nicolai
CONDEnSe: Contract Based Design Synthesis. MoDELS (2019)
Amr Hany Saleh, Georgios Karachalias, Matija Pretnar, Tom Schrijvers
Explicit Effect Subtyping. ESOP (2018)
Amr Hany Saleh, Tom Schrijvers
Efficient algebraic effect handlers for Prolog. Theory Pract. Log. Program. 16 (5-6) (2016)
Amr Hany Saleh, Tom Schrijvers
Efficient Algebraic Effect Handlers for Prolog. CoRR (2016)
Amr Hany Saleh
Transforming Delimited Control: Achieving Faster Effect Handlers. ICLP (Technical Communications) (2015)