| PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design | 0 | 0.34 | 2021 |
| Containing Malicious Package Updates in npm with a Lightweight Permission System | 0 | 0.34 | 2021 |
| reCode : A Lightweight Find-and-Replace Interaction in the IDE for Transforming Code by Example | 0 | 0.34 | 2021 |
| FrameFix: Automatically Repairing Statically-Detected Directive Violations in Framework Applications | 0 | 0.34 | 2021 |
| Gradual verification of recursive heap data structures | 0 | 0.34 | 2020 |
| How Domain Experts Create Conceptual Diagrams and Implications for Tool Design | 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 |
| Penrose: from mathematical notation to beautiful diagrams | 0 | 0.34 | 2020 |
| Designing Declarative Language Tutorials - A Guided and Individualized Approach. | 0 | 0.34 | 2019 |
| A Qualitative Study on Framework Debugging | 0 | 0.34 | 2019 |
| A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. | 0 | 0.34 | 2019 |
| Barriers to Reproducible Scientific Programming | 0 | 0.34 | 2019 |
| Detecting suspicious package updates | 0 | 0.34 | 2019 |
| Design Dimensions for Software Certification: A Grounded Analysis. | 0 | 0.34 | 2019 |
| Smarter smart contract development tools | 0 | 0.34 | 2019 |
| Interdisciplinary programming language design. | 1 | 0.37 | 2018 |
| Debugging Framework Applications: Benefits and Challenges. | 0 | 0.34 | 2018 |
| Experience report: studying the readability of a domain specific language. | 0 | 0.34 | 2018 |
| IPL: An Integration Property Language for Multi-model Cyber-physical Systems. | 1 | 0.34 | 2018 |
| 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 |
| 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 systematic analysis of the science of sandboxing. | 1 | 0.36 | 2016 |
| A course-based usability analysis of Cilk Plus and OpenMP | 0 | 0.34 | 2015 |
| Evaluating the Flexibility of the Java Sandbox | 4 | 0.47 | 2015 |
| Comparing transitive to non-transitive object immutability. | 0 | 0.34 | 2015 |
| Searching the state space: a qualitative study of API protocol usability | 9 | 0.49 | 2015 |
| Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. | 2 | 0.44 | 2015 |
| Considering Productivity Effects of Explicit Type Declarations. | 0 | 0.34 | 2014 |
| Æminium: a permission based concurrent-by-default programming language approach | 3 | 0.43 | 2014 |
| Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming. | 7 | 0.65 | 2014 |
| Usability Hypotheses in the Design of Plaid | 0 | 0.34 | 2014 |
| First-class state change in plaid | 23 | 0.88 | 2011 |
| Plaid: a permission-based programming language | 1 | 0.35 | 2011 |
| Changing state in the plaid language | 1 | 0.35 | 2011 |
| Permission-based programming languages. | 0 | 0.34 | 2011 |
| Unsticking the web | 0 | 0.34 | 2010 |
| Crying Wolf: An Empirical Study of SSL Warning Effectiveness | 173 | 11.06 | 2009 |
