PLATEAU@SPLASH最新文献

筛选
英文 中文
A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context 数据库环境下多语言编程影响的随机对照试验
PLATEAU@SPLASH Pub Date : 2019-01-24 DOI: 10.4230/OASIcs.PLATEAU.2018.1
P. M. Uesbeck, A. Stefik
{"title":"A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context","authors":"P. M. Uesbeck, A. Stefik","doi":"10.4230/OASIcs.PLATEAU.2018.1","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2018.1","url":null,"abstract":"Using more than one programming language in the same project is common practice. Often, additional languages might be introduced to projects to solve specific issues. While the practice is common, it is unclear whether it has an impact on developer productivity. In this paper, we present a pilot study investigating what happens when programmers switch between programming languages. The experiment is a repeated measures double-blind randomized controlled trial with 3 groups with various kinds of code switching in a database context. Results provide a rigorous testing methodology that can be replicated by us or others and a theoretical backing for why these effects might exist from the linguistics literature. 2012 ACM Subject Classification Software and its engineering → Software development techniques","PeriodicalId":408760,"journal":{"name":"PLATEAU@SPLASH","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115146870","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}
引用次数: 5
QDB: From Quantum Algorithms Towards Correct Quantum Programs QDB:从量子算法到正确的量子程序
PLATEAU@SPLASH Pub Date : 2018-11-13 DOI: 10.4230/OASIcs.PLATEAU.2018.4
Yipeng Huang, M. Martonosi
{"title":"QDB: From Quantum Algorithms Towards Correct Quantum Programs","authors":"Yipeng Huang, M. Martonosi","doi":"10.4230/OASIcs.PLATEAU.2018.4","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2018.4","url":null,"abstract":"With the advent of small-scale prototype quantum computers, researchers can now code and run quantum algorithms that were previously proposed but not fully implemented. In support of this growing interest in quantum computing experimentation, programmers need new tools and techniques to write and debug QC code. In this work, we implement a range of QC algorithms and programs in order to discover what types of bugs occur and what defenses against those bugs are possible in QC programs. We conduct our study by running small-sized QC programs in QC simulators in order to replicate published results in QC implementations. Where possible, we cross-validate results from programs written in different QC languages for the same problems and inputs. Drawing on this experience, we provide a taxonomy for QC bugs, and we propose QC language features that would aid in writing correct code.","PeriodicalId":408760,"journal":{"name":"PLATEAU@SPLASH","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122365119","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}
引用次数: 33
Observing the Uptake of a Language Change Making Strings Immutable 观察语言变化的吸收,使字符串不可变
PLATEAU@SPLASH Pub Date : 1900-01-01 DOI: 10.4230/OASICS.PLATEAU.2018.6
Manuel Maarek
{"title":"Observing the Uptake of a Language Change Making Strings Immutable","authors":"Manuel Maarek","doi":"10.4230/OASICS.PLATEAU.2018.6","DOIUrl":"https://doi.org/10.4230/OASICS.PLATEAU.2018.6","url":null,"abstract":"To address security concerns, a major change was introduced to the OCaml language and compiler which made strings immutable and introduced array of bytes as replacement for mutable strings. The change is progressively being pushed so that ultimately strings will be immutable. We have investigated the way OCaml package developers undertook the change. In this paper we report on a preliminary observation of software code from the main OCaml package management system. For this purpose we instrumented versions of the OCaml compiler to get precise information into the uptake of safe strings. 2012 ACM Subject Classification Software and its engineering → Software evolution","PeriodicalId":408760,"journal":{"name":"PLATEAU@SPLASH","volume":"27 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":"128967574","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}
引用次数: 0
Understanding Java Usability by Mining GitHub Repositories 通过挖掘GitHub存储库了解Java可用性
PLATEAU@SPLASH Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2018.2
Mark Lemay
{"title":"Understanding Java Usability by Mining GitHub Repositories","authors":"Mark Lemay","doi":"10.4230/OASIcs.PLATEAU.2018.2","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2018.2","url":null,"abstract":"There is a need for better empirical methods in programming language design. This paper addresses that need by demonstrating how, by observing publicly available Java source code, we can infer usage and usability issues with the Java language. In this study, 1,746 GitHub projects were analyzed and some basic usage facts are reported. 2012 ACM Subject Classification Human-centered computing → Empirical studies in HCI","PeriodicalId":408760,"journal":{"name":"PLATEAU@SPLASH","volume":"11 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":"132332221","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}
引用次数: 4
Programming by Example: Efficient, but Not "Helpful" 范例编程:高效,但不“有用”
PLATEAU@SPLASH Pub Date : 1900-01-01 DOI: 10.4230/OASIcs.PLATEAU.2018.3
Mark Santolucito, Drew Goldman, Allyson Weseley, R. Piskac
{"title":"Programming by Example: Efficient, but Not \"Helpful\"","authors":"Mark Santolucito, Drew Goldman, Allyson Weseley, R. Piskac","doi":"10.4230/OASIcs.PLATEAU.2018.3","DOIUrl":"https://doi.org/10.4230/OASIcs.PLATEAU.2018.3","url":null,"abstract":"Programming by example (PBE) is a powerful programming paradigm based on example driven synthesis. Users can provide examples, and a tool automatically constructs a program that satisfies the examples. To investigate the impact of PBE on real-world users, we built a study around StriSynth, a tool for shell scripting by example, and recruited 27 working IT professionals to participate. In our study we asked the users to complete three tasks with StriSynth, and the same three tasks with PowerShell, a traditional scripting language. We found that, although our participants completed the tasks more quickly with StriSynth, they reported that they believed PowerShell to be a more helpful tool.","PeriodicalId":408760,"journal":{"name":"PLATEAU@SPLASH","volume":"6 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":"115395224","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}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信