4 papers
A Bayesian Approach to Membership Inference for Statistical Release
Lisa Oakley, Sam Stites, Cameron Moy +3
The membership inference problem for publicly released statistics from a private dataset is well-studied. When developing and formally analyzing attack strategies, however, the foc…
Mixing visual and textual code
Leif Andersen, Michael Ballantyne, Cameron Moy +2
The dominant programming languages support nothing but linear text to express domain-specific geometric ideas. What is needed are hybrid languages that allow developers to create v…
Making Hybrid Languages: A Recipe
Leif Andersen, Cameron Moy, Stephen Chang +1
The dominant programming languages support only linear text to express ideas. Visual languages offer graphical representations for entire programs, when viewed with special tools.…
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
Cameron Moy, Phúc C. Nguyen, Sam Tobin-Hochstadt +1
Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries betwe…