research papers on debugger
A standard interface for debugger access to message queue information in MPI
free download
This paper discusses the design and implementation of an interface that allows a debugger to obtain the information necessary to display the contents of the MPI message queues. The design has been implemented in the TotalView debugger, and dynamic libraries that
Model checking machine code with the GNU debugger
free download
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomicity. Combining a cycle-accurate debugger with model checking algorithms provides an
Acid: a debugger built from a language
free download
ABSTRACT ACID is an unusual source-level symbolic debugger for Plan 9. It is implemented as a language interpreter with specialized primitives that provide debugger support. Programs written in the language manipulate one or more target processes;
A machine-independent debugger
free download
SUMMARY cdb is a simple, source-level debugger for ANSI/ISO C programs compiled by lcc, a retargetable C compiler. cdb is completely independent of its target architecture. This independence is achieved by embedding a small amount of itself-a nub -in the
The architecture of a debugger for lazy functional languages
free download
ABSTRACT. Debugging programs written in lazy functional languages is di cult, and there are currently no realistic, general purpose debugging tools available. The basic problem is that computations in general do not take place in the order one might expect. Furthermore,
FULLDOC: A full reporting debugger for optimized code
free download
As compilers increasingly rely on optimizations to achieve high performance, the effectiveness of source level debuggers for optimized code continues to falter. Even if values of source variables are computed in the execution of the optimized code, source level 1 Coda: An Extended Debugger For PROLOG by Dave PlummerAbstract In this paper I describe Coda, an extension of the dc facto standard debugger which presents more information about the execution of the program to the user as the program is debugged. Coda extends the
DejaVu: deterministic Java replay debugger for Jalapeño Java virtual machine
free download
ABSTRACT The execution behavior of a Java application can be nondeterministic due to multithreading. This non-determinism makes understanding and debugging multithreaded Java applications a difficult and laborious process. DejaVu (Deterministic Java Replay
Embedding with GNU: GNU debugger
free download
Embedded Systems Programming SEPTEMBER 1999 81 embedded development experience. I can say this with confidence because I recently began using the GNU tools in an embedded project of my own, and the results have been so inspiring that GNU tools
Challenges in designing an HPF debugger
free download
High Performance Fortran (HPF) provides directive-based data-parallel extensions to Fortran 90. To achieve parallelism, DIGITAL s HPF compiler transforms a user s program to run as several intercommunicating processes. The ultimate goal of an HPF debugger is to
Javadd: a declarative debugger for java
free download
Abstract This paper presents a declarative approach to the debugging of object-oriented programs and illustrates the methodology through an extension of a novel interactive visualization system for Java developed in our previous research. Unlike traditional
AGDB: A debugger for Agent Tcl
free download
Abstract The Agent Tcl language is an extension of Tcl/Tk that supports distributed programming in the form of transportable agents. AGDB is a debugger for the Agent Tcl language. AGDB mixes of traditional and distributed debugging facilities. Traditional
Bail-A Debugger for SAIL.
free download
ABSTRACT BAIL is a debugging aid for SAIL programs, where SAIL is an extended dialect of ALGOLSO which runs on the PDP-IO computer. BAIL consists of a breakpoint package and an expression interpreter which allow the user to stop his program at selected points,
A hardware-aware debugger for the OpenGL shading language
free download
Abstract 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. As the application domain for GPU-based algorithms
A Debugger for Tcl Applications
free download
ABSTRACT Tcl is a language specifically intended for generic application control. By using it, application programmers escape the dilemma of whether to design sophisticated application- specific languages or whether to build tools more quickly but that are limited in flexibility.
Fiddle: A Flexible Distributed Debugger Architecture
free download
In the recent past, multiple techniques and tools have been proposed and contributed to improve the distributed debugging functionalities, in several distinct aspects, such as handling the non-determinism, allowing cyclic interactive debugging of parallel programs,
Coca: A debugger for C based on fine grained control flow and data events
free download
We present Coca, an automated debugger for C, where the breakpoint mechanism is based on events related to language constructs. Events have semantics whereas source lines used by most debuggers do not have any. A trace is a sequence of events. It can be
TeaBag: A functional logic language debugger
free download
ABSTRACT We describe a debugger for functional logic computations. The debugger is an accessory of a virtual machine currently under development. A distinctive feature of this machine is its operational completeness of computations, which places novel demands on
A portable debugger for algorithmic modelica code
free download
Abstract In this paper we present the first comprehensive debugger for the algorithmic subset of the Modelica language, which augments previous work in our group on declarative static and dynamic debugging of equations in Modelica. This replaces debugging of
A powerful high-level debugger for parallel programs
free download
The testing and debugging of complex programs has always been one of the most cost- determining factors in software design. This is even more true when parallel programs are considered. Debugging them is often based on a debugging cycle. First we make an
Debugger visualizations for shared-memory multiprocessors
free download
ABSTRACT The production of error-free code has always been challenging, but the incorporation of parallelism makes the task truly formidable. Although the idea of exploiting multiple processors in order to decrease wall-clock time is simple conceptually,
A fast simulator and debugger for a network processor
free download
Due to short time-to-market requirements and the need for flexibility, many of today s embedded system designs are based on software executed on programmable embedded processors. While custom hardware (ASICs) offers the highest computational efficiency (in
Causeway: A message-oriented distributed debugger
free download
Abstract An increasing number of developers face the difficult task of debugging distributed asynchronous programs. This trend has outpaced the development of adequate debugging tools and currently, the best option for many is an ad hoc patchwork of sequential tools
A declarative debugger for Maude
free download
Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in the Maude language, is presented. Starting from an incorrect computation (a reduction, a type
Open On-Chip Debugger
free download
Embedded systems in general, and ARM based system-on-chip (SOC) designs in particular, have seen an immense growth during the past years, with free and open software becoming an integral part of embedded systems development. A survey ran by linuxdevices. com [?]
A declarative debugger for Maude specifications-User guide
free download
Abstract We show in this guide how to use our declarative debugger for Maude specifications. Declarative debugging is a semi-automatic technique that starts from a computation considered incorrect by the user (error symptom) and locates a program
A complete declarative debugger for Maude
free download
We present a declarative debugger for Maude specifications that allows to debug wrong answers (a wrong result is obtained) and missing answers (a correct but incomplete result is obtained) due to both wrong and missing statements and wrong search conditions. The
CRI: Symbolic debugger for mcapi applications
free download
We present a trace-driven SMT-based symbolic debugging tool for MCAPI (Multicore Association Communication API) applications. MCAPI is a newly proposed standard that provides an API for connectionless and connection-oriented communication in multicore
CODE GENERATION AND SEPARATE COMPEAT ION IN A PARALLEL PROGRAM DEBUGGER
free download
Abstract The Parallel Program Debugger (PPD) allows a programmer to ?nd bugs by following dynamic dependences in a program s execution; this technique is called ?owback analysis. Flowback analysis requires the tracing of all variable references and
Fault-tolerant process debugger for business process design
free download
ABSTRACT. Nowadays, BPM system is recognized as one of the main enterprise systems. Through the proper use of BPMS, business processes in an enterprise can be executed efficiently and be coordinated seamlessly. For the sound execution of business process, it
Modelling a Debugger for an Imperative Voice Control Language
free download
Creating debuggers for languages has always been a hard task. The main reason is that languages differ a lot, especially in the way programs are executed on underlying platforms. The emergence of metamodel-based technologies for defining languages simplified the
Design and development of a scalable distributed debugger for cluster computing
free download
Debugging is an essential part of parallel and distributed processing. However, developing parallel and distributed debugger is difficult. This is especially true for cluster computing where heterogeneity presents. In this paper, we first give a survey of the current
Bugloo: A source level debugger for scheme programs compiled into jvm bytecode
free download
ABSTRACT This paper presents Bugloo, a source level debugger for Scheme programs. It enables debugging of programs compiled into JVM bytecode by the Bigloo compiler. It aims at being easy to use because it provides a user interface. It aims at being practical to use
An Event-Based, Retargetable Debugger
free download
Software developers rely heavily on debuggers for both fixing bugs and analyzing programs. The information ob tained by a debugger can be used to add new features and improve performance. Event based debugging1 is a powerful method for examining program
Visual specification of a DSL processor debugger
free download
Abstract Graph rewriting-based model transformation is an essential tool to process graph- based visual models. If the execution of transformations is not supported by the continuous presentation of the modifications performed on the model, the traceability and the
Control and data flow visualization for parallel logic programs on a multi-window debuggerHyperDEBU
free download
A fine-grained highly parallel program has many threads of execution. The first task to debug it is comprehending the situation of the execution. For this task, it is important to visualize the execution. Our debugger HyperDEBU for a parallel logic programming language Fleng
FDBG, the CLPFD Debugger Library of SICStus Prolog
free download
ABSTRACT. FDBG (short for Finite domain DeBuGger) is a tool addressing the problems of debugging finite domain (FD) constraint programs. Implemented as a SICStus Prolog library, it allows CLP (FD) programmers to trace FD variable domain changes. FDBG is capable of
ShaDy: A shape description debugger for use in sketch recognition
free download
ABSTRACT Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. LADDER is a language for describing how domain shapes are drawn, displayed, and edited in a
A generic real-time debugger architecture
free download
ABSTRACT For the development of embedded real-time systems the use of conventional debugging tools is inhibited by their intrusiveness in the temporal domain. In this paper we describe a concept for a hardware debugger that excels from standard debuggers in two
Design and implementation of a java-based distributed debugger supporting PVM and MPI
free download
ABSTRACT This paper presents a client-server debugging model, describes the design and implementation of a portable, scalable, practical distributed debugger based on this model, and compares it with the related work. The distributed debugger based on the sequential
Multicast Routing Debugger (MRD)-A System to Monitor the Status of Multicast Network
free download
IP Multicast can efficiently provide enormous bandwidth savings by enabling sources to send a single copy of a message to multiple recipients who explicitly want to receive the information. But due to the complexity of IP multicast and its fundamental differences from We have developed a performance debugger for a parallel logic program to improve inherent parallelism of a program. This debugger helps programmers to find unexpected sequentiality visualizing execution history in a virtual environment. We demonstrated an
The boogie verification debugger (tool paper)
free download
The Boogie Verification Debugger (BVD) is a tool that lets users explore the potential program errors reported by a deductive program verifier. The user interface is like that of a dynamic debugger, but the debugging happens statically without executing the program.
Multi-level virtual machine debugging using the java platform debugger architecture
free download
Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime state for such VMs requires insight and interaction at multiple levels ofAbstraction
Rectus-locally eager haskell debugger
free download
ABSTRACT Lazy programming languages have a very different execution order of expressions which makes debugging such programs a very different experience from debugging eager or imperative programs. We describe a simple idea of how to apply
HyperDEBU: A multiwindow debugger for parallel logic programs
free download
In this paper, a multiwindow debugger HyperDEBU for finegrained highly parallel programs is presented. The target language of HyperDEBU is Fleng which is one of the committed choice languages. This debugger supports many kinds and levels of views of programs,
Controlling search space materialization in a practical declarative debugger
free download
ABSTRACT. While the idea of declarative debugging has been around for a quarter of a century, the technology still hasn t been adopted by working programmers, even by those working in declarative languages. The reason is that making declarative debuggers practical
GLAD: A Generic Lattice Debugger
free download
Martin J. Lee Stanford Linear Accelerat, or Cent. er, Stanford university. CA 94309 ilbstract Today, numerous simulation and analysis codes esist for the design, commission, and operation of accelerat. or beam lines. There is a need to develop a common user interfa.
Dbgp-a common debugger protocol for languages and debugger ui communication
free download
This document describes a simple protocol for use with language tools and engines for the purpose of debugging applications. It does not describe user interfaces or interactions with the debugger. The protocol provides a means of communication between a debugger
Network Debugger: A Unified Tool for Diagnosing Network Controlling Applications
free download
2. CPU usage Assume a case that software developer or operator confirms that all flow entries are properly installed from an OpenFlow controller into OpenFlow switches in an OpenFlow network Measure CPU usage in operation with our method and a legacy event
The Perl Debugger
free download
Debugging is an annoying necessity in any language, whether it s debugging your own code or somebody else s that you ve been given to make work on your system. Anything you can do to make debugging easier is a big win. Perl includes a command-line debugger that can
Gendebugger: An explanation-based constraint debugger
free download
Simulation-based verification is a technique used to ensure correctness of hardware designs. To verify a design test scenarios are generated randomly based on architectural and test dependencies modeled by constraints. This method is supported by verification-
A thread-level distributed debugger
free download
Abstract. In order to address the diversity of existing parallel programming models, it is important to provide development environments that can be incrementally extended with new services. Concerning the debugging of processbased models, we have previously
Design and Implementation of a high-level multi-language .NET Debugger
free download
ABSTRACT The Microsoft .NET Common Language Runtime (CLR) provides a low-level debugging application programmers interface (API), which can be used to implement traditional source code debuggers but can also be useful to implement other dynamic
The DDBG distributed debugger
free download
Abstract This chapter presents the main issues involved in the design of the DDBG distributed debugger. DDBG provides basic support for state based debugging of distributed C/PVM processes. Due to its flexible architecture, DDBG enables the implementation of
Virt-ice: Next-generation debugger for malware analysis
free download
ABSTRACT Dynamic malware analysis is an important method to analyze malware. The most important tool for dynamic malware analysis is debugger. However, because debuggers are originally built by software developers to debug legitimate software, they have some
IDLI: An Interactive Message Debugger for Parallel Programs Using LAMMPI
free download
ABSTRACT Many complex and computation intensive problems can be solved efficiently using parallel programs on a network of processors. One of the most widely used software platforms for such cluster computing is LAMMPI. To aid development of robust parallel
A Debugger for Flow Graph Based Parallel Applications
free download
AASSG Roger, DHB Schaeli ,dps.epfl.ch ABSTRACT Flow graphs provide an explicit description of the parallelization of an application by mapping vertices onto serial computations and edges onto message transfers. We present the design and implementation of a debugger for the flow graph
Gemini Lite: a non-intrusive debugger for Windows NT
free download
ABSTRACT It is frequently useful to debug a running software system in a production environment with a symbolic debugger without interfering with the operation of the system. The user of such a debugger may want to inspect data or trigger some data collecting
Debugger Visualizations for Shared-Memory l\/Iultiprocessors
free download
-ABSTRACT The production of error-free code has always been challenging, but the incorporation of parallelism makes the task truly formidable. Although the idea of exploiting multiple processors in order to decrease wall-clock time is simple conceptually,
A complete declarative debugger of missing answers
free download
We propose two declarative debuggers of missing answers with respect to C-and S- semantics. The debuggers are proved correct for every logic program. Moreover, they are complete and terminating with respect to a large class of programs, namely acceptable
Debugger/Monitor for the M68000 Microprocessor Family User s Guide for a modified TS2MON
free download
Page 1. Debugger/Monitor for the M68000 Microprocessor Family User s Guide for a modified TS2MON Version 1.2 Sofus Birkedal Nielsen Department of Acoustics Aalborg University Denmark 7 3.2 Execute-mode. 7 3.3 How to use a debugger. 7 3.4 Program development. 8
Step inside the GHCi debugger
free download
Major releases of GHC are highly anticipated events, especially because of all the exciting new features they bring. The 6.8 series was a particularly impressive example, which came with lots of goodies, including a shiny new debugger. In this article we take the debugger
Implementing a Process Oriented Debugger with Reflection and Program Transformation
free download
ABSTRACT Programmera writing programs fallowing a typical pro? and streams paradigm usually have some conceptual image concerning the program s execution!. Conventional debuggers cannot trace or debug such programs because they are unable to treat both
DEVELOPMENT OF AN AUTOMATIC ENGLISH GRAMMAR DEBUGGER FOR CHINESE STUDENTS: A PROGRESS REPORT1
free download
ABSTRACT This paper reports the research about development of an automatic English grammar debugger (on a personal computer) for Chinese college students, based on an analysis of the errors they made in their compositions. The first stage of development is
Support for language independent browsing of aggregate values by debugger backends
free download
ABSTRACT The debugger backend is a lower-level language subsystem enabling to control and inspect a program s execution (debuggee), while the frontend is a higher-level API for backend functionality aiming to support debugger user-interfaces. Existing debugger
Debugging through time with the Tralfamadore debugger
free download
Abstract Program debugging has almost universally been considered from the perspective of performing detailed examination of a single program target (application, operating system, etc.) at a single point in time. We present an early prototype of the Tralfamadore Debugger
A Debugger for Functional Logic Languages
free download
ABSTRACT. This paper is based on a recently developed technique to build debugging tools for lazy functional programming languages. With this technique it is possible to replay the execution of a lazy program with a strict semantics by recording information of
A Truly Compositional SQL Debugger
free download
Summary This thesis deals with the concepts of building a compositional language-level SQL Debugger, it s implementation in Java and it s application in practice. The main foundation that made this work possible is the SQL2PF project [6] where SQL queries are
TeaBag: A debugger for Curry
free download
Page 1. TEABAG: A DEBUGGER FOR CURRY by STEPHEN LEE JOHNSON Computer TeaBag, which is a debugger for functional logic computa- tions.
SIMDEB-ECS: E-CELL Static Model Debugger
free download
E-CELL [1, 2, 3] has been developed for whole chemical reaction in a cell simulation. In order to help debugging cell model we developed and E-CELL static model debugger it analyzes the cell model before starting simulation using physical constraint such as a
Implementation of Program Debugger for Microprocessor Trainer
free download
KH Nwe, MM Htun ABSTRACT Although it is possible to implement by the hardware only, adding the software would save cost and time consuming. In this paper a program debugger, a kind of DMA controller, is presented by using both the hardware and software. In the Microprocessor
Implementation and Evaluation of a Declarative Debugger for Java
free download
H Kuchen, C Hermanns ,Functional and (Constraint) Logic Programming ,babel.ls.fi.upm.es ABSTRACT. We present a declarative debugger for Java. Declarative debugging is a technique widely used in the area of logic and functional logic programming. We demonstrate how this method can be adapted to the object-oriented programming paradigm and show how to
An Evaluation of Algorithmic Debugger Implementations1
free download
Abstract Algorithmic debugging is a semi-automatic debugging technique which is based on the answers of an oracle (usually the programmer) to a series of questions generated automatically by the algorithmic debugger. The technique typically traverses a record of
Related
mobile computing research papers 2012 section 3
probabilistic reasoning CSE PROJECTS