2016
- September
- 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.
- July
- An extended version of Reference Capabilities for Concurrency Control (ECOOP'16) is available here. The extended version includes full proofs and extended code examples.
- June
- Springer reports more than 12.000 individual chapter downloads in LNCS 7850, Aliasing in Object-Oriented Programming. Types, Analysis and Verification, which I co-edited with Dave Clarke and James Noble.
- May
- 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.
