Filters








10,954 Hits in 4.4 sec

A practical approach to the symbolic debugging of parallelized code [chapter]

Patricia Pineo, Mary Lou Soffa
1994 Lecture Notes in Computer Science  
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

Gidon Ernst, Johannes Blau, Toby Murray
2021 Electronic Proceedings in Theoretical Computer Science  
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

Ganesh Gopalakrishnan, Robert M. Kirby, Stephen Siegel, Rajeev Thakur, William Gropp, Ewing Lusk, Bronis R. De Supinski, Martin Schulz, Greg Bronevetsky
2011 Communications of the ACM  
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

Michael Perscheid, Benjamin Siegmund, Marcel Taeumel, Robert Hirschfeld
2016 Software quality journal  
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

Benjamin Siegmund, Michael Perscheid, Marcel Taeumel, Robert Hirschfeld
2014 2014 IEEE International Symposium on Software Reliability Engineering Workshops  
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

Gary Brooks, Gilbert J. Hansen, Steve Simmons
1992 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation - PLDI '92  
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]

Ganesh Gopalakrishnan and Paul D. Hovland and Costin Iancu and Sriram Krishnamoorthy and Ignacio Laguna and Richard A. Lethin and Koushik Sen and Stephen F. Siegel and Armando Solar-Lezama
2017 arXiv   pre-print
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]

Magnus Strengert, Thomas Klein, Thomas Ertl
2007 Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware - HWWS '04  
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]

Peter Fritzson, Roland Wismüller, Olav Hansen, Jonas Sala, Peter Skov
1996 Lecture Notes in Computer Science  
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

F. Koushanfar, D. Kirovski, Inki Hong, M. Potkonjak, M.C. Papaefthymiou
2001 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
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

Nat Duca, Chris Niski, Jonathan Bilodeau, Yuan Chen, Matthew Bolitho, Jonathan Cohen
2005 ACM SIGGRAPH 2005 Sketches on - SIGGRAPH '05  
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

Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo
2011 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)  
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

Hyunchang Moon, Jongpil Cheon, Kyungbin Kwon
2022 International Journal of Computer Science Education in Schools  
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

Chunlei Ma, Xiang Long, Bo Jiang, Zhenyu Zhang
2015 2015 IEEE 39th Annual Computer Software and Applications Conference  
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

Alexandra Caracas, Alexander Bernauer
2011 2011 International Conference on Distributed Computing in Sensor Systems and Workshops (DCOSS)  
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