@Misc{CastegrenIWACO2016, author = {Elias Castegren and Tobias Wrigstad}, title = {{K}appa: {I}nsights, {C}urrent {S}tatus and {F}uture {W}ork}, howpublished = {International Workshop on Aliasing, Confinement and Ownership (IWACO)}, month = {July}, year = {2016}, }