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
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. ...
In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. ...
Parallelization: An example of a non-trivial program optimization performed using abstract interpretation in CiaoPP is program parallelization [4] . ...
doi:10.1007/3-540-44898-5_8
fatcat:hltqs6kn6vebbgiiarmbneebuy
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
2005
Science of Computer Programming
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.
run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. ...
In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. ...
We are currently investigating the use of abstract domains based on improvements of regular types [50] for their use for partial evaluation. ...
doi:10.1016/j.scico.2005.02.006
fatcat:oioh3jlcivavfjq5oaaqr47t5a
Issues in debugging highly parallel FPGA-based applications derived from source code
2003
Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC
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.
Using high-level synthesis tools to map programs written in general-purpose languages to FPGA hardware has grown in popularity and it is becoming necessary to provide comprehensive debugging tools in order ...
Currently, post-synthesis debugging is done at the circuit level. ...
Performance debugging. ...
doi:10.1145/1119772.1119871
dblp:conf/aspdac/HemmertH03
fatcat:ailnqel35bfdtapqueblyoyjxi
passert: A Tool for Debugging Parallel Programs
[chapter]
2012
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 2016; you can also visit the original URL.
The file type is application/pdf.
passert is a new debugging tool for parallel programs which allows programmers to express correctness criteria using a simple, expressive assertion language. ...
We improve performance by introducing a relaxed timing semantics for parallel assertions, which better reflects real memory models, and exposes more bugs with less overhead (geometric mean overhead 3.5 ...
Parallel assertions are expressed using simple, easy to use predicates. ...
doi:10.1007/978-3-642-31424-7_60
fatcat:6eroyh2weja57op7grrq6kcds4
Practical domain-specific debuggers using the Moldable Debugger framework
2015
Computer languages, systems & structures
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 2019; you can also visit the original URL.
The file type is application/pdf.
To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies ...
concepts using generic mechanisms. ...
Like in the previous benchmarks this gives us the maximal performance impact for this predicate. ...
doi:10.1016/j.cl.2015.08.005
fatcat:6c5kmzim4jb45fwagz3ixe3ete
Debugging constraint programs
[chapter]
1995
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 2015; you can also visit the original URL.
The file type is application/pdf.
Moreover, it is frequently necessary to apply performance debugging to CP programs, which are correct but too slow to be feasible. ...
A not immediately obvious consequence of this fact is that debugging CP programs is principally different from debugging algorithmic programs, including imperative, functional or Prolog programs. ...
The ECL i PS e system is able to perform OR-parallel search on shared-memory multiprocessors and in its next version it will be able to perform parallel search also on a network of workstations. ...
doi:10.1007/3-540-60299-2_13
fatcat:z44jz6kfn5aqhd6drblrwjvroy
Scalable parallel debugging with statistical assertions
2012
Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP '12
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 2019; you can also visit the original URL.
The file type is application/pdf.
We evaluate the performance of the tool on a 12,000 cores Cray XE6. ...
We present the design and implementation of statistical assertions, and illustrate the debugging technique with a molecular dynamics simulation. ...
First, it needs to support a wide range of useful statistics, and it is desirable to compute these in parallel in order to provide real time debugging of large datasets. ...
doi:10.1145/2145816.2145870
dblp:conf/ppopp/DinhAJGMR12
fatcat:zxm5667i4nbxheeiesbtmkafau
Models for monitoring and debugging tools for parallel and distributed software
1990
Journal of Parallel and Distributed Computing
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.
Several aspects of the multidimensional problem of providing monitoring support tools for the debugging and performance analysis of software for distributed and parallel systems are presented. ...
These models are currently being used in the development of monitoring tools for the PASM parallel processing system prototype. 0 1990Academic Press, IX. ...
problem of providing monitoring support for debugging and performance analysis of software for distributed and parallel systems. ...
doi:10.1016/0743-7315(90)90044-p
fatcat:qr73qwmcjbcmxbmwuqe3i5smae
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy
[chapter]
2008
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 2017; you can also visit the original URL.
The file type is application/pdf.
Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. ...
programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing ...
automatic debugging and validation of the performance of programs. ...
doi:10.1007/978-3-540-68679-8_14
fatcat:2kjxrddnhbh7fd63opeovrs7he
APOLLO
2019
Proceedings of the VLDB Endowment
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 2019; you can also visit the original URL.
The file type is application/pdf.
The performance of DBMSs is an important metric as it determines how quickly an application can take in new information and use it to make new decisions. ...
Both developers and users face challenges while dealing with performance regression bugs. ...
The statistical debugging model returns a
list of predicates and their Importance metric [64] (e.g., predicate A:
0.887). ...
doi:10.14778/3357377.3357382
fatcat:5y5dwquywjgejlazobld7t6f2i
Abstract Verification and Debugging of Constraint Logic Programs
[chapter]
2003
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 2004; you can also visit the original URL.
The file type is application/pdf.
have been shown useful for other purposes such as optimization, and are thus likely to be present in compilers. ...
However, recently, novel and promising applications of semantic approximations have been proposed in the more general context of program verification and debugging [3, 10, 7] . ...
In addition, CiaoPP also performs program transformations and optimizations such as multiple abstract specialization, parallelization (including granularity control), and inclusion of run-time tests for ...
doi:10.1007/3-540-36607-5_1
fatcat:rz5h5tjbzvhjng3n2iqgbtwfla
Low-overhead and fully automated statistical debugging with abstraction refinement
2016
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
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.
To quickly identify failure predictors from the huge program predicate space, existing techniques rely on random or heuristics-guided predicate sampling at the user side. ...
Cooperative statistical debugging is an effective approach for diagnosing production-run failures. ...
Hav-ing a distributed implementation enables us to measure performance factors such as profile sizes and network traffic, which have never been evaluated in existing statistical debugging techniques. ...
doi:10.1145/2983990.2984005
dblp:conf/oopsla/ZuoFKXL16
fatcat:3adxc72sqjg6xmce4tw625f7ta
Low-overhead and fully automated statistical debugging with abstraction refinement
2016
SIGPLAN notices
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.
To quickly identify failure predictors from the huge program predicate space, existing techniques rely on random or heuristics-guided predicate sampling at the user side. ...
Cooperative statistical debugging is an effective approach for diagnosing production-run failures. ...
Hav-ing a distributed implementation enables us to measure performance factors such as profile sizes and network traffic, which have never been evaluated in existing statistical debugging techniques. ...
doi:10.1145/3022671.2984005
fatcat:sz5pwebtt5fszosn423mfcpsba
Supporting virtual memory in GPGPU without supporting precise exceptions
2012
Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '12
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 2019; you can also visit the original URL.
The file type is application/pdf.
It allows handling exception routines, including virtual memory support and also supports debugging features. ...
We also propose using predicated execution to support virtual memory in GPUs. ...
In our future work, we will detail the hardware mechanism and evaluate the performance implications of this approach. ...
doi:10.1145/2247684.2247698
dblp:conf/pldi/Kim12
fatcat:xjvqse6mjfcv7fh3fwwymrtgc4
Debugging concurrent programs
1989
ACM Computing Surveys
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.
This paper discusses these and other problems related to debugging concurrent programs and presents a survey of current techniques used in debugging concurrent programs. ...
For some parallel programs, different executions with the same data will result in different results even without any attempt to observe the behavior. ...
The analysis performed to identify races can also be used to help with breakpoint debugging. ...
doi:10.1145/76894.76897
fatcat:67jxy3s6h5hk7bsoz2anxocqim
« Previous
Showing results 1 — 15 out of 6,587 results