computational models

Amir Pnueli Memories

A look into the January 2010 CACM issue tells me that Amir Pnueli has died end of last year.

He - or more precisely his work on Temporal Logic - had an huge influence on me, in particular when I wrote my Ph.D. thesis back in the early 90ies.

Posted In

Semantic Time Series (Temporal)

Last two months I was busy completing some exploratory work on semantic time series. As I mentioned earlier, this is all part of capturing sensor observation values and derivative computations in a semantic network.

Temporal Processing

The temporal aspect of handling time series is handled now by a special processor, which - hey you should know me!

Posted In

Tony Hoare: Fine-Grain Concurrency

11/27/2007 - 17:00
11/27/2007 - 19:00


I have always been frightened by concurrent programs which share a common memory, with fine-grained interleaving of access to it. But with multi-core computers, that is the way of the future. Fortunately, the recent development of separation logic gives an elegant way of expressing ownership of storage locations and the transfer of ownership.
I will introduce a semantics based on Petri nets, using separation logic to annotate their arcs and to prove absence of race conditions as well as assertional correctness.
Posted In