ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity最新文献_第4页

MobileDeli'14 workshop: welcome message of the chairs MobileDeli’14工作坊:主席欢迎辞

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2662142

Aharon Abadi, Danny Dig, E. Tilevich

{"title":"MobileDeli'14 workshop: welcome message of the chairs","authors":"Aharon Abadi, Danny Dig, E. Tilevich","doi":"10.1145/2660252.2662142","DOIUrl":"https://doi.org/10.1145/2660252.2662142","url":null,"abstract":"Mobile application usage and development is experiencing exponential growth. According to Gartner, by 2016 more than 300 billion applications will be downloaded annually. The mobile domain presents new challenges to software engineering. Mobile platforms are rapidly changing, including diverse capabilities as GPS, sensors, and input modes. Applications must be omni-channel and work on all platforms. Activated on mobile platforms, modern applications must be elastic and scale on demand according to the hardware abilities. Applications often need to support and use third-party services. Therefore, during development, security and authorization processes for the dataflow must be applied. Bring your own device (BYOD) policies bring new security data leaks challenges. Developing such applications requires suitable practices and tools e.g., architecture techniques that relate to the complexity at hand; improved refactoring tools for hybrid applications using dynamic languages and polyglot development and applications; and testing techniques for applications that run on different devices. This workshop aims at establishing a community of researchers and practitioners to share their work and lead further research in the mobile software engineering. The workshop has several goals. First, we want to develop relationships to create a vibrant research community in the area of mobile software development. Second, we want to identify the most important research problems for mobile software development.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134005165","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

Enhancing conformance checking for contract-based programs 加强基于合同的程序的一致性检查

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-20 DOI: 10.1145/2660252.2660396

Alysson Milanez, T. Massoni, Rohit Gheyi

引用次数: 0

Pocket code: a scratch-like integrated development environment for your phone Pocket code:为您的手机提供的集成开发环境

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2014-10-14 DOI: 10.1145/2660252.2664662

W. Slany

{"title":"Pocket code: a scratch-like integrated development environment for your phone","authors":"W. Slany","doi":"10.1145/2660252.2664662","DOIUrl":"https://doi.org/10.1145/2660252.2664662","url":null,"abstract":"In our free open source project Catrobat, we are developing Pocket Code, an integrated development environment (IDE) for a visual, Lego-block style programming language that is inspired by MIT's Scratch. In contrast to Scratch and AppInventor, Pocket Code is designed to completely run on smartphones -- no PC whatsoever is needed to develop or execute the programs. Our motivation is to allow teenagers to intuitively create and easily share their own mobile apps. The large project includes more than 20 subprojects that complement Pocket Code in various ways, e.g., an image editor app that supports transparency and zooming up to pixel level. According to Ohloh, as of June 2014 more than 371 person years have been invested by 270 volunteer contributors from more than 20 countries into Catrobat. All development is done in an agile, extremely iterative and test-driven way, with a strong focus on maintainability, usability, and design. Subteams in parallel develop native versions of Catrobat interpreters that are integrated into corresponding Pocket Code IDEs for the Android, iOS, and Windows Phone platforms as well as for HTML5 capable mobile browsers, or smartphones supporting HTML5 directly. These native versions are implemented by us respectively in Java, ObjectiveC, C# ' C++, and HTML5/JavaScript. I will demonstrate Pocket Code and also will show how we use automatically checkable specification to ensure that programs behave identically on all platforms even though no cross-compilation tools or common implementation languages are used.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130853273","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}

引用次数: 19

Go at Google 去谷歌

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384720

R. Pike

{"title":"Go at Google","authors":"R. Pike","doi":"10.1145/2384716.2384720","DOIUrl":"https://doi.org/10.1145/2384716.2384720","url":null,"abstract":"The Go programming language was conceived in late 2007 as an answer to some of the problems we were seeing developing software infrastructure at Google. The computing landscape today is almost unrelated to the environment in which the languages being used, mostly C++, Java, and Python, had been created. The problems introduced by multicore processors, networked systems, massive computation clusters, and the web programming model were being worked around rather than addressed head-on. Moreover, the scale has changed: today's server programs comprise tens of millions of lines of code, are worked on by hundreds or even thousands of programmers, and are updated literally every day. To make matters worse, build times, even on large compilation clusters, have stretched to many minutes, even hours.\u0000 Go was designed and developed to make working in this environment more productive. Besides its better-known aspects such as built-in concurrency and garbage collection, Go's design considerations include rigorous dependency management, the adaptability of software architecture as systems grow, and robustness across the boundaries between components.\u0000 This talk will explain how these issues were addressed while building an efficient, compiled programming language that feels lightweight and pleasant. Examples and explanations will be taken from the real-world problems faced at Google.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":" 94","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120827071","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}

引用次数: 25

Staged program development 分阶段节目开发

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384719

K. Leino

{"title":"Staged program development","authors":"K. Leino","doi":"10.1145/2384716.2384719","DOIUrl":"https://doi.org/10.1145/2384716.2384719","url":null,"abstract":"A major issue facing software development and maintenance is the sheer complexity of programs. Even software designs that start off simple often evolve into programs that are both brittle and hard to understand. In this talk, I advocate programming in stages, where the programming language allows the program design to be described at varying levels of abstraction. Higher levels of abstraction focus on the intent of the design, whereas lower levels of abstraction introduce optimizations and other details. Since the layering is expressed in the programming language, the stages are preserved as part of the program text. Therefore, the stages help break down the program's complexity not only during development but also during maintenance.\u0000 I will describe some language features, both old and new, that encourage staged development. To help communicate the vision, I will demonstrate Dafny, a research programming system whose language blends specifications, imperative programming, and staged program refinements and whose development environment is powered by an automatic program verifier that constantly analyzes the program to help the programmer get details right.\u0000 Joint work with Jason Koenig.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124940800","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 semantic integrated development environment 语义集成开发环境

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384724

F. Logozzo, Mike Barnett, Manuel Fähndrich, P. Cousot, R. Cousot

引用次数: 8

mbeddr: an extensible C-based programming language and IDE for embedded systems mbeddr:一种可扩展的基于c语言的编程语言和嵌入式系统IDE

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384767

M. Völter, D. Ratiu, B. Schätz, Bernd Kolb

引用次数: 102

Migration and execution of JavaScript applications between mobile devices and cloud 在移动设备和云之间迁移和执行JavaScript应用程序

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384750

Xudong Wang, Xuanzhe Liu, Ying Zhang, Gang Huang

引用次数: 20

A methodology for managing database and code changes in a regression testing framework 一种在回归测试框架中管理数据库和代码更改的方法

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384766

R. Salama, J. McGuire, Michael Rosenberg

{"title":"A methodology for managing database and code changes in a regression testing framework","authors":"R. Salama, J. McGuire, Michael Rosenberg","doi":"10.1145/2384716.2384766","DOIUrl":"https://doi.org/10.1145/2384716.2384766","url":null,"abstract":"Large system development typically involves changes to code and database components. In these environments, testing continues to be the biggest challenge. Since release cycles include both database and code changes, thorough testing of existing schemas and code base is paramount. Code needs to be tested with a static database, database changes need to be tested on a static code base, and finally, both changes need to be tested together.\u0000 In this paper we present the testing framework built during the development of Morgan Stanley's enterprise-wide time-series database, Horizon. The database, built using Kx's KDB+/Q, holds both tick-by-tick data originating from real-time feeds as well as periodic data received at regular intervals from vendors. The plant consists of several hundred cooperating processes which connect to real-time feeds, create in-memory databases, persist in-memory databases to disk on a regular basis, manage data set locations, and service client connections. At present, the database plant's size is approximately 1PB with an anticipated growth of .5PB/year.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114566447","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

Programming language abstractions for self-reconfigurable robots 自重构机器人的编程语言抽象

ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity Pub Date : 2012-10-19 DOI: 10.1145/2384716.2384743

U. Schultz

引用次数: 4