Search for persons
X
?
Proceedings of the 2nd international conference on Virtual execution environments ,
4
HDTrans : an open source, low-level dynamic instrumentat..:
, In:
?
Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems ,
5
Type inference for unboxed types and first class mutability:
, In:
?
Proceedings of the 11th workshop on ACM SIGOPS European workshop ,
6
Reducing TCB size by using untrusted components : small ..:
, In:
?
Proceedings of the 11th ACM conference on Computer and communications security ,
7
Using build-integrated static checking to preserve correctn..:
, In:
?
Proceedings of the seventeenth ACM symposium on Operating systems principles ,
10