Filters








6,587 Hits in 3.3 sec

Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) [chapter]

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2003 Lecture Notes in Computer Science  
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)

Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2005 Science of Computer Programming  
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

K. Scott Hemmert, Brad Hutchings
2003 Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC  
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]

Daniel Schwartz-Narbonne, Feng Liu, David August, Sharad Malik
2012 Lecture Notes in Computer Science  
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

Andrei Chiş, Marcus Denker, Tudor Gîrba, Oscar Nierstrasz
2015 Computer languages, systems & structures  
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]

Micha Meier
1995 Lecture Notes in Computer Science  
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

Minh Ngoc Dinh, David Abramson, Chao Jin, Andrew Gontarek, Bob Moench, Luiz DeRose
2012 Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming - PPoPP '12  
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

Dan C. Marinescu, James E. Lumpp, Thomas L. Casavant, Howard Jay Siegel
1990 Journal of Parallel and Distributed Computing  
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]

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, José F. Morales, German Puebla
2008 Lecture Notes in Computer Science  
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

Jinho Jung, Hong Hu, Joy Arulraj, Taesoo Kim, Woonhak Kang
2019 Proceedings of the VLDB Endowment  
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]

Manuel Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
2003 Lecture Notes in Computer Science  
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

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
2016 Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016  
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

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu
2016 SIGPLAN notices  
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

Hyesoon Kim
2012 Proceedings of the 2012 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness - MSPC '12  
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

Charles E. McDowell, David P. Helmbold
1989 ACM Computing Surveys  
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