Multiverse

The proliferation of mobile devices and mobile clouds coupled with a multitude of their sensing abilities is creating interesting possibilities; the sensing capabilities are creating different types and fidelities of data in a geographically distributed manner that can be used to build new kinds of peer-topeer applications. However, the data generated by these mobile devices can be personal and of a highly confidential nature. While very interesting possibilities exist for collaborating on the diverse, shared data in real time, privacy policies on the data sharing, transport, as well as usage must be clearly specified and respected. The goal of this work is to introduce a privacy preserving data centric programming model for building collaborative applications in large scale mobile clouds and discuss its design.Our work introduces several concepts and leverages privacy annotations and a transparent execution migration framework to achieve our goals. We also present an evaluation using several applications demonstrating that overheads are minimal and can be used in a real-time setting.

show abstract

First-class effect reflection for effect-guided programming

Long

¹

,

Liu

²

,

Rajan

³

2016

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applicatio

1

0

View full text Add to dashboard Cite

This paper introduces a novel type-and-effect calculus, first-class effects, where the computational effect of an expression can be programmatically reflected, passed around as values, and analyzed at run time. A broad range of designs "hard-coded" in existing effect-guided analyses -from thread scheduling, version-consistent software updating, to data zeroing -can be naturally supported through the programming abstractions. The core technical development is a type system with a number of features, including a hybrid type system that integrates static and dynamic effect analyses, a refinement type system to verify application-specific effect management properties, a double-bounded type system that computes both over-approximation of effects and their under-approximation. We introduce and establish a notion of soundness called trace consistency, defined in terms of how the effect and trace correspond. The property sheds foundational insight on "good" first-class effect programming. Disciplines Computer Sciences | Software Engineering CommentsThis article is published as Long, Yuheng, Yu David Liu, and Hridesh Rajan. "First-class effect reflection for effect-guided programming. AbstractThis paper introduces a novel type-and-effect calculus, firstclass effects, where the computational effect of an expression can be programmatically reflected, passed around as values, and analyzed at run time. A broad range of designs "hardcoded" in existing effect-guided analyses -from thread scheduling, version-consistent software updating, to data zeroing -can be naturally supported through the programming abstractions. The core technical development is a type system with a number of features, including a hybrid type system that integrates static and dynamic effect analyses, a refinement type system to verify application-specific effect management properties, a double-bounded type system that computes both over-approximation of effects and their under-approximation. We introduce and establish a notion of soundness called trace consistency, defined in terms of how the effect and trace correspond. The property sheds foundational insight on "good" first-class effect programming.

show abstract

First-class effect reflection for effect-guided programming

Long

¹

,

Liu

²

,

Rajan

³

2016

SIGPLAN Not.

0

View full text Add to dashboard Cite

This paper introduces a novel type-and-effect calculus, first-class effects, where the computational effect of an expression can be programmatically reflected, passed around as values, and analyzed at run time. A broad range of designs "hard-coded" in existing effect-guided analyses-from thread scheduling, version-consistent software updating, to data zeroing-can be naturally supported through the programming abstractions. The core technical development is a type system with a number of features, including a hybrid type system that integrates static and dynamic effect analyses, a refinement type system to verify application-specific effect management properties, a double-bounded type system that computes both over-approximation of effects and their under-approximation. We introduce and establish a notion of soundness called trace consistency, defined in terms of how the effect and trace correspond. The property sheds foundational insight on "good" first-class effect programming. Disciplines Computer Sciences | Software Engineering Comments This article is published as Long, Yuheng, Yu David Liu, and Hridesh Rajan. "First-class effect reflection for effect-guided programming." In

show abstract

Multiverse

Cited by 5 publications

References 37 publications

PiMiCo: Privacy Preservation via Migration in Collaborative Mobile Clouds

PiMiCo: Privacy Preservation via Migration in Collaborative Mobile Clouds

First-class effect reflection for effect-guided programming

First-class effect reflection for effect-guided programming

Contact Info

Product

Resources

About