-
SoC-Trace Infrastructure
Execution traces are a powerful instrument for debugging and profiling embedded applications. The SoC-Trace project aims at developing an open-source trace management... -
Towards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers... -
Building efficient tools to query execution traces
Understanding how a program execution proceeds often helps debug the program. An execution can be seen as a succession of computation steps. Tracers give information... -
Debugging the Execution of Distributed Algorithms over Anonymous Networks
International audience -
Contributions for Improving Debugging of Kernel-level Services in a Monolithi...
Despite the existence of an overwhelming amount of research on the quality of system software, Operating Systems are still plagued with reliability issues mainly... -
Contributions à l'amélioration du débogage des services noyau dans un système...
Despite the existence of an overwhelming amount of research on the quality of system software, Operating Systems are still plagued with reliability issues mainly... -
Trace Management and Analysis for Embedded Systems
The growing complexity of embedded system hardware and software makes their behavior analysis a challenging task. In this context, tracing appears to be a promising... -
Oops! What about a Million Kernel Oopses?
When a failure occurs in the Linux kernel, the kernel emits an "oops", summarizing the execution context of the failure. Kernel oopses describe real Linux errors, and... -
Presentation and study of some distributed algorithm problems
In this thesis, we first present a study of several problems in the field of distributed algorithms. We provide a formal model that relies on anonymous networks. In... -
Ahead of Time Static Analysis for Automatic Generation of Debugging Interface...
International audience
