Publications of Franz Puntigam (Punt05b)

Franz Puntigam.
Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition.
In Second ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS'05), 26.07.2005, Glasgow, UK.

Abstract:

Much work was done on distributed shared memory and consistent shared memory models. However, communication through shared memory (read after write) is a low-level language-concept -- too low for many programming tasks if not protected by a type system. We propose static types to enforce proper synchronization of shared memory communication in concurrent and even some sequential cases. For component composition this approach (and other type-based techniques) can probably profit from support of certification by the operating system.

Paper

@InProceedings{Punt05b,
  author    = {Franz Puntigam},
  title     = {Reliable Shared Memory Communication: A Position Statement on Synchronization and Composition},
  booktitle = {Second ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS'05)},
  year      = 2005,
  address   = {Glasgow, UK},
  month     = jul,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/Punt05b.pdf"
}