skip to main content
keynote

How languages can save distributed computing

Published:23 January 2013Publication History

Abstract

No abstract available.

Skip Supplemental Material Section

Supplemental Material

r1d2_talk6.mp4

References

  1. Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, and Andrew C. Myers. Sharing mobile code securely with information flow control. In Proc. IEEE Symposium on Security and Privacy, pages 191-205, May 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Adam Chlipala. Static checking of dynamically-varying security policies in database-backed applications. In Proc. 9th USENIX Symp. on Operating Systems Design and Implementation (OSDI), October 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, and Xin Zheng. Secure web applications via automatic partitioning. In Proc. 21st ACM Symp. on Operating System Principles (SOSP), October 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Links: Web programming without tiers. In Proc. 5th International Symposium on Formal Methods for Components and Objects, November 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Jed Liu, Owen Arden, Michael D. George, K. Vikram, and Andrew C. Myers. Fabric 0.2. Software release, http://www.cs.cornell.edu/projects/fabric, October 2012.Google ScholarGoogle Scholar
  6. Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, and Andrew C. Myers. Fabric: A platform for secure distributed computation and storage. In Proc. 22nd ACM Symp. on Operating System Principles (SOSP), pages 321-334, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Andrew C. Myers, Lantian Zheng, Steve Zdancewic, Stephen Chong, and Nathaniel Nystrom. Jif 3.0: Java information flow. Software release, http://www.cs.cornell.edu/jif, July 2006.Google ScholarGoogle Scholar
  8. M. Serrano, E. Gallesio, and F. Loitsch. HOP, a language for programming the Web 2.0. In Proc. 1st Dynamic Languages Symposium, pages 975-985, October 2006.Google ScholarGoogle Scholar

Index Terms

  1. How languages can save distributed computing

            Recommendations

            Comments

            Login options

            Check if you have access through your login credentials or your institution to get full access on this article.

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 48, Issue 1
              POPL '13
              January 2013
              561 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/2480359
              Issue’s Table of Contents
              • cover image ACM Conferences
                POPL '13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
                January 2013
                586 pages
                ISBN:9781450318327
                DOI:10.1145/2429069

              Copyright © 2013 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 23 January 2013

              Check for updates

              Qualifiers

              • keynote
            • Article Metrics

              • Downloads (Last 12 months)2
              • Downloads (Last 6 weeks)1

              Other Metrics

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader
            About Cookies On This Site

            We use cookies to ensure that we give you the best experience on our website.

            Learn more

            Got it!