Racal - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2015-05-29 06:25:08 Code Reading Engineering Sophia Drossopoulou Software quality Peer-to-peer Institute of Electrical and Electronics Engineers IEEE Computer Society Software engineering Computing Diomidis Spinellis		Add to Reading List Source URL: www.spinellis.gr Download Document from Source Website File Size: 177,23 KB Share Document on Facebook

	Towards Reasoning   in the presence of code of unknown provenance  - or, trust and risk in an open world   Sophia Drossopoulou (Imperial), DocID: 1u3OS - View Document
	Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk DocID: 1tNeJ - View Document
	Deny Capabilities for Safe, Fast Actors Sylvan Clebsch, Sophia Drossopoulou, Sebastian Blessing, Andy McNeil Causality Ltd., Imperial College London {sylvan, sophia, sebastian, andy}@causality.io Abstract DocID: 1tJ45 - View Document
	A Unified Framework for Verification Techniques for Object Invariants Sophia Drossopoulou Adrian Francalanza DocID: 1t5Y7 - View Document
	Variant Ownership with Existential Types Nicholas Cameron Sophia Drossopoulou Imperial College London DocID: 1mg6L - View Document