| Plan B: Design Methodology for Cyber-Physical Systems Robust to Timing Failures | 0 | 0.34 | 2022 |
| Technical Perspective How Do Experts Learn New Programming Languages? | 0 | 0.34 | 2022 |
| PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design | 0 | 0.34 | 2021 |
| Integrating usability into programming language design (keynote) | 0 | 0.34 | 2021 |
| Gradual verification of recursive heap data structures | 0 | 0.34 | 2020 |
| Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. | 0 | 0.34 | 2020 |
| Can advanced type systems be usable? an empirical study of ownership, assets, and typestate in Obsidian | 0 | 0.34 | 2020 |
| Obsidian: Typestate and Assets for Safer Blockchain Programming | 0 | 0.34 | 2020 |
| A case study in language-based security: building an I/O library for Wyvern | 0 | 0.34 | 2020 |
| Penrose: from mathematical notation to beautiful diagrams | 0 | 0.34 | 2020 |
| Decidable subtyping for path dependent types | 0 | 0.34 | 2020 |
| A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. | 0 | 0.34 | 2019 |
| Model-Based Adaptation for Robotics Software. | 4 | 0.39 | 2019 |
| Smarter smart contract development tools | 0 | 0.34 | 2019 |
| Interdisciplinary programming language design. | 1 | 0.37 | 2018 |
| Capabilities: Effects For Free | 0 | 0.34 | 2018 |
| Reasonably programmable literal notation | 0 | 0.34 | 2018 |
| Using object capabilities and effects to build an authority-safe module system: poster. | 0 | 0.34 | 2018 |
| A Capability-Based Module System for Authority Control (Artifact). | 0 | 0.34 | 2017 |
| The Implementation of Object Propositions: The Oprop Verification Tool. | 0 | 0.34 | 2017 |
| A Capability-Based Module System for Authority Control. | 0 | 0.34 | 2017 |
| Hazelnut: A Bidirectionally Typed Structure Editor Calculus. | 2 | 0.37 | 2017 |
| Empirical Studies on the Security and Usability Impact of Immutability | 0 | 0.34 | 2017 |
| Toward Semantic Foundations for Program Editors. | 3 | 0.44 | 2017 |
| Glacier: transitive class immutability for Java. | 6 | 0.62 | 2017 |
| Exploring language support for immutability. | 9 | 0.64 | 2016 |
| Composing Interfering Abstract Protocols. | 1 | 0.34 | 2016 |
| Programmable semantic fragments: the design and implementation of typy. | 1 | 0.35 | 2016 |
| Inter-app communication in Android: developer challenges. | 7 | 0.47 | 2016 |
| Software Development Practices, Barriers in the Field and the Relationship to Software Quality. | 1 | 0.38 | 2016 |
| A course-based usability analysis of Cilk Plus and OpenMP | 0 | 0.34 | 2015 |
| A Theory of Tagged Objects (Artifact). | 0 | 0.34 | 2015 |
| Searching the state space: a qualitative study of API protocol usability | 9 | 0.49 | 2015 |
| Composable and hygienic typed syntax macros | 1 | 0.35 | 2015 |
| A Theory of Tagged Objects | 1 | 0.36 | 2015 |
| Cooperative Exceptions for Concurrent Objects | 0 | 0.34 | 2015 |
| Type-specific languages to fight injection attacks | 1 | 0.43 | 2014 |
| Statically typed string sanitation inside a python | 1 | 0.35 | 2014 |
| Considering Productivity Effects of Explicit Type Declarations. | 0 | 0.34 | 2014 |
| Foundations of Typestate-Oriented Programming | 7 | 0.50 | 2014 |
| In-nimbo sandboxing | 2 | 0.37 | 2014 |
| Æminium: a permission based concurrent-by-default programming language approach | 3 | 0.43 | 2014 |
| A case study on the lightweight verification of a multi-threaded task server | 1 | 0.36 | 2014 |
| Collaborative infrastructure for test-driven scientific model validation | 3 | 0.40 | 2014 |
| Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. | 7 | 0.65 | 2014 |
| Rely-Guarantee Protocols. | 4 | 0.39 | 2014 |
| Wyvern: Impacting Software Security via Programming Language Design | 0 | 0.34 | 2014 |
| Safely Composable Type-Specific Languages. | 16 | 0.74 | 2014 |
| Object Propositions. | 0 | 0.34 | 2014 |
| The power of interoperability: why objects are inevitable | 3 | 0.43 | 2013 |
