PLATEAU@UIST最新文献

Human-Centric Program Synthesis 以人为本的程序综合

PLATEAU@UIST Pub Date : 2019-09-26 DOI: 10.4230/OASIcs.PLATEAU.2019.5

Will Crichton

引用次数: 4

Designing Declarative Language Tutorials: A Guided and Individualized Approach 设计声明式语言教程:引导和个性化的方法

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.4

Anael Kuperwajs Cohen, Wode Ni, Joshua Sunshine

引用次数: 0

Approaching Polyglot Programming: What Can We Learn from Bilingualism Studies? 接近多语言编程:我们能从双语研究中学到什么?

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.1

R. L. Hao, Elena L. Glassman

{"title":"Approaching Polyglot Programming: What Can We Learn from Bilingualism Studies?","authors":"R. L. Hao, Elena L. Glassman","doi":"10.4230/OASIcs.PLATEAU.2019.1","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2019.1","url":null,"abstract":"Today’s programmers often need to use multiple programming languages together, enough that this practice has been given the name “polyglot programming.” However, not much is known about how using multiple programming languages aﬀects programmers, despite its increasing ubiquity. If we want to better design programming languages and improve the productivity of programmers who program in multiple programming languages, we should seek to understand the user in this context: we need to better understand the impact that polyglot programming has on programmers. In this paper, we pose several open research questions to begin to approach this question, drawing inspiration from psycholinguistic studies of bilingualism, because despite the diﬀerences between natural languages and programming languages, the questions considered in natural language bilingualism studies are relevant to programming languages, and the existing ﬁndings may prove useful in guiding our intuitions, methods, and priorities as we begin to explore this topic. In particular, we pay close attention to the implications that code switching (switching between languages within a conversation) and interferences (ways an unintended language may inﬂuence one’s use of an intended language) may have on our understanding of how using programming languages may impact a programmer.","PeriodicalId":355084,"journal":{"name":"PLATEAU@UIST","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129900837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Is a Dataframe Just a Table? 数据框只是一个表吗?

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.6

Yifan Wu

引用次数: 5

A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language 黑曜石区块链编程语言的安全性和可用性的初步研究

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.2

Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, B. Myers

{"title":"A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language","authors":"Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, B. Myers","doi":"10.4230/OASIcs.PLATEAU.2019.2","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2019.2","url":null,"abstract":"Although blockchains have been proposed for building systems that execute critical transactions, security vulnerabilities have plagued programs that are deployed on blockchain systems. The programming language Obsidian was developed with the purpose of statically preventing some of the more common of these security risks, specifically the loss of resources and improper manipulation of objects. The question then is whether Obsidian’s novel features impact the usability of the language. In this paper, we begin to evaluate Obsidian with respect to usability, and develop materials for a quantitative user study through a sequence of pilot studies. Specifically, our goal was to assess a) potential usability problems of Obsidian, b) the effectiveness of a tutorial for participants to learn the language, and c) the design of programming tasks to evaluate performance using the language. Our preliminary results tentatively suggest that the complexity of Obsidian’s features do not hinder usability, although these results will be validated in the quantitative study. We also observed the following factors as being important in a given programmer’s ability to learn Obsidian: a) integrating very frequent opportunities for practice of the material – e.g., after less than a page of material at a time, and b) previous programming experience and self-efficacy. 2012 ACM Subject Classification Software and its engineering → Domain specific languages; Humancentered computing → User studies; Human-centered computing → Usability testing","PeriodicalId":355084,"journal":{"name":"PLATEAU@UIST","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126547277","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Live Programming Environment for Deep Learning with Instant and Editable Neural Network Visualization 实时编程环境深度学习与即时和可编辑的神经网络可视化

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.7

Chunqi Zhao, Tsukasa Fukusato, Jun Kato, T. Igarashi

引用次数: 0

Type-Directed Program Transformations for the Working Functional Programmer 面向工作函数式程序员的面向类型的程序转换

PLATEAU@UIST Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2019.3

Justin Lubin, Ravi Chugh

{"title":"Type-Directed Program Transformations for the Working Functional Programmer","authors":"Justin Lubin, Ravi Chugh","doi":"10.4230/OASIcs.PLATEAU.2019.3","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2019.3","url":null,"abstract":"We present preliminary research on Deuce+, a set of tools integrating plain text editing with structural manipulation that brings the power of expressive and extensible type-directed program transformations to everyday, working programmers without a background in computer science or mathematical theory. Deuce+ comprises three components: (i) a novel set of type-directed program transformations, (ii) support for syntax constraints for specifying “code style sheets” as a means of flexibly ensuring the consistency of both the concrete and abstract syntax of the output of program transformations, and (iii) a domain-specific language for specifying program transformations that can operate at a high level on the abstract (and/or concrete) syntax tree of a program and interface with syntax constraints to expose end-user options and alleviate tedious and potentially mutually inconsistent style choices. Currently, Deuce+ is in the design phase of development, and discovering the right usability choices for the system is of the highest priority. 2012 ACM Subject Classification Human-centered computing → Human computer interaction (HCI); Software and its engineering → Domain specific languages; Software and its engineering → Integrated and visual development environments","PeriodicalId":355084,"journal":{"name":"PLATEAU@UIST","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128184719","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2