A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
A practical approach to the symbolic debugging of parallelized code
[chapter]
1994
Lecture Notes in Computer Science
Preserved Fulltext
Code I abstract--A practical technique is presented that supports the debugging of parallelized code through global renaming and name reclamation. ...
After parallelization, a reclamation of names not useful for either the execution or debugging of the code is performed. ...
A preferable approach is to allow the user to execute the transformed code on the parallel system but to debug the code from the viewpoint of the sequential code. ...
doi:10.1007/3-540-57877-3_23
fatcat:3o4jnvpgxvaijfj7njjnsmmvva
Deductive Verification via the Debug Adapter Protocol
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2108.02968v1 fatcat:3u2udv7g3nejxnaeuxdvbdo5nu
This integration is well-represented in the "Debug Adapter Protocol", a widely-used and generic technology to integrate debugging of programs into development environments. ...
of the debug target inside the user interface. ...
We thank the reviewers for their suggestions to improve the presentation. ...
doi:10.4204/eptcs.338.11
fatcat:wjbrs7fz2zgb5c452ujwokgg44
Formal analysis of MPI-based parallel programs
2011
Communications of the ACM
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
key insights addressing the challenges of distributed systems, debugging necessitates collaboration between HPC and formal verification. along with HPC, distributed computing based on communication libraries ...
is going mainstream in the commodity world, two communities that must look to learn and benefit from one another. ...
This approach was originally demonstrated in the VeriSoft 10 tool and has the advantage of not requiring modifications to the program source code, compiler, or libraries. Full-scale debugging. ...
doi:10.1145/2043174.2043194
fatcat:ouhzjx5zsrcvzcmk7kqhaomujy
Studying the advancement in debugging practice of professional software developers
2016
Software quality journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
However, the last study about the state-of-the-art in debugging is still more than 15 years old and so it is not clear whether these new approaches have been applied in practice or not. ...
For that reason, we investigate the current state of debugging in a new comprehensive study. First, we review the available literature and learn about current approaches and study results. ...
The first participant in this company uses mainly full text search or a search for symbols provided by Sublime Text to navigate the code. ...
doi:10.1007/s11219-015-9294-2
fatcat:7c2aa4pyx5fh5p327z6grordue
Studying the Advancement in Debugging Practice of Professional Software Developers
2014
2014 IEEE International Symposium on Software Reliability Engineering Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
However, the last study about the state-of-the-art in debugging is still more than 15 years old and so it is not clear whether these new approaches have been applied in practice or not. ...
For that reason, we investigate the current state of debugging in a new comprehensive study. First, we review the available literature and learn about current approaches and study results. ...
The first participant in this company uses mainly full text search or a search for symbols provided by Sublime Text to navigate the code. ...
doi:10.1109/issrew.2014.36
dblp:conf/issre/SiegmundPTH14
fatcat:iltgjspsnfag7cveczhaqv2mrq
A new approach to debugging optimized code
1992
Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation - PLDI '92
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
Debugging optimized code is a desirable capability not provided by most current debuggers, Usem are forced to debug the unoptimized code when a bug occurs in the optimized version. ...
Current research offers partial solutions for a small class of optimization, but not a unified approach that handles a wide range of optimization, such as the sophisticated optimization performed by supercompluter ...
ACKNOWLEDGEMENTS We would like to acknowledge our colleagues who ...
doi:10.1145/143095.143108
dblp:conf/pldi/BrooksHS92
fatcat:3dl4gza5yvdcrktzrontxlaaeq
Report of the HPC Correctness Summit, Jan 25--26, 2017, Washington, DC
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In this study, we detail one of the most significant productivity challenges in achieving this goal, namely the increasing proclivity to bugs, especially in the face of growing hardware and software heterogeneity ...
We close with the proposal for a two-day workshop in which the problems identified in this report can be more broadly discussed, and specific plans to launch these new research thrusts identified. ...
Conventional Parallel Debugging Parallel debuggers allow programmers to control and to examine the state of threads and processes in a parallel program. ...
arXiv:1705.07478v1
fatcat:2rebouk2tvbqhcfthfhz5abd7i
A Hardware-Aware Debugger for the OpenGL Shading Language
[article]
2007
Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware - HWWS '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The enormous flexibility of the modern GPU rendering pipeline as well as the availability of high-level shader languages have led to an increased demand for sophisticated programming tools. ...
The turn-around time for debugging, profiling, and optimizing GPU-based algorithms is now a critical factor in application development which is not addressed adequately by the tools available. ...
There are a number of debugging tools available [The07, All07, Tot07] that extend the traditional sequential debugging paradigm to support the debugging of parallel tasks. ...
doi:10.2312/eggh/eggh07/081-088
fatcat:rujxrznadrhzfnqabqnzkdvh3e
A parallel debugger with support for distributed arrays, multiple executables and dynamic processes
[chapter]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Color coding makes the visualization more expressive and easier to read. ...
In this paper we present the parallel debugger DETOP with special emphasis on new support for debugging of programs with distributed data structures such as arrays that have been partitioned over a number ...
The nanokernel Ptrace-like debugging support mechanism used by the monitor has been implemented by Parsytec. ...
doi:10.1007/3-540-61053-7_72
fatcat:t3ltvknzjjaajingvszhkqrbla
Symbolic debugging of embedded hardware and software
2001
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
We address the problem that pertains to the retrieval of source values for the globally optimized behavioral specifications. We present a new approach for symbolic debugging. ...
Symbolic debuggers are system-development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the source level. ...
We present a design-for-debugging (DfD) approach for a symbolic debugger to retrieve and display the value of a variable correctly and efficiently in response to a user inquiry about the variable in the ...
doi:10.1109/43.913757
fatcat:3qhhpnhxuvbuha53d3lwp7zev4
Building a graphics debugger
2005
ACM SIGGRAPH 2005 Sketches on - SIGGRAPH '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Our approach to graphics debugging is meant to capture the relationships between the different types of graphics data while still being practical to use: our system works on unmodified applications and ...
Some of these challenges are fundamental to the task of graphics debugging while others are the result of drivers, shaders and hardware being designed with little thought to the graphics debugging process ...
We tear out much of the parallel rendering code used in Chromium, leaving us with lightweight Chromium that consists of the OpenGL stub, a state tracker, context management code, some basic stream processors ...
doi:10.1145/1187112.1187127
dblp:conf/siggraph/DucaNBCBC05
fatcat:xz3lkkrcbrhdzjmilbf36cggke
Facilitating unreachable code diagnosis and debugging
2011
16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
However, once a piece of code is determined to be unreachable, diagnosing the cause of the problem can be challenging: since the code is unreachable, no counterexample can be returned for debugging. ...
To address such a problem, we analyzed the cause of unreachability in several industrial designs and proposed a diagnosis technique that can explain the cause of unreachability. ...
#Diagnosis
DesignA
5074
1m34s
236
36
DesignB
8068
32m5s
1520
15
Debugging parallel programs is more difficult and is similar to debugging hardware code. ...
doi:10.1109/aspdac.2011.5722238
dblp:conf/aspdac/ChouCK11
fatcat:iptzk2uslnb4ret4yqxxyi2rby
Difficult Concepts and Practices of Computational Thinking Using Block-based Programming
2022
International Journal of Computer Science Education in Schools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Data were collected from a CT knowledge test and coding journals. ...
The findings of this study imply that CT instructions should offer additional instructional supports to enhance the mastery of difficult computational concepts and practices. ...
In terms of "parallelism," in the early simple programming, the codes were parallelized as intended, but as the number of sprites and the complexity of the programs increased, the parallelism tended to ...
doi:10.21585/ijcses.v5i3.129
fatcat:bsybtw754rgfxgxgaka43li5ky
Replay Debugging of Real-Time Vxworks Applications
2015
2015 IEEE 39th Annual Computer Software and Applications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The non-determinism within the application execution makes the developers hard to reproduce a failure. 1 As a result, the developers cannot perform cyclic debugging easily on these real-time applications ...
Replay debugging techniques can help developers to replay the failure scenario with determinism. In this paper, we propose an approach to replaying real-time VxWorks applications. ...
Thus, for a practical replay-debugging tool, the overhead of non-deterministic events logging (or recorder modules) must small to minimize the impact of probe effect. ...
doi:10.1109/compsac.2015.270
dblp:conf/compsac/MaLJZ15
fatcat:6qxqn2pz45dyjeisbes6dzdn2q
Compiling business process models for sensor networks
2011
2011 International Conference on Distributed Computing in Sensor Systems and Workshops (DCOSS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
Furthermore, the model editor integrates a compiler and a simulator so that the business analysts can test and debug the modeled processes on the same level of abstraction. ...
Besides being expensive, this approach entails deviations between the model and the implementation of a business process, thus rendering it less effective. ...
Consequently, we want to support debugging on the abstraction level of the BPMN models. To this end the compiler generates a symbol table during phase two. ...
doi:10.1109/dcoss.2011.5982159
dblp:conf/dcoss/CaracasB11
fatcat:emeisqdnhrg3tdmqpk2harqoxu
« Previous
Showing results 1 — 15 out of 10,954 results