Showing 1–13 of 13 results
/ Date/ Name
Oct 5, 2022Gradual C0: Symbolic Execution for Gradual VerificationApr 17, 2024A Study of Undefined Behavior Across Foreign Function Boundaries in Rust LibrariesFeb 27, 2024Rose: Composable Autodiff for the Interactive WebMar 25, 2017Toward Semantic Foundations for Program EditorsMay 23, 2019Design Dimensions for Software Certification: A Grounded AnalysisDec 10, 2019PLIERS: A Process that Integrates User-Centered Methods into Programming Language DesignMar 27, 2020Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in ObsidianJul 10, 2023Can Large Language Models Write Good Property-Based Tests?Jan 16, 2018Debugging Framework Applications: Benefits and ChallengesSep 8, 2019Obsidian: Typestate and Assets for Safer Blockchain ProgrammingMar 8, 2021Containing Malicious Package Updates in npm with a Lightweight Permission SystemMay 13, 2021Gradual Program Analysis for Null PointersApr 2, 2024A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and Tooling