Harvey Tuch

According to our database1, Harvey Tuch authored at least 13 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
AutoCorres2.
Arch. Formal Proofs, 2024

2012
Block storage virtualization with commodity secure digital cards.
Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

2010
The VMware mobile virtualization platform: is that a hypervisor in your pocket?
ACM SIGOPS Oper. Syst. Rev., 2010

seL4: formal verification of an operating-system kernel.
Commun. ACM, 2010

2009
Formal Verification of C Systems Code.
J. Autom. Reason., 2009

seL4: formal verification of an OS kernel.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008
Formal memory models for verifying C systems code.
PhD thesis, 2008

Structured Types and Separation Logic.
Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2007
Types, bytes, and separation logic.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

2005
A Unified Memory Model for Pointers.
Proceedings of the Logic for Programming, 2005

OS Verification - Now!
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2003
Legba: Fast Hardware Support for Fine-Grained Protection.
Proceedings of the Advances in Computer Systems Architecture, 2003

Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor.
Proceedings of the Advances in Computer Systems Architecture, 2003


  Loading...