Elias' paper Types for CAS: Relaxed Linearity with Ownership Transfer will appear at NWPT 2016.
July
The CFP for the workshop on New Object Oriented Languages (NOOL) which is organised by Roly Perera and myself is online! The CFP is a play on OOPSLA'86, as was also the case with NOOL'15 organised by Alex Potanin and James Noble. The deadline is September 1st.Opinion pieces, thoughts on object-oriented languages, new languages and new old languages, are welcome!
July
An extended preprint of the LOLCAT paper (Castegren, Wrigstad — in submission) on types for lock-free programming is available here. The LOLCAT type system allows programmers to identify points of contention of lock-free data structures, and guarantee (1) data-race freedom on all accesses outside of these contention points; (2) effective atomicity of non-atomic operations on contended points that involve reads and writes of multiple disjoint locations.
The paper Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations with Juliana Franco and Sophia Drossopoulou has been accepted to IWACO 2016.
May
Elias' and my position paper Kappa: Insights, Current Status and Future Work has been accepted to IWACO 2016.
May
I will be serving on the ECOOP'17 PC. Please consider submitting!
May
Visiting Nobuko Yoshida and Sophia Drossopoulou at Imperial College in London.
April
Visiting Imperial College in London for UPSCALE plenary meeting.
March
Presented preliminary work together with Stephan Brandauer on unearthing structural and behavioural properties of object-or iented programs, and work with Elias Castegren on reference capabilities for lock-free programming at the ECOOP 2016 PC meeting in Providence, RI.
March
Elias' paper Reference Capabilities for Concurrency Control</em> accepted for ECOOP 2016.</dd>
</dl>
March
The NOOL-1 workshop on New Object-Oriented Languages was accepted for OOPSLA 2016. I will be organising this workshop together with Roly Perera.
March
Vats: A Safe, Reactive Storage Abstraction, a paper in the honour of Frank S. de Boer, written with Dave Clarke, is now published in Theory and Practice of Formal Methods, volume 9660 of LNCS.
February
I am co-organising the 7th IWACO (aliasing, capabilities and ownership) at ECOOP'16 together with Paley Li.
January
My student Johan Östlund successfully defended his PhD thesis. Johan's first post-PhD job will be at Spotify.
Hosted the Nth plenary meeting for the UPSCALE project at Uppsala University.
September
I will be speaking at NOOL about Inversion in Programming Language Design: The Encore Way, following joint work with Dave Clarke, Nobuko Yoshida, Frank S. de Boer and Einar Broch Johnsen.
I am attending SFM'15 where I will be speaking about the Encore programming language, and our recent works on reference capabilities for concurrency control.
