Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences最新文献

Deep Fusion for Efficient Nested Recursive Computations 高效嵌套递归计算的深度融合

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568698

A. Shaikhha

引用次数: 2

Composable Sequence Macros for Fast Iteration 用于快速迭代的可组合序列宏

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568696

Anna Bolotina, Ryan Culpepper

引用次数: 0

Generic Solution-Space Sampling for Multi-domain Product Lines 多域产品线的通用解空间抽样

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568695

Marc Hentze, T. Pett, Chico Sundermann, S. Krieter, Thomas Thüm, Ina Schaefer

引用次数: 3

SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API SQL to Stream with S2S: Java Stream API的自动基准测试生成器

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568699

F. Schiavio, Andrea Rosà, Walter Binder

引用次数: 2

Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems 基于视图的变量系统演化中相互关联模型的一致性保持

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568685

Sofia Ananieva, Thomas Kühn, R. Reussner

{"title":"Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems","authors":"Sofia Ananieva, Thomas Kühn, R. Reussner","doi":"10.1145/3564719.3568685","DOIUrl":"https://doi.org/10.1145/3564719.3568685","url":null,"abstract":"Coping with different and changing requirements leads to concurrent products (variability in space) and subsequent revisions (variability in time). Moreover, products consist of interrelated models that represent different kinds of artifacts. Dependencies and redundancies between interrelated models within a product and across products can quickly lead to inconsistencies during evolution. Thus, dealing with both variability dimensions uniformly while preserving consistency of interrelated models is a major challenge when developing large and long-living variable systems. Recent research addresses uniform management of variability in space and time by unifying concepts and operations from software product line engineering and software configuration management. However, consistency preservation for interrelated models, which is a major research topic in model-driven software development, has hardly been considered in variability management. We propose an approach that builds on recent efforts for unifying variability in space and time and leverages view-based consistency preservation for systems comprised of different kinds of interrelated models. We evaluate our approach by applying it to two real-world case studies: the well-known ArgoUML-SPL, that is based on the UML modeling tool ArgoUML, and MobileMedia, a mobile application for media management. Our results show that, by manually evolving only the Java models of products, other interrelated models (i.e.,~UML class diagrams) and the remaining affected products can be kept consistent fully automatically.","PeriodicalId":423660,"journal":{"name":"Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132190618","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

A Modern C++ Point of View of Programming in Image Processing 现代c++在图像处理编程中的应用

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568692

Michaël Roynard, Edwin Carlinet, T. Géraud

{"title":"A Modern C++ Point of View of Programming in Image Processing","authors":"Michaël Roynard, Edwin Carlinet, T. Géraud","doi":"10.1145/3564719.3568692","DOIUrl":"https://doi.org/10.1145/3564719.3568692","url":null,"abstract":"C++ is a multi-paradigm language that enables the programmer to set up efficient image processing algorithms easily. This language strength comes from many aspects. C++ is high-level, so this enables developing powerful abstractions and mixing different programming styles to ease the development. At the same time, C++ is low-level and can fully take advantage of the hardware to deliver the best performance. It is also very portable and highly compatible which allows algorithms to be called from high-level, fast-prototyping languages such as Python or Matlab. One fundamental aspects where C++ shines is generic programming. Generic programming makes it possible to develop and reuse bricks of software on objects (images) of different natures (types) without performance loss. Nevertheless, conciliating genericity, efficiency, and simplicity at the same time is not trivial. Modern C++ (post-2011) has brought new features that made it simpler and more powerful. In this paper, we focus on some C++20 aspects of generic programming: ranges, views, and concepts, and see how they extend to images to ease the development of generic image algorithms while lowering the computation time.","PeriodicalId":423660,"journal":{"name":"Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114504869","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

Language Support for Refactorability Decay Prevention 对可重构性衰减预防的语言支持

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568688

D. Fraivert, D. Lorenz

{"title":"Language Support for Refactorability Decay Prevention","authors":"D. Fraivert, D. Lorenz","doi":"10.1145/3564719.3568688","DOIUrl":"https://doi.org/10.1145/3564719.3568688","url":null,"abstract":"Even code that is free of smells may be at high risk of forming them. In such cases, developers can either perform preventive refactoring in order to reduce this risk, or leave the code as is and perform corrective refactoring as smells emerge. In practice, however, developers usually avoid preventive refactoring during the development phase, and when code smells eventually form, other developers who are less acquainted with the code avoid the more complex corrective refactoring. As a result, a refactoring opportunity is missed, and the quality and maintainability of the code is compromised. In this work, we treat refactoring not as a single atomic action, but rather as a sequence of subactions. We divide the responsibility for these subactions between the original developer of the code, who just prepares the code for refactoring, and a future developer, who may need to carry out the actual refactoring action. To manage this division of responsibility, we introduce a set of annotations along with an annotation processor that prevents software erosion from compromising the ability to perform the refactoring action.","PeriodicalId":423660,"journal":{"name":"Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114739645","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

Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing 基于动态前向切片的多无人机任务动态重规划

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568694

Miguel Campusano, Ulrik Pagh Schultz Lundquist

{"title":"Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing","authors":"Miguel Campusano, Ulrik Pagh Schultz Lundquist","doi":"10.1145/3564719.3568694","DOIUrl":"https://doi.org/10.1145/3564719.3568694","url":null,"abstract":"Unmanned Aerial Systems (UAS, typically known as drones) are useful in many application domains, such as logistics and precision farming, especially when they fly Beyond Visual Line of Sight (BVLOS). To effectively use multiple UAS for BVLOS missions, it is required to precisely plan the flight of each UAS involved in the missions, allocating the required airspace ahead of time. The dots Domain-Specific Language (DSL) can be used to plan and execute such missions but does not support the adaptation of missions when unexpected changes occur during the execution of these missions. Such dynamic replanning of missions to changing conditions is a crucial feature for the safe integration of UAS into the airspace since it allows the UAS to adapt to these changes, such as yielding to emergency response aircraft. In this work, we propose a program transformation technique inspired by program slicing to dynamically replan ongoing dots-specified multi-UAS missions using the same planner built for the dots language. Whenever dynamic replanning is needed, we compute a forward slice of the dots program based on the current runtime state of the mission. This generates a new program that obeys the original mission specification but only specifies the mission from the point in time where the replanning is needed. We validate our proposed technique by integrating it into ros-dots, a service-oriented architecture for autonomous UAS operations.","PeriodicalId":423660,"journal":{"name":"Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121374674","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

Language Design Meets Verifying Compilers (Keynote) 语言设计与验证编译器(主题演讲)

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3570917

David J. Pearce

{"title":"Language Design Meets Verifying Compilers (Keynote)","authors":"David J. Pearce","doi":"10.1145/3564719.3570917","DOIUrl":"https://doi.org/10.1145/3564719.3570917","url":null,"abstract":"The dream of developing compilers that automatically verify whether or not programs meet their specifications remains an ongoing challenge. Such \"verifying compilers\" are (finally) on the verge of entering mainstream software development. This is partly due to advancements made over the last few decades, but also to the increasingly significant and complex role software plays in the modern world. As computer scientists, we should encourage this transition and help relegate many forms of software error to the history books. One way of increasing adoption is to design languages around these tools which look, on the surface, like regular programming languages. That is, to seamlessly integrate specification and verification and offer something that, for the everyday programmer, appears as nothing more than glorified type checking. This requires, amongst other things, careful consideration as to which language features mesh well with verification, and which do not. The design space here is interesting and subtle, but has been largely overlooked. In this talk, I will attempt to shed light on this murky area by contrasting the choices made in two existing languages: Dafny and Whiley.","PeriodicalId":423660,"journal":{"name":"Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128522232","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

Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices 模型驱动的物联网应用商店:将可定制的软件产品部署到异构设备

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences Pub Date : 2022-11-29 DOI: 10.1145/3564719.3568689

J. C. Kirchhof, A. Kleiss, Judith Michael, R. Orlov, B. Rumpe

引用次数: 1