POPL 2012 - PDF Preprint Papers

POPL 2012 Annual Symposium on Principles of Programming Languages

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed POPL-2012 Paper

click to vote

POPL
2012
ACM

319views Programming Languages» more POPL 2012»

A language for automatically enforcing privacy policies

12 years 8 months ago

Download people.csail.mit.edu

It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...

Jean Yang, Kuat Yessenov, Armando Solar-Lezama

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	319	A language for automatically enforcing privacy policies	claim
2	287	A compiler and run-time system for network programming languages	claim
3	281	The ins and outs of gradual type inference	claim
4	279	Access permission contracts for scripting languages	claim
5	279	Deciding choreography realizability	claim
6	279	Towards a program logic for JavaScript	claim
7	278	Analysis of recursively parallel programs	claim
8	275	Algebraic foundations for effect-dependent optimisations	claim
9	269	Recursive proofs for inductive tree data-structures	claim
10	267	A type system for borrowing permissions	claim
11	265	On the power of coercion abstraction	claim
12	262	Multiple facets for dynamic information flow	claim
13	261	Programming with binders and indexed data-types	claim
14	259	Playing in the grey area of proofs	claim
15	257	Canonicity for 2-dimensional type theory	claim
16	256	A type theory for probability density functions	claim
17	253	Syntactic control of interference for separation logic	claim
18	253	Sound predictive race detection in polynomial time	claim
19	252	An executable formal semantics of C with applications	claim
20	251	A mechanized semantics for C++ object construction and destruction, with applications to resource management	claim
21	249	Static and user-extensible proof checking	claim
22	243	Probabilistic relational reasoning for differential privacy	claim
23	242	Higher-order functional reactive programming in bounded space	claim
24	240	The marriage of bisimulations and Kripke logical relations	claim
25	238	Resource-sensitive synchronization inference by abduction	claim
26	223	Run your research: on the effectiveness of lightweight mechanization	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers