Stefan Marr, Researcher and Lecturer

Stefan Marr I am working at the School of Computing at the University of Kent. My work focuses on programming language implementation techniques and concurrent and parallel programming.

In my dissertation, I proposed an ownership-based metaobject protocol as a unifying substrate for concurrency support in multi-language VMs.

Currently, I am working on fast dynamic language implementations, on combining concurrency models in a safe manner, automatically preventing concurrency issues from manifesting, and to enable developers to make sense of complex concurrent programs with appropriate tools.

For contact details see my page at the School of Computing.

Archive of posts with the tag transactional memory

Jul 15, 2014 Why is Concurrent Programming hard? In short, I think, it is hard because on the one hand there is not a single concurrency abstraction that fits all problems, and on the other hand the various different abstractions are rarely designed to be used in combination with each other.
Jun 21, 2010 Trends in Concurrency 2010, part 3
This is the last post about the TiC’10 summer school and covers the two remaining lectures. Mark Moir talked about concurrent data structures and transactional memory, and last but not least, Madan Musuvathi presented the work they did at Microsoft Research to improve the testing of concurrent applications.