'Linear types' diaporamas de présentation

Viruses

1.38k views • 103 slides

A Modality for Safe Resource Sharing and Code Reentrancy

A Modality for Safe Resource Sharing and Code Reentrancy. Rui Shi (Yahoo! Inc) Dengping Zhu (Bloomberg Inc) Hongwei Xi (Boston Univ.). The Research Context.

183 views • 18 slides

We need a new, common Virtual Execution Environment

We need a new, common Virtual Execution Environment. Herman Venter Research in Software Engineering Group Microsoft Research, Redmond. Why a VEE?. I.e. why not just compile language X directly to a target chip architecture, perhaps using a common compiler back-end infrastructure?

262 views • 17 slides