Personal note: Working with Farhad Arbab 1990–2005

From 1990 to 2005 the author had the privilege and pleasure to work as a programmer in Farhad Arbab’s research group, initially on the development, implementation and applications of the Manifold coordination language

Concurrent Systems: Hybrid Object Implementations and Abortable Objects

21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015As they allow processes to communicate and synchronize, concurrent objects are, de facto, the most important objects of concurrent programming. This paper presents and illustrates two important notions associated with concurrent objects. The first one, which is related to their implementation, is the notion of a hybrid implementation. The second one, which is related to their definition, is the notion of an abortable object.Department of Computin

Validity and Correctness Before the OS: the Case of LEO I and LEO II

Efficient and reliable computing is based on validity and correctness. Techniques to ensure these essential features have been in place since the early days of computing. The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s