Research in magnetic resonance imaging requires reprogramming the software that controls the scanner - a difficult task. We have successfully applied three aspect mining techniques to obtain information about several properties of this complex, non object oriented program.
{"title":"Applying aspect mining techniques to understand an existing program","authors":"Fernanda Campos, Yadran Eterovic","doi":"10.1145/2384716.2384749","DOIUrl":"https://doi.org/10.1145/2384716.2384749","url":null,"abstract":"Research in magnetic resonance imaging requires reprogramming the software that controls the scanner - a difficult task. We have successfully applied three aspect mining techniques to obtain information about several properties of this complex, non object oriented program.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"11 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":"123978911","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}
The development of computer music languages seems to be considered from outside the computer music community just as contributions in practice rather than in research. Yet, the emerging approach of ''Research through Design (RtD)' in HCI also casts a significant question as to how the academic contribution can be made through the design of such DSLs. We describe our practice in the development of a computer music language from the perspective of the RtD.
{"title":"Developing a new computer music programming language in the 'research through design' context","authors":"H. Nishino","doi":"10.1145/2384716.2384736","DOIUrl":"https://doi.org/10.1145/2384716.2384736","url":null,"abstract":"The development of computer music languages seems to be considered from outside the computer music community just as contributions in practice rather than in research. Yet, the emerging approach of ''Research through Design (RtD)' in HCI also casts a significant question as to how the academic contribution can be made through the design of such DSLs. We describe our practice in the development of a computer music language from the perspective of the RtD.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"51 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":"128921487","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}
This paper presents an outline of the issues encountered in the progression from wired PCs to supporting Bring Your Own Device (BYOD) for learners. The paper also documents the simultaneous transition to cloud hosting of teaching resources. The paper describes the issues that Letterkenny Institute of Technology faced in the planning and evaluation phase during the move to BYOD. It is expected that the details provided here will be of benefit to other educational institutions considering such a move
{"title":"Bring your own device (BYOD) with Cloud 4 education","authors":"Ruth G. Lennon","doi":"10.1145/2384716.2384771","DOIUrl":"https://doi.org/10.1145/2384716.2384771","url":null,"abstract":"This paper presents an outline of the issues encountered in the progression from wired PCs to supporting Bring Your Own Device (BYOD) for learners. The paper also documents the simultaneous transition to cloud hosting of teaching resources. The paper describes the issues that Letterkenny Institute of Technology faced in the planning and evaluation phase during the move to BYOD. It is expected that the details provided here will be of benefit to other educational institutions considering such a move","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"12 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":"125506983","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}
Hridesh Rajan, M. Haupt, Christoph Bockisch, S. Blackburn
The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be expressed at the intermediate language level, how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts.
{"title":"6th workshop on virtual machines and intermediate languages (VMIL'12)","authors":"Hridesh Rajan, M. Haupt, Christoph Bockisch, S. Blackburn","doi":"10.1145/2384716.2384780","DOIUrl":"https://doi.org/10.1145/2384716.2384780","url":null,"abstract":"The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be expressed at the intermediate language level, how their implementations can be optimized, and how virtual machine architectures might be shaped to facilitate such implementation efforts.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"70 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":"126782398","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}
D. Rahon, Raphaël Gayno, J. Gratien, Goulwen Le Fur, Sébastien Schneider
For several years now the IFP Energies nouvelles (IF-PEN) group has been developing the OpenFlowSuite, a software suite in the oil and gas domain based on Eclipse RCP, incorporating graphical components and parallel calculators. These calculators are themselves developed in Fortran or C/C++. The processing chain "data entry", "database persistence", "calculator input", "execution" and "result processing" entails mapping between models and requires the development and maintenance of complex communication code. The pro-gress made in recent years in the field of model driven engineering, and the accompanying Eclipse tools, led us to consider introducing these solutions in management of the communication code. In this article we describe the introduction and use of Model Driven Engineering (MDE) Eclipse tools in this context of industrial development of distributed scientific applications.
{"title":"Migration to model driven engineering in the development process of distributed scientific application software","authors":"D. Rahon, Raphaël Gayno, J. Gratien, Goulwen Le Fur, Sébastien Schneider","doi":"10.1145/2384716.2384772","DOIUrl":"https://doi.org/10.1145/2384716.2384772","url":null,"abstract":"For several years now the IFP Energies nouvelles (IF-PEN) group has been developing the OpenFlowSuite, a software suite in the oil and gas domain based on Eclipse RCP, incorporating graphical components and parallel calculators. These calculators are themselves developed in Fortran or C/C++. The processing chain \"data entry\", \"database persistence\", \"calculator input\", \"execution\" and \"result processing\" entails mapping between models and requires the development and maintenance of complex communication code. The pro-gress made in recent years in the field of model driven engineering, and the accompanying Eclipse tools, led us to consider introducing these solutions in management of the communication code. In this article we describe the introduction and use of Model Driven Engineering (MDE) Eclipse tools in this context of industrial development of distributed scientific applications.","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":"126849914","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}
New programming languages are frequently designed to improve upon other languages or to simplify programs through domain-specific abstractions. They are often implemented as transformations to an established (intermediate) language (IL). But while many new languages overlap in the semantics of their core concepts, re-using the corresponding transformations is limited by existing compiler implementation frameworks. In the ALIA4J approach, we have identified dispatching as fundamental to most abstraction mechanisms and provide a meta-model of dispatching as a rich, extensible IL. Based on this meta-model, the semantics of new atomic language concepts can be implemented in a modular and portable fashion. For the execution of the IL, we provide both platform-independent and platform-dependent Java Virtual Machine extensions, the latter of which allows the modular implementation of machine code optimizations. In this demo, participants get an overview of advanced dispatching and the ALIA4J approach. By the example of a language for text-based adventure games, they will see the usage of ALIA4J as back-end for a language developed in a modern Language Workbench. Finally, the implementation of new atomic language concepts and their optimization is demonstrated.
{"title":"The ALIA4J approach to efficient language implementation","authors":"Christoph Bockisch, Andreas Sewe","doi":"10.1145/2384716.2384726","DOIUrl":"https://doi.org/10.1145/2384716.2384726","url":null,"abstract":"New programming languages are frequently designed to improve upon other languages or to simplify programs through domain-specific abstractions. They are often implemented as transformations to an established (intermediate) language (IL). But while many new languages overlap in the semantics of their core concepts, re-using the corresponding transformations is limited by existing compiler implementation frameworks. In the ALIA4J approach, we have identified dispatching as fundamental to most abstraction mechanisms and provide a meta-model of dispatching as a rich, extensible IL. Based on this meta-model, the semantics of new atomic language concepts can be implemented in a modular and portable fashion. For the execution of the IL, we provide both platform-independent and platform-dependent Java Virtual Machine extensions, the latter of which allows the modular implementation of machine code optimizations.\u0000 In this demo, participants get an overview of advanced dispatching and the ALIA4J approach. By the example of a language for text-based adventure games, they will see the usage of ALIA4J as back-end for a language developed in a modern Language Workbench. Finally, the implementation of new atomic language concepts and their optimization is demonstrated.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"30 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":"126486028","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}
This demonstration shows the Storyteller version control system. The tool aims to change the way software developers learn by opening up for examination how they do their work. The tool has traditional version control functionality (branching and merging) but in addition it records how development work is done, organizes it, and allows it to be played back for others. Most importantly, the tool allows developers to tell stories about what they did and why. It captures and organizes institutional knowledge that would otherwise be lost.
{"title":"The storyteller version control system: tackling version control, code comments, and team learning","authors":"M. Mahoney","doi":"10.1145/2384716.2384725","DOIUrl":"https://doi.org/10.1145/2384716.2384725","url":null,"abstract":"This demonstration shows the Storyteller version control system. The tool aims to change the way software developers learn by opening up for examination how they do their work. The tool has traditional version control functionality (branching and merging) but in addition it records how development work is done, organizes it, and allows it to be played back for others. Most importantly, the tool allows developers to tell stories about what they did and why. It captures and organizes institutional knowledge that would otherwise be lost.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"36 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":"125002979","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}
S. Fraser, R. Gabriel, Gail E. Harris, Ricardo Lopez, D. Mancl, W. Opdyke
There are many design and delivery trade-offs that engineers face in creating or evolving software systems. Challenges in accelerating delivery, offering more features, providing better more reliable systems, or managing costs - whose optimization are just some of the hurdles that contribute to system success (or failure). This panel will discuss the heuristics of trade-offs, the inherent risks - and plans to build on the success of the 2012 SPLASH workshop "What Drives Design".
{"title":"Trade-offs in software design and delivery","authors":"S. Fraser, R. Gabriel, Gail E. Harris, Ricardo Lopez, D. Mancl, W. Opdyke","doi":"10.1145/2384716.2384741","DOIUrl":"https://doi.org/10.1145/2384716.2384741","url":null,"abstract":"There are many design and delivery trade-offs that engineers face in creating or evolving software systems. Challenges in accelerating delivery, offering more features, providing better more reliable systems, or managing costs - whose optimization are just some of the hurdles that contribute to system success (or failure). This panel will discuss the heuristics of trade-offs, the inherent risks - and plans to build on the success of the 2012 SPLASH workshop \"What Drives Design\".","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"27 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":"131392842","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}
We present Truffle, a novel framework for implementing managed languages in Java™. The language implementer writes an AST interpreter, which is integrated in our framework that allows tree rewriting during AST interpretation. Tree rewrites incorporate type feedback and other profiling information into the tree, thus specializing the tree and augmenting it with run-time information. When the tree reaches a stable state, partial evaluation compiles the tree into optimized machine code. The partial evaluation is done by Graal, the just-in-time compiler of our Java VM (a variation of the Java HotSpot VM). To show that Truffle supports a variety of programming language paradigms, we present prototype implementations of JavaScript (a dynamically typed programming language) and J (an array programming language).
我们提出了Truffle，一个在Java™中实现托管语言的新框架。语言实现者编写一个AST解释器，它集成在我们的框架中，允许在AST解释期间重写树。重写树将类型反馈和其他分析信息合并到树中，从而专门化树并使用运行时信息对其进行扩展。当树达到稳定状态时，部分求值将树编译为优化的机器代码。部分求值由Graal完成，它是Java VM (Java HotSpot VM的一个变体)的即时编译器。为了证明Truffle支持多种编程语言范式，我们给出了JavaScript(一种动态类型编程语言)和J(一种数组编程语言)的原型实现。
{"title":"Truffle: a self-optimizing runtime system","authors":"Christian Wimmer, Thomas Würthinger","doi":"10.1145/2384716.2384723","DOIUrl":"https://doi.org/10.1145/2384716.2384723","url":null,"abstract":"We present Truffle, a novel framework for implementing managed languages in Java™. The language implementer writes an AST interpreter, which is integrated in our framework that allows tree rewriting during AST interpretation. Tree rewrites incorporate type feedback and other profiling information into the tree, thus specializing the tree and augmenting it with run-time information. When the tree reaches a stable state, partial evaluation compiles the tree into optimized machine code. The partial evaluation is done by Graal, the just-in-time compiler of our Java VM (a variation of the Java HotSpot VM). To show that Truffle supports a variety of programming language paradigms, we present prototype implementations of JavaScript (a dynamically typed programming language) and J (an array programming language).","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"5 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":"134206227","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}
Analyzing the wealth of information contained in software repositories requires significant expertise in mining techniques as well as a large infrastructure. In order to make this information more reachable for non-experts, we present the Boa language and infrastructure. Using Boa, these mining tasks are much simpler to write as the details are abstracted away. Boa programs also run on a distributed cluster to automatically provide massive parallelization to users and return results in minutes instead of potentially days.
{"title":"Analyzing ultra-large-scale code corpus with boa","authors":"Robert Dyer, H. Nguyen, Hridesh Rajan, T. Nguyen","doi":"10.1145/2384716.2384729","DOIUrl":"https://doi.org/10.1145/2384716.2384729","url":null,"abstract":"Analyzing the wealth of information contained in software repositories requires significant expertise in mining techniques as well as a large infrastructure. In order to make this information more reachable for non-experts, we present the Boa language and infrastructure. Using Boa, these mining tasks are much simpler to write as the details are abstracted away. Boa programs also run on a distributed cluster to automatically provide massive parallelization to users and return results in minutes instead of potentially days.","PeriodicalId":194590,"journal":{"name":"ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity","volume":"122 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":"124923704","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：