Search Results - automation of parallel program debugging
-
1
Automation of Debugging Parallel Programs in the DVM System
ISSN: 2070-0482, 2070-0490Published: Moscow Pleiades Publishing 01.12.2024Published in Mathematical models and computer simulations (01.12.2024)“…Debugging parallel programs is a labor-intensive and nontrivial task. Parallel algorithms are usually significantly more complex than their sequential counterparts for the same problems…”
Get full text
Journal Article -
2
Automatic performance debugging of SPMD-style parallel programs
ISSN: 0743-7315, 1096-0848Published: Amsterdam Elsevier Inc 01.07.2011Published in Journal of parallel and distributed computing (01.07.2011)“…Automatic performance debugging of parallel applications includes two main steps…”
Get full text
Journal Article -
3
The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
ISSN: 1064-2307, 1555-6530Published: Moscow Pleiades Publishing 01.07.2017Published in Journal of computer & systems sciences international (01.07.2017)“…A modification of the method of automated validity verification used in debugging parallel programs for computers with distributed memory is proposed…”
Get full text
Journal Article -
4
Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences
ISSN: 0098-5589, 1939-3520Published: New York IEEE 01.11.2016Published in IEEE transactions on software engineering (01.11.2016)“…This paper describes an efficient parallel algorithm that uses many-core GPUs for automatically deriving Unique Input Output sequences (UIOs…”
Get full text
Journal Article -
5
enDebug: A hardware–software framework for automated energy debugging
ISSN: 0743-7315, 1096-0848Published: Elsevier Inc 01.10.2016Published in Journal of parallel and distributed computing (01.10.2016)“… In this paper, we propose enDebug, an energy debugging framework that aims to automate the process of energy debugging…”
Get full text
Journal Article -
6
Automatic Generation of Unit Tests for Correlated Variables in Parallel Programs
ISSN: 0885-7458, 1573-7640Published: New York Springer US 01.06.2016Published in International journal of parallel programming (01.06.2016)“… % of all non-deadlock concurrency bugs. A solution to prevent this problem is the automatic generation of parallel unit tests…”
Get full text
Journal Article -
7
The experience of using DVM and SAPFOR systems in semi automatic parallelization of an application for 3D modeling in geophysics
ISSN: 0920-8542, 1573-0484Published: New York Springer US 01.12.2019Published in The Journal of supercomputing (01.12.2019)“…The DVM and SAPFOR systems were primary designed to simplify the development of parallel programs of scientific-technical calculations…”
Get full text
Journal Article -
8
MEEK: Re-thinking Heterogeneous Parallel Error Detection Architecture for Real-World OoO Superscalar Processors
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Heterogeneous parallel error detection is an approach to achieving fault-tolerant processors, leveraging multiple power-efficient cores to re-execute software originally run on a high-performance core…”
Get full text
Conference Proceeding -
9
Automated Repair of Multi-fault Programs: Obstacles, Approaches, and Prospects
ISSN: 2643-1572Published: ACM 27.10.2024Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“… The paper also describes three repair approaches for multi-fault programs, namely iterative, parallel, and simultaneous…”
Get full text
Conference Proceeding -
10
Time-Aware Instrumentation of Embedded Software
ISSN: 1551-3203, 1941-0050Published: Piscataway IEEE 01.11.2010Published in IEEE transactions on industrial informatics (01.11.2010)“… It is particularly important for debugging embedded systems. Instrumented programs produce data traces which enable the developer to locate the origins of misbehaviors in the system under test…”
Get full text
Journal Article -
11
Software Testing and Verification in Climate Model Development
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.11.2011Published in IEEE software (01.11.2011)“… Computer infrastructure over that period has gone from punchcard mainframes to modern parallel clusters…”
Get full text
Journal Article -
12
Automated Analysis of Flakiness-mitigating Delays
ISSN: 2833-9061Published: ACM 01.10.2020Published in 2020 IEEE/ACM 15th International Conference on Automation of Software Test (AST) (01.10.2020)“…During testing of parallel systems, which allow asynchronous communication, test flakiness is sometimes avoided by explicitly inserting delays in test code…”
Get full text
Conference Proceeding -
13
A Scalable Prescriptive Parallel Debugging Model
ISSN: 1530-2075Published: IEEE 01.05.2015Published in Proceedings - IEEE International Parallel and Distributed Processing Symposium (01.05.2015)“…Debugging is a critical step in the development of any parallel program. However, the traditional interactive debugging model, where users manually step…”
Get full text
Conference Proceeding -
14
Coding Agents: A Comprehensive Survey of Automated Bug Fixing Systems and Benchmarks
ISSN: 2473-5655Published: IEEE 07.03.2025Published in Proceedings (International Conference on Communication Systems and Network Technologies Online) (07.03.2025)“…One of the trickiest problems in software engineering is automating software issue fixes, which calls for a thorough comprehension of contextual relationships, code semantics, and dynamic debugging techniques…”
Get full text
Conference Proceeding -
15
RunAssert: A non-intrusive run-time assertion for parallel programs debugging
ISBN: 1424470544, 9781424470549ISSN: 1530-1591Published: IEEE 01.03.2010Published in 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) (01.03.2010)“… Therefore, current intrusive debugging methodologies for sequential programs cannot be used directly in parallel programs in a multicore environment…”
Get full text
Conference Proceeding -
16
Two automated techniques for analyzing and debugging Mpi-based programs
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 04.11.2013Published in arXiv.org (04.11.2013)“…Message Passing Interface (MPI) is the most commonly used paradigm in writing parallel programs since it can be employed not only within a single processing node but also across several connected ones…”
Get full text
Paper -
17
Debugging Ada Tasking Programs
ISSN: 0740-7459, 1937-4194Published: Los Alamitos IEEE 01.03.1985Published in IEEE software (01.03.1985)“…Debuggers for parallel programs have to be more than passive information gatherers-they should automatically detect errors…”
Get full text
Journal Article -
18
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
ISSN: 2833-9061Published: ACM 01.10.2020Published in 2020 IEEE/ACM 15th International Conference on Automation of Software Test (AST) (01.10.2020)“… programs is challenging to be parallelized due to their inherent historic event sensitivity and incremental…”
Get full text
Conference Proceeding -
19
A temporal logic language for debugging parallel programs
ISBN: 9780818664304, 0818664304Published: IEEE Comput. Soc. Press 1994Published in System Architecture and Integration: Procedings of the 20th Euromicro Conference, Septemeber 5-8, 1994, Liverpool England (1994)“…In this paper we present a temporal logic specification language for debugging parallel programs…”
Get full text
Conference Proceeding -
20
Deterministic event-based control of Virtual Platforms for MPSoC software debugging
Published: IEEE 01.07.2015Published in 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) (01.07.2015)“… However, VPs as used for debugging provide only traditional interfaces, such as step-based debuggers and traces, that do little to help with the enormous complexity of MPSoCs and their parallel software…”
Get full text
Conference Proceeding

