发布求助
文献互助 智能选刊 最新文献

Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming最新文献

筛选
英文 中文
Bicycles for the mind have to be see-through 心灵的自行车必须是透明的
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397547
K. Agaram
{"title":"Bicycles for the mind have to be see-through","authors":"K. Agaram","doi":"10.1145/3397537.3397547","DOIUrl":"https://doi.org/10.1145/3397537.3397547","url":null,"abstract":"This paper describes ongoing research on building software to be comprehensible to its users so that they can tailor it to their needs in the field. Our test-bed is a computing stack called Mu that deemphasizes a clean interface in favor of a few global implementation properties: small implementation size, few distinct notations, parsimonious dependencies, a simple dependency graph that avoids cycles, and early warning on breaking changes. Assuming a 32-bit x86 processor and (for now) a basic third-party Unix-like kernel, Mu builds up from raw machine code to a memory-safe but less expressive language than C. Our approach to keeping software comprehensible is to reduce information hiding and abstraction, and instead encourage curiosity about internals. Our hypothesis is that abstractions help insiders who understand a project but hinder newcomers who understand only that project's domain. Where recent efforts to create \"bicycles for the mind\" have tended to focus on reducing learning time and effort, we explore organizing the curriculum to be incrementally useful, providing an hour of actionable value for an hour (or three) of study. The hope is that rewarding curiosity will stimulate curiosity in a virtuous cycle, so that more people are motivated to study and reflect on the difference between good vs bad design and good vs bad architecture, even as the study takes place over a lifetime of specialization in other domains. Spreading expertise in design is essential to the creation of a better society of more empowered citizens. Software tools have a role to play in this process, both by exemplifying good design and by providing visceral illustrations of the consequences of design choices.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126698761","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}
引用次数: 1
Rethinking programming “environment”: technical and social environment design toward convivial computing 重新思考编程“环境”:面向欢乐计算的技术与社会环境设计
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397544
Jun Kato, Keisuke Shimakage
{"title":"Rethinking programming “environment”: technical and social environment design toward convivial computing","authors":"Jun Kato, Keisuke Shimakage","doi":"10.1145/3397537.3397544","DOIUrl":"https://doi.org/10.1145/3397537.3397544","url":null,"abstract":"Computers have become ubiquitous in our life and work, and the way that they are built and used needs to be fundamentally improved. Most of the prior effort has been aimed at improving the programming experience for people with specific technical backgrounds (e.g., programmers, end-users, data scientists). In contrast, throughout this paper, we discuss how to make programming activities more inclusive and collaborative, involving people with diverse technical backgrounds. We rethink the programming environment from both technical and social perspectives. First, we briefly introduce our previous technical effort in which the programming environment is shared between the developers and users of programs, eliminating the distinction between programming and runtime environments and fostering communication between them. Second, we introduce our social effort to support people who are visually impaired in implementing customized smart glasses that read words with a camera and speakers. We design their programming environment to consist of a softwarehardware toolkit and engineers with domain expertise called “evangelists.” Learning from these experiences, we discuss several perspectives on convivial computing. To conclude, we argue that both technical innovations made on user interfaces for programming and understanding on the socio-technical aspect of domain-specific applications are critical for the future of programming environments, and accordingly, convivial computing.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130122794","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
Towards efficient interdisciplinary authoring of industrial augmented reality applications 面向工业增强现实应用的高效跨学科创作
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3398474
Ingo Börsting, V. Gruhn
{"title":"Towards efficient interdisciplinary authoring of industrial augmented reality applications","authors":"Ingo Börsting, V. Gruhn","doi":"10.1145/3397537.3398474","DOIUrl":"https://doi.org/10.1145/3397537.3398474","url":null,"abstract":"The application of Augmented Reality (AR) supports process optimization in various areas. The beneficial characteristics are particularly evident in the industrial context, where AR can lead to an efficiency increase in the entire product life cycle. However, developing AR applications results in a challenging process, characterized by a role shift based on complex interaction modeling. We present an approach for efficient interdisciplinary authoring of industrial AR applications. Interaction Stories are introduced to enable UI designers and domain experts to create interaction concepts and participate in the development process. A concept for interdisciplinary collaboration enables the constant exchange between actors of different competence levels. The simplification of interaction modeling and the interdisciplinary collaboration are designed to assemble actors to enable an efficient iterative AR development process.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133773258","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
Towards a dynamic multiscale personal information space: beyond application and document centered views of information 走向动态的多尺度个人信息空间:超越以应用和文档为中心的信息观
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397542
A. Fox, Philip J. Guo, C. Klokmose, P. Dalsgaard, Arvind Satyanarayan, Haijun Xia, James Hollan
{"title":"Towards a dynamic multiscale personal information space: beyond application and document centered views of information","authors":"A. Fox, Philip J. Guo, C. Klokmose, P. Dalsgaard, Arvind Satyanarayan, Haijun Xia, James Hollan","doi":"10.1145/3397537.3397542","DOIUrl":"https://doi.org/10.1145/3397537.3397542","url":null,"abstract":"The historical moment when a person worked in front of a single computer has passed. Computers are now ubiquitous and embedded in virtually every new device and system, connecting our personal and professional activities to ever-expanding information resources with previously unimaginable computational power. Yet with all the increases in capacity, speed, and connectivity, our experiences too often remain difficult, awkward, and frustrating. Even after six decades of design evolution there is little of the naturalness and contextual sensitivity required for convivial interaction with computer-mediated information. We envision a future in which the existing world of documents and applications is linked to a multiscale personalized information space in which dynamic visual entities behave in accordance with cognitively motivated rules sensitive to tasks, personal and group interaction histories, and context. The heart of the project is to rethink the nature of computer-mediated information as a basis to begin to fully realize the potential of computers to assist information-based activities. This requires challenging fundamental presuppositions that have led to today’s walled gardens and information silos. Our goal is to catalyze an international research community to rethink the nature of information as a basis for radically advancing the human-centered design of information-based work and helping to ensure the future is one of convivial, effective, and humane systems. In this paper, we propose a new view of information systems, discuss cognitive requirements for a human-centered information space, and sketch a research agenda and approach.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"04 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127177262","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
Three trillion lines: infrastructure for mining GitHub in the classroom 三万亿行:在教室里挖掘GitHub的基础设施
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397551
Toni Mattis, Patrick Rein, R. Hirschfeld
{"title":"Three trillion lines: infrastructure for mining GitHub in the classroom","authors":"Toni Mattis, Patrick Rein, R. Hirschfeld","doi":"10.1145/3397537.3397551","DOIUrl":"https://doi.org/10.1145/3397537.3397551","url":null,"abstract":"The increasing interest in collaborative software development on platforms like GitHub has led to the availability of large amounts of data about development activities. The GHTorrent project has recorded a significant proportion of GitHub’s public event stream and hosts the currently largest public dataset of meta-data about open-source development. We describe our infrastructure that makes this data locally available to researchers and students, examples for research activities carried out on this infrastructure, and what we learned from building the system. We identify a need for domain-specific tools, especially databases, that can deal with large-scale code repositories and associated meta-data and outline open challenges to use them more effectively for research and machine learning settings.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129180769","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
A formalism to model higher-order function 一种对高阶函数进行建模的形式化方法
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3398479
Damien Morard
{"title":"A formalism to model higher-order function","authors":"Damien Morard","doi":"10.1145/3397537.3398479","DOIUrl":"https://doi.org/10.1145/3397537.3398479","url":null,"abstract":"Recent years have seen a significant renewed interest into functional programming. This approach focuses on a more declarative style of programming, as opposed to the imperative view, which focuses on describing computation steps. Therefore, it sits at a higher abstraction level, particularly useful to describe complex modular applications, such as mobile and web user interfaces. Unfortunately, existing formalisms, tools and techniques to model computer systems are ill-suited to describe highly-functional applications. In a effort to tackle this issue, we propose a new formalism, based on high-level Petri nets, that allows to manipulate functions as first-class objects, directly within the model. We present our motivation, introduce our formalism by the means of examples and discuss potential ways to carry out software verification.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114276924","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
Chatting with glue: cognitive tools for augmented conversation 用胶水聊天:增强对话的认知工具
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/zenodo.3889126
Max Krieger
{"title":"Chatting with glue: cognitive tools for augmented conversation","authors":"Max Krieger","doi":"10.1145/zenodo.3889126","DOIUrl":"https://doi.org/10.1145/zenodo.3889126","url":null,"abstract":"Conversation is a creative process. When we converse, we engage rich networks of meaning, forming conceptual connections within and among ourselves. To prevent these connections from fading, we take notes or work together through other external media. Sufficiently rich conversation is a multimedia activity. The recording media we use for conversations (audio, video, text) are immutable, linear, and one-dimensional. As conversation has become computationally-mediated, it has inherited the limitations of these recording media. Both recording and chat media coerce conversation into a structure that contradicts how its content came about in the first place. I propose tools for a more principled chat that embraces the capabilities of our minds and the computational medium. These tools augment conversation, remote or in-person, into a creative activity for knowledge-making.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125407238","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
Enhancement of OpenJDK biased locking for infrequent lock contention 针对不频繁的锁争用，增强了OpenJDK的偏锁
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397562
Ting Wang, Michihiro Horie, Kazunori Ogata, Hao Chen Gui, Xiaohong Guo, Yang Liu
{"title":"Enhancement of OpenJDK biased locking for infrequent lock contention","authors":"Ting Wang, Michihiro Horie, Kazunori Ogata, Hao Chen Gui, Xiaohong Guo, Yang Liu","doi":"10.1145/3397537.3397562","DOIUrl":"https://doi.org/10.1145/3397537.3397562","url":null,"abstract":"Java has a built-in synchronization mechanism and there are many research works to optimize the mechanism by reducing use of costly operations, such as OS monitors and atomic operations. OpenJDK implements biased locking to eliminate all synchronization-related atomic operations for uncontended locks. However, atomic operations are still observed in Hadoop map tasks even though a map task is single-threaded. This paper presents a scenario where a map task causes infrequent lock contentions and an enhancement to help biased locking work better in such situation. Our enhancement includes a new mechanism to profile lock usages, new transitions to enforce those high profiled locks to continue benefit from biased locking, and a mechanism to bypass lock state transition during deoptimization. It accelerated TPC-DS queries execution by 5% on average. We also verified it reduced lock-related atomic operations by up to 50% for map task.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127687569","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
Multiagent live programming systems: models and prospects for critical applications 多智能体实时编程系统:关键应用的模型和前景
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397556
S. Tanimoto
{"title":"Multiagent live programming systems: models and prospects for critical applications","authors":"S. Tanimoto","doi":"10.1145/3397537.3397556","DOIUrl":"https://doi.org/10.1145/3397537.3397556","url":null,"abstract":"Live programming constitutes a human-computer symbiosis in which a human creative activity and a continuous computer execution influence each other. Usually, there is a medium of expression called \"code\" that the human(s) use to express desired behavior on the part of the computer, and the computer provides its feedback in the form of textual, graphical, audio, or other output. The most popular domain for live programming has been music synthesis (\"live coding\"), but the key features of live programming suggest it can play an important role in other applications, even process control or emergency management. This paper breaks down live programming systems in terms of agents, both human and computational, their roles, and representations they typically create and act upon. It then comments on how multi-agent live programming systems could add new flexibility to information systems such as those that manage critical infrastructure or emergency response activity, such as during a COVID-19 type of pandemic or after a major earthquake.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126713785","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
Polyglot code finder 测谎仪
Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming Pub Date : 2020-03-23 DOI: 10.1145/3397537.3397559
Jan Ehmueller, Alexander Riese, Hendrik Tjabben, Fabio Niephaus, R. Hirschfeld
{"title":"Polyglot code finder","authors":"Jan Ehmueller, Alexander Riese, Hendrik Tjabben, Fabio Niephaus, R. Hirschfeld","doi":"10.1145/3397537.3397559","DOIUrl":"https://doi.org/10.1145/3397537.3397559","url":null,"abstract":"With the increasing complexity of software, it becomes even more important to build on the work of others. At the same time, websites, such as Stack Overflow or GitHub, are used by millions of developers to host their code, which could potentially be reused. The process of finding the right code, however, is often time-consuming. In addition, the right solution may be written in a programming language that does not fit the developer's requirements. Current approaches to automate code search allow users to search for code based on keywords and transformation rules, but they are limited to one programming language. Our approach enables developers to find code for reuse written in different languages, which is especially useful when building polyglot applications. In addition to conventional search filters, users can filter code by providing example input and expected output. Based on our approach, we have implemented a tool prototype in GraalSqueak. We evaluate both approach and prototype with an experience report.","PeriodicalId":373173,"journal":{"name":"Companion Proceedings of the 4th International Conference on Art, Science, and Engineering of Programming","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-03-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131454584","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学术文献互助群
群 号：604180095
Book学术官方微信