Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2022
More Ada in non-Ada systems
ACM SIGAda Ada Letters (SIGADA), Volume 41, Issue 2Pages 71–76https://doi.org/10.1145/3530801.3530806This article is based on the industrial presentation "More Ada in non-Ada systems" which was given at the 2021 Ada-Europe virtual conference.
The presentation was an update to the presentation given at the Ada-Europe 2018 conference in Lisbon entitled "...
- research-articleMay 2019
An Introduction to hpxMP: A Modern OpenMP Implementation Leveraging HPX, An Asynchronous Many-Task System
IWOCL '19: Proceedings of the International Workshop on OpenCLArticle No.: 13, Pages 1–10https://doi.org/10.1145/3318170.3318191Asynchronous Many-task (AMT) runtime systems have gained increasing acceptance in the HPC community due to the performance improvements offered by fine-grained tasking runtime systems. At the same time, C++ standardization efforts are focused on creating ...
- posterAugust 2014
Coarrays in GNU Fortran
PACT '14: Proceedings of the 23rd international conference on Parallel architectures and compilationPages 513–514https://doi.org/10.1145/2628071.2671427Coarray Fortran is a set of features of the Fortran 2008 standard which makes Fortran a PGAS language. Currently, the coarray support is provided mainly by commercial compilers like Cray and Intel. In this work we present two coarray implementations on ...
- research-articleFebruary 2014
Transactionalizing legacy code: an experience report using GCC and Memcached
ASPLOS '14: Proceedings of the 19th international conference on Architectural support for programming languages and operating systemsPages 399–412https://doi.org/10.1145/2541940.2541960The addition of transactional memory (TM) support to existing languages provides the opportunity to create new soft- ware from scratch using transactions, and also to simplify or extend legacy code by replacing existing synchronization with language-...
Also Published in:
ACM SIGPLAN Notices: Volume 49 Issue 4ACM SIGARCH Computer Architecture News: Volume 42 Issue 1 - research-articleSeptember 2013
N queens problem: a metaprogramming stress test for the compiler
WGP '13: Proceedings of the 9th ACM SIGPLAN workshop on Generic programmingPages 35–46https://doi.org/10.1145/2502488.2502492A metaprogram solving N queens problem is written using Boost MPL library. The solution is tested using different compilers to examine the level of their practical use for complex metaprogramming tasks. The corresponding benchmark results were obtained.
... - ArticleMay 2005
Refactoring gcc using structure field access traces and concept analysis
WODA '05: Proceedings of the third international workshop on Dynamic analysisPages 1–7https://doi.org/10.1145/1083246.1083248Refactoring usually involves statically analyzing source code to understand which transformations safely preserve execution behavior of the program. However, static analysis may not scale well for large programs when analysis results are too general, ...
Also Published in:
ACM SIGSOFT Software Engineering Notes: Volume 30 Issue 4 - articleDecember 2004
Compiler Hacking for Source Code Analysis
Software Quality Journal (KLU-SQJO), Volume 12, Issue 4Pages 383–406https://doi.org/10.1023/B:SQJO.0000039794.29432.7eMany activities related to software quality assessment and improvement, such as empirical model construction, data flow analysis, testing or reengineering, rely on static source code analysis as the first and fundamental step for gathering the necessary ...
