Issued Patents 2003
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6651080 | Techniques for implementing pluggable virtual machines | Sheng Liang | 2003-11-18 |
| 6618769 | Module-by-module verification | Gilad Bracha, Sheng Liang | 2003-09-09 |
| 6618855 | Caching untrusted modules for module-by-module verification | Gilad Bracha, Sheng Liang | 2003-09-09 |
| 6601114 | Fully lazy linking with module-by-module verification | Gilad Bracha, Sheng Liang | 2003-07-29 |
| 6510437 | Method and apparatus for concurrent thread synchronization | Lars Bak | 2003-01-21 |