Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
Using Kilim's isolation types for multicore efficiency
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
• an example<br />
• modern hardware<br />
Talk structure<br />
• sub-structural type systems, ownership<br />
• Kilim – a Java-based practical solution<br />
UNIVERSITYOF<br />
CAMBRIDGE<br />
<strong>Using</strong> Kilim’s <strong>isolation</strong> <strong>types</strong> <strong>for</strong> <strong>multicore</strong> <strong>efficiency</strong> 33 FoVeOOS’2011