PLIERS-Reference-Cited by-同舟云学术

PLIERS

Published:2021-08-31 Issue:4 Volume:28 Page:1-53
ISSN:1073-0516
Container-title:ACM Transactions on Computer-Human Interaction
language:en
Short-container-title:ACM Trans. Comput.-Hum. Interact.

Author:

Coblenz Michael¹^ORCID,Kambhatla Gauri²,Koronkevich Paulette³,Wise Jenna L.⁴,Barnaby Celeste⁵,Sunshine Joshua⁴,Aldrich Jonathan⁴,Myers Brad A.⁴

Affiliation:

1. Carnegie Mellon University

2. University of Michigan, Ann Arbor, MI

3. University of British Columbia, Vancouver, BC, Canada

4. Carnegie Mellon University, Pittsburgh, PA

5. Facebook, Inc., Menlo Park, CA

Abstract

Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: languages have high iteration costs, programmers require significant learning time, and user performance has high variance. To address these problems, we adapted both formative and summative HCI methods to make them more suitable for programming language design. We integrated these methods into a new process, PLIERS, for designing programming languages in a user-centered way. We assessed PLIERS by using it to design two new programming languages. Glacier extends Java to enable programmers to express immutability properties effectively and easily. Obsidian is a language for blockchains that includes verification of critical safety properties. Empirical studies showed that the PLIERS process resulted in languages that could be used effectively by many programmers and revealed additional opportunities for language improvement.

Funder

National Science Foundation

IBM

Ripple

US Department of Defense

Publisher

Association for Computing Machinery (ACM)

Subject

Human-Computer Interaction

Link

https://dl.acm.org/doi/pdf/10.1145/3452379

Reference102 articles.

1. Salman Ahmad Alexis Battle Zahan Malkani and Sepander Kamvar. 2011. The jabberwocky programming environment for structured social computing. In User Interface Software and Technology (UIST’11). ACM 53–64. DOI:DOI:https://doi.org/10.1145/2047196.2047203 Salman Ahmad Alexis Battle Zahan Malkani and Sepander Kamvar. 2011. The jabberwocky programming environment for structured social computing. In User Interface Software and Technology (UIST’11). ACM 53–64. DOI:DOI:https://doi.org/10.1145/2047196.2047203

2. Jonathan Aldrich Joshua Sunshine Darpan Saini and Zachary Sparks. 2009. Typestate-oriented programming. In Companion of Object Oriented Programming Systems Languages and Applications (OOPSLA’09). 1015–1022. DOI:DOI:https://doi.org/10.1145/1639950.1640073 Jonathan Aldrich Joshua Sunshine Darpan Saini and Zachary Sparks. 2009. Typestate-oriented programming. In Companion of Object Oriented Programming Systems Languages and Applications (OOPSLA’09). 1015–1022. DOI:DOI:https://doi.org/10.1145/1639950.1640073

3. An Empirical Study of Object Protocols in the Wild

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programming Language Case Studies Can Be Deep;Electronic Proceedings in Theoretical Computer Science;2024-07-10

2. Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation;Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E;2023-10-18

3. Reflecting on Random Generation;Proceedings of the ACM on Programming Languages;2023-08-30

4. How to Evaluate Blame for Gradual Types, Part 2;Proceedings of the ACM on Programming Languages;2023-08-30

5. What’s (Not) Working in Programmer User Studies?;ACM Transactions on Software Engineering and Methodology;2023-07-24