skip to main content
keynote

How languages can save distributed computing

Published: 23 January 2013 Publication History

Abstract

No abstract available.

Supplementary Material

JPG File (r1d2_talk6.jpg)
MP4 File (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.
[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.
[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.
[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.
[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.
[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.
[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.
[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.

Recommendations

Comments

Information & Contributors

Information

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

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 January 2013
Published in SIGPLAN Volume 48, Issue 1

Check for updates

Author Tags

  1. abstractions
  2. information flow control
  3. security

Qualifiers

  • Keynote

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 880
    Total Downloads
  • Downloads (Last 12 months)4
  • Downloads (Last 6 weeks)1
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media