Work

Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics

Year: 2025

Type: conference-paper

Abstract: Users often struggle with cloud file-sharing applications. Problems appear to arise not only from interface flaws, but also from misunderstanding the underlying semantics of operations like linking, attaching, downloading, and editing. We argue that these difficulties echo long-standing challenges in understanding concepts in programming languages like aliasing, copying, and mutation.

Source: ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!)

DOI: 10.1145/3759429.3762621

Authors: Skyler Austen, Shriram Krishnamurthi, Kathi Fisler

Institution: Brown University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: National Science Foundation

Award: Education DCL: EAGER: Teaching Privacy via Stakeholder Modeling