Leveraging legacy code to deploy desktop applications on the web

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008

Volumn , Issue , 2019, Pages 339-354

  Douceur, John R ^a   Elson, Jeremy ^a   Howell, Jon ^a   Lorch, Jacob R ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMMING INTERFACES (API); LIBRARIES; SPEECH SYNTHESIS; SYSTEMS ANALYSIS;

ABSTRACTION LAYER; BINARY INTERFACES; DESKTOP APPLICATIONS; LINES OF CODE; MULTIPLE OPERATING SYSTEMS; NATIVE CODE; SPEECH SYNTHESIZER; SYSTEM SERVICES;

APPLICATION PROGRAMS;

EID: 85076904874     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (48)

1. CARDINAL, C. Live From CES: Hands On With Vista-Vista By The Numbers, A Developer Tells All. Presentation at Gear Live, Jan. 2006.
2. CHERNOFF, A., AND HOOKWAY, R. DIGITAL FX!32 - running 32-bit x86 applications on Alpha NT. In Proceedings of the USENIX Windows NT Workshop (1997), pp. 9-13.
3. CHIUEH, T., VENKITACHALAM, G., AND PRADHAN, P. Integrating segmentation and paging protection for safe, efficient and transparent software extensions. In Proceedings of Symposium on Operating Systems Principles (SOSP) (1999), pp. 140-153.
4. CIAC M-060. http://www.ciac.org/.
5. CLARK, C., FRASER, K., HAND, S., HANSEN, J. G., JUL, E., LIMPACH, C., PRATT, I., AND WARFIELD, A. Live migration of virtual machines. In Proceedings of Networked Systems Design and Implementation (NSDI) (2005), pp. 273-286.
6. CLoC. http://cloc.sourceforge.net/.
7. CONDIT, J. personal communication, 2008.
8. COX, R. S., GRIBBLE, S. D., LEVY, H. M., AND HANSEN, J. G. A safety-oriented platform for Web applications. In Proc. Symposium on Security and Privacy (2006), pp. 350-364.
9. CVE-2003-0111. http://cve.mitre.org/.
10. CVE-2007-0043. http://cve.mitre.org/.
11. Dojo Toolkit. http://dojotoolkit.org/offline.
12. ERLINGSSON, U., ABADI, M., VRABLE, M., BUDIU, M., AND NECULA, G. C. XFI: software guards for system address spaces. In Proceedings of Operating Systems Design and Implementation (OSDI) (2006), pp. 75-88.
13. FORD, B. VXA: A virtual architecture for durable compressed archives. In Proceedings of File and Storage Technologies (FAST) (2005), pp. 295-308.
14. FORD, B., AND COX, R. Vx32: Lightweight user-level sandboxing on the x86. In Proceedings of the USENIX Annual Technical Conference (2008). To appear.
15. GARFINKEL, T. Traps and pitfalls: Practical problems in system call interposition based security tools. In Proceedings of Network and Distributed Systems Security Symposium (NDSS) (2003), pp. 163-176.
16. GARFINKEL, T., PFAFF, B., AND ROSENBLUM, M. Ostia: A delegating architecture for secure system call interposition. In Proc. Network and Distributed Systems Security Symposium (2004), pp. 187-201.
17. GOLDBERG, I., WAGNER, D., THOMAS, R., AND BREWER, E. A. A secure environment for untrusted helper applications: Confining the wily hacker. In Proceedings of USENIX Security Symposium (1996), pp. 1-13.
18. Google Gears. http://gears.google.com/.
19. HARREN, M., AND NECULA, G. C. Using dependent types to certify the safety of assembly code. In Static Analysis Symposium (SAS) (2005), pp. 155-170.
20. JACKSON, C., BORTZ, A., BONEH, D., AND MITCHELL, J. Protecting browser state against Web privacy attacks. In Proceedings of WWW (2006).
21. JOBS, S. Keynote address. Apple Worldwide Developers Conference, Aug. 2006.
22. KICIMAN, E., AND LIVSHITS, B. AjaxScope: A platform for remotely monitoring the client-side behavior of Web 2.0 applications. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP) (2007), ACM.
23. KOZUCH, M., AND SATYANARAYANAN, M. Internet suspend/resume. In Proceedings of the Workshop on Mobile Computing Systems and Applications (WMCSA) (2002), pp. 40-48.
24. LIVSHITS, B., AND KICIMAN, E. Doloto: Code splitting for network-bound Web 2.0 applications. Tech. Rep. TR 2007-159, 2007.
25. LORCH, J. R., AND SMITH, A. J. The VTrace tool: building a system tracer for Windows NT and Windows 2000. MSDN Magazine 15, 10 (2000), 86-102.
26. MCCAMANT, S., AND MORRISETT, G. Evaluating SFI for a CISC architecture. In 15th USENIX Security Symposium (2006), pp. 209-224.
27. MCILROY, M. D. Mass produced software components. In Software Engineering, P. Naur and B. Randell, Eds. NATO Science Committee, Jan. 1969, pp. 138-150.
28. MICROSOFT CORPORATION. Windows Driver Kit. http://microsoft.com/whdc/devtools/wdk/default.mspx.
29. MORRISETT, G., WALKER, D., CRARY, K., AND GLEW, N. From System F to typed assembly language. In Symposium on Principles of Programming Languages (POPL) (1998), pp. 85-97.
30. NECULA, G. C., CONDIT, J., HARREN, M., MC-PEAK, S., AND WEIMER, W. Ccured: type-safe retrofitting of legacy software. ACM Trans. Program. Lang. Syst. 27, 3 (2005), 477-526.
31. NECULA, G. C., AND LEE, P. Safe kernel extensions without run-time checking. In Proceedings of Operating Systems Design and Implementation (OSDI) (1996), pp. 229-243.
32. NIST Vulnerability Database. http://nvd.nist.gov/nvd.cfm.
33. PRICE, D., AND TUCKER, A. Solaris zones: operating system support for server consolidation. In Proceedings of the 18th Large Installation System Administration Conference (LISA) (2004), pp. 241-254.
34. PROVOS, N. Improving host security with system call policies. In Proceedings of the 12th conference on USENIX Security Symposium (SSYM) (2003), pp. 18-18.
35. RINARD, M., CADAR, C., DUMITRAN, D., ROY, D., LEU, T., AND BEEBEE, J. Enhancing server availability and security through failure-oblivious computing. In Proceedings of Operating Systems Design and Implementation (OSDI) (2004), pp. 303-316.
36. ROBLES, G. Debian counting. http://libresoft.dat.escet.urjc.es/debian-counting/.
37. SA7587. http://secunia.com/advisories/7587/.
38. SABIN, T. Strace for NT. http://www.securityfocus.com/tools/1276.
39. SAPUNTZAKIS, C. P., CHANDRA, R., PFAFF, B., CHOW, J., LAM, M. S., AND ROSENBLUM, M. Optimizing the migration of virtual computers. In Proceedings of Operating Systems Design and Implementation (OSDI) (2002), pp. 377-390.
40. SourceForge. http://sourceforge.net.
41. STOKELY, M., AND LEE, C. The FreeBSD Handbook 3rd Edition, Vol. 1: User's Guide. FreeBSD Mall, Inc., Brentwood, CA, 2003.
42. SWIFT, M., BERSHAD, B. N., AND LEVY, H. M. Improving the reliability of commodity operating systems. In Proceedings of Symposium on Operating Systems Principles (SOSP) (2003), pp. 207-222.
43. TRIDGELL, A. EfficientAlgorithmsforSortingand Synchronization. PhD thesis, 1999.
44. WAHBE, R., LUCCO, S., ANDERSON, T. E., AND GRAHAM, S. L. Efficient software-based fault isolation. In Proceedings of Symposium on Operating Systems Principles (SOSP) (1993), pp. 203-216.
45. WALDSPURGER, C. A. Memory resource management in VMware ESX server. In Proceedings of Operating Systems Design and Implementation (OSDI) (2002), pp. 181-194.
46. WHITAKER, A., SHAW, M., AND GRIBBLE, S. D. Denali: Lightweight virtual machines for distributed and networked applications. Tech. Rep. 02-02-01, 2002.
47. Wine Windows compatibility library. www.winehq.org.
48. WITCHEL, E., RHEE, J., AND ASANOVIC, K. Mondrix: Memory isolation for Linux using Mondriaan memory protection. In Proceedings of Symposium on Operating Systems Principles (SOSP) (2005), pp. 31-44.