13 citations · 45 across the 15 of their papers we have counts for
16 papers
Asynchronous Programming in a Prioritized Form
Mohamed A. El-Zawawy
Asynchronous programming has appeared as a programming style that overcomes undesired properties of concurrent programming. Typically in asynchronous models of programming, methods…
ImpNet: Programming Software-Defied Networks Using Imperative Techniques
Mohamed A. El-Zawawy, Adel I. AlSalem
Software and hardware components are basic parts of modern networks. However the software compo- nent is typical sealed and function-oriented. Therefore it is very difficult to mod…
Probabilistic Alias Analysis for Parallel Programming in SSA Forms
Mohamed A. El-Zawawy, Mohammad N. Alanazi
Static alias analysis of different type of programming languages has been drawing researcher attention. However most of the results of existing techniques for alias analysis are no…
An Efficient Binary Technique for Trace Simplifications of Concurrent Programs
Mohamed A. El-Zawawy, Mohammad N. Alanazi
Execution of concurrent programs implies frequent switching between different thread contexts. This property perplexes analyzing and reasoning about concurrent programs. Trace simp…
Distributed Data and Programs Slicing
Mohamed A. El-Zawawy
This paper presents a new technique for data slicing of distributed programs running on a hierarchy of machines. Data slicing can be realized as a program transformation that parti…
ImNet: An Imperative Network Programming Language
Mohamed A. El-Zawawy, Adel I. AlSalem
One of the most recent architectures of networks is Software-Defined Networks (SDNs) using a con- troller appliance to control the set of switches on the network. The controlling p…