Context-free grammars (CFGs) are a class of formal grammars that have found numerous applications in modeling computer languages. A probabilistic form of CFG, the probabilistic CFG (PCFG), has also been successfully applied to model natural languages. In this paper, we discuss the use of PCFGs in natural language modeling. We develop PCFGs as a natural extension of the CFGs and explain one prob...

Subverting the flow of instructions (e.g., by use code-reuse attacks) still poses a serious threat to security today’s systems. Various control integrity (CFI) schemes have been proposed as powerful technique detect and mitigate such attacks. In recent years, many hardware-assisted implementations CFI enforcement based on graphs (CFGs) presented academia. Such approaches check whether transfers...

A macroscopic elastic description of stresses in static, preloaded granular media is derived systematically from the microscopic elasticity of individual inter-grain contacts. The assumed preloaded state and friction at contacts ensure that the network of inter-grain contacts is not altered by small perturbations. The texture of this network, set by the preparation of the system, is encoded in ...

We address the issue of recovering a both safe and precise approximation of the Control Flow Graph (CFG) of a program given as an executable file. The problem is tackled in an original way, with a refinement-based static analysis working over finite sets of constant values. Requirement propagation allows the analysis to automatically adjust the domain precision only where it is needed, resultin...

The principal objective of this thesis is to assess the capabilities of an already established analytical framework for understanding and predicting the behavior of piles driven in highly overconsolidated clays (OCR24). The skin friction mobilized during pile loading to failure depends on the sequence of preceding events, i.e. pile installation and soil consolidation. This research utilizes the...

previous case histories have shown that soil liquefaction severely damaged many structures supported on pile foundations during earthquakes. as a result, evaluating the potential for instability is an important consideration for the safe and resistant design of deep foundation against earthquakes. in this study, the liquefaction susceptibility of saturated sand interacting by single concrete pi...

This paper presents a methodology to understand the interface behavior of soil and pile under transient loading. Previous works by Trochanis (1991), Bently and Naggar (2000) and others gave an insight to the problem. But this paper illustrates the research methodology developed to understand the dynamic behavior of pile and soil by taking the soil yielding effects and also the interface effects...