The Experts below are selected from a list of 1083 Experts worldwide ranked by ideXlab platform

J Costa - One of the best experts on this subject based on the ideXlab platform.

  • Mixed-mode delamination growth in carbon–fibre composite laminates under cyclic loading
    International Journal of Solids and Structures, 2004
    Co-Authors: N. Blanco, Erik Kristofer Gamstedt, J Costa
    Abstract:

    Delamination growth under fatigue loads in real composite components generally develops in a non-Constant Propagation mode. The aim of the investigation described in this article was to develop a m ...

  • Mixed-mode delamination growth in carbon-fibre composite laminates under cyclic loading
    International Journal of Solids and Structures, 2004
    Co-Authors: N. Blanco, Leif E. Asp, Erik Kristofer Gamstedt, J Costa
    Abstract:

    Delamination growth under fatigue loads in real composite components generally develops in a non-Constant Propagation mode. The aim of the investigation described in this article was to develop a model capable of predicting the fatigue delamination growth in a general case, under varying mode mix conditions. The crack growth development in essentially unidirectional laminates of carbon-fibre reinforced epoxy was analysed in terms of the Paris law for different Constant Propagation modes: mode I (double-cantilever beam test), mode II (end-notched flexure test) and different mixed-modes I/II (mixed-mode bending test). The dependence of the Paris law parameters on mode mix is compared with the existing models in the literature. It is shown that these models do not reproduce the non-monotonic dependence on mode mix which has been observed in experimental data. Therefore, an improved phenomenological model is introduced and compared with the experimental data obtained by other researchers. To check the ability of the model to predict variable mixed-mode fatigue delamination, the mixed-mode end-loaded split test was employed and the experimental results were compared to the predictions of the model. The underlying mechanisms responsible for the dependency of the crack Propagation rates on the degree of mode mix are also discussed on the basis of fractographic analysis. © 2004 Elsevier Ltd. All rights reserved.

Patrick Mcdaniel - One of the best experts on this subject based on the ideXlab platform.

  • Composite Constant Propagation and its Application to Android Program Analysis
    IEEE Transactions on Software Engineering, 2016
    Co-Authors: Damien Octeau, Daniel Luchaup, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 489 applications from the Google Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.

  • Composite Constant Propagation: Application to Android Inter-Component Communication Analysis
    2015 IEEE ACM 37th IEEE International Conference on Software Engineering, 2015
    Co-Authors: Damien Octeau, Daniel Luchaup, Matthew Dering, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 460 applications from the Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking slightly over two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.

  • ICSE (1) - Composite Constant Propagation: application to Android inter-component communication analysis
    2015 IEEE ACM 37th IEEE International Conference on Software Engineering, 2015
    Co-Authors: Damien Octeau, Daniel Luchaup, Matthew Dering, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 460 applications from the Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking slightly over two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.

N. Blanco - One of the best experts on this subject based on the ideXlab platform.

  • Mixed-mode delamination growth in carbon–fibre composite laminates under cyclic loading
    International Journal of Solids and Structures, 2004
    Co-Authors: N. Blanco, Erik Kristofer Gamstedt, J Costa
    Abstract:

    Delamination growth under fatigue loads in real composite components generally develops in a non-Constant Propagation mode. The aim of the investigation described in this article was to develop a m ...

  • Mixed-mode delamination growth in carbon-fibre composite laminates under cyclic loading
    International Journal of Solids and Structures, 2004
    Co-Authors: N. Blanco, Leif E. Asp, Erik Kristofer Gamstedt, J Costa
    Abstract:

    Delamination growth under fatigue loads in real composite components generally develops in a non-Constant Propagation mode. The aim of the investigation described in this article was to develop a model capable of predicting the fatigue delamination growth in a general case, under varying mode mix conditions. The crack growth development in essentially unidirectional laminates of carbon-fibre reinforced epoxy was analysed in terms of the Paris law for different Constant Propagation modes: mode I (double-cantilever beam test), mode II (end-notched flexure test) and different mixed-modes I/II (mixed-mode bending test). The dependence of the Paris law parameters on mode mix is compared with the existing models in the literature. It is shown that these models do not reproduce the non-monotonic dependence on mode mix which has been observed in experimental data. Therefore, an improved phenomenological model is introduced and compared with the experimental data obtained by other researchers. To check the ability of the model to predict variable mixed-mode fatigue delamination, the mixed-mode end-loaded split test was employed and the experimental results were compared to the predictions of the model. The underlying mechanisms responsible for the dependency of the crack Propagation rates on the degree of mode mix are also discussed on the basis of fractographic analysis. © 2004 Elsevier Ltd. All rights reserved.

Kathleen Knobe - One of the best experts on this subject based on the ideXlab platform.

  • enabling sparse Constant Propagation of array elements via array ssa form
    Static Analysis Symposium, 1998
    Co-Authors: Vivek Sarkar, Kathleen Knobe
    Abstract:

    We present a new static analysis technique based on Array SSA form [6]. Compared to traditional SSA form, the key enhancement in Array SSA form is that it deals with arrays at the element level instead of as monolithic objects. In addition, Array SSA form improves the φ function used for merging scalar or array variables in traditional SSA form. The computation of a φ function in traditional SSA form depends on the program’s control flow in addition to the arguments of the φ function. Our improved φ function (referred to as a φ function) includes the relevant control flow information explicitly as arguments through auxiliary variables that are called @ variables.

  • SAS - Enabling Sparse Constant Propagation of Array Elements via Array SSA Form
    Static Analysis, 1998
    Co-Authors: Vivek Sarkar, Kathleen Knobe
    Abstract:

    We present a new static analysis technique based on Array SSA form [6]. Compared to traditional SSA form, the key enhancement in Array SSA form is that it deals with arrays at the element level instead of as monolithic objects. In addition, Array SSA form improves the φ function used for merging scalar or array variables in traditional SSA form. The computation of a φ function in traditional SSA form depends on the program’s control flow in addition to the arguments of the φ function. Our improved φ function (referred to as a φ function) includes the relevant control flow information explicitly as arguments through auxiliary variables that are called @ variables.

Damien Octeau - One of the best experts on this subject based on the ideXlab platform.

  • Composite Constant Propagation and its Application to Android Program Analysis
    IEEE Transactions on Software Engineering, 2016
    Co-Authors: Damien Octeau, Daniel Luchaup, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 489 applications from the Google Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.

  • Composite Constant Propagation: Application to Android Inter-Component Communication Analysis
    2015 IEEE ACM 37th IEEE International Conference on Software Engineering, 2015
    Co-Authors: Damien Octeau, Daniel Luchaup, Matthew Dering, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 460 applications from the Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking slightly over two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.

  • ICSE (1) - Composite Constant Propagation: application to Android inter-component communication analysis
    2015 IEEE ACM 37th IEEE International Conference on Software Engineering, 2015
    Co-Authors: Damien Octeau, Daniel Luchaup, Matthew Dering, Patrick Mcdaniel
    Abstract:

    Many program analyses require statically inferring the possible values of composite types. However, current approaches either do not account for correlations between object fields or do so in an ad hoc manner. In this paper, we introduce the problem of composite Constant Propagation. We develop the first generic solver that infers all possible values of complex objects in an interprocedural, flow and context-sensitive manner, taking field correlations into account. Composite Constant Propagation problems are specified using COAL, a declarative language. We apply our COAL solver to the problem of inferring Android Inter-Component Communication (ICC) values, which is required to understand how the components of Android applications interact. Using COAL, we model ICC objects in Android more thoroughly than the state-of-the-art. We compute ICC values for 460 applications from the Play store. The ICC values we infer are substantially more precise than previous work. The analysis is efficient, taking slightly over two minutes per application on average. While this work can be used as the basis for many whole-program analyses of Android applications, the COAL solver can also be used to infer the values of composite objects in many other contexts.