Showing 1–18 of 18 results
/ Date/ Name
Mar 27, 2020Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in ObsidianNov 22, 2023Gradual Verification for Smart ContractsJul 14, 2016Hazelnut: A Bidirectionally Typed Structure Editor CalculusOct 5, 2022Gradual C0: Symbolic Execution for Gradual VerificationApr 17, 2024A Study of Undefined Behavior Across Foreign Function Boundaries in Rust LibrariesMar 25, 2017Toward Semantic Foundations for Program EditorsOct 24, 2022Static Information Flow Control Made SimplerDec 10, 2019PLIERS: A Process that Integrates User-Centered Methods into Programming Language DesignSep 8, 2019Obsidian: Typestate and Assets for Safer Blockchain ProgrammingApr 2, 2024A Mixed-Methods Study on the Implications of Unsafe Rust for Interoperation, Encapsulation, and ToolingOct 9, 2020Psamathe: A DSL with Flows for Safe Blockchain AssetsSep 11, 2023Latte: Lightweight Aliasing Tracking for JavaMay 13, 2021Gradual Program Analysis for Null PointersNov 15, 2020User-Centered Programming Language Design: A Course-Based Case StudyNov 13, 2023Sound Gradual Verification with Symbolic ExecutionOct 18, 2021An Empirical Study of Protocols in Smart ContractsDec 17, 2024An Exploratory Study of ML Sketches and Visual Code AssistantsJul 5, 2025Semantically Separating Nominal Wyvern for Usability and Decidability