By Topic

2015 IEEE 6th International Workshop on Program Comprehension through Dynamic Analysis (PCODA)

2-2 March 2015

Filter Results

Displaying Results 1 - 7 of 7
  • [Copyright notice]

    Publication Year: 2015, Page(s):i - ii
    Request permission for commercial reuse | PDF file iconPDF (43 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 2015, Page(s): 1
    Request permission for commercial reuse | PDF file iconPDF (46 KB)
    Freely Available from IEEE
  • Message from the Chairs/PCODA 2015 Organization

    Publication Year: 2015, Page(s):iii - iv
    Request permission for commercial reuse | PDF file iconPDF (80 KB)
    Freely Available from IEEE
  • Parceive: Interactive parallelization based on dynamic analysis

    Publication Year: 2015, Page(s):1 - 6
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (390 KB) | HTML iconHTML

    The advent of multicore processors poses an urgent need for tools to parallelize legacy software. Automatic parallelization methods are usually limited to the instruction level or to simple loops. However, identifying parallelism in industrial applications additionally requires deep program comprehension. To solve this problem, we propose Parceive, an interactive tool that aids parallelization of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Symbolic analysis of assembly traces: Lessons learned and perspectives

    Publication Year: 2015, Page(s):7 - 12
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB) | HTML iconHTML

    In this study, we have developed a software to implement a symbolic analyzer for assembly traces. The software receives as input traces of assembly instructions. It then builds a symbolic expression characterizing the possible range of values for each variable and feeds this value to the Yices STM solver. The Yices solver returns possible concrete values that respect the symbolic expressions assoc... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generalized monitor verdict for log trace triaging

    Publication Year: 2015, Page(s):13 - 18
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (265 KB) | HTML iconHTML

    This paper introduces a new approach at classifying event traces with respect to some property expressed in Linear Temporal Logic generalizing the classical Boolean outcome. We produce from the evaluation of the formula on a given trace a data structure called a trace hologram. When such holograms are interpreted as equivalence classes, we show how manipulating them produce a clustering of event t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Conceptual interpretation of SQL execution traces for program comprehension

    Publication Year: 2015, Page(s):19 - 24
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (582 KB) | HTML iconHTML

    Modern data-intensive software systems manipulate an increasing amount of heterogeneous data usually stored in a database. Maintaining such systems became a crucial and complex task, which is especially true due to the lack of sufficient documentation. In this context, program comprehension became a primary and an important step in this task. Unfortunately, the highly dynamic nature of interaction... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.