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

Josef Leydold - One of the best experts on this subject based on the ideXlab platform.

  • Short universal generators via generalized ratio-of-uniforms method
    Mathematics of Computation, 2003
    Co-Authors: Josef Leydold
    Abstract:

    We use inequalities to design short universal algorithms that can be used to generate random variates from large classes of univariate continuous or discrete distributions (including all log-concave distributions). The expected time is uniformly bounded over all these distributions for a particular generator. The algorithms can be implemented in a few lines of high level language code.

  • A simple universal generator for continuous and discrete univariate T-concave distributions
    ACM Transactions on Mathematical Software, 2001
    Co-Authors: Josef Leydold
    Abstract:

    We use inequalities to design short universal algorithms that can be used to generate random variates from large classes of univariate continuous or discrete distributions (including all log-concave distributions). The expected time is uniformly bounded over all these distributions. The algorithms can be implemented in a few lines of high-level language code. In opposition to other black-box algorithms hardly any setup step is required, and thus it is superior in the changing-parameter case.

Antoine Fraboulet - One of the best experts on this subject based on the ideXlab platform.

  • ICSM - Assembly to high-level language translation
    Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272), 1
    Co-Authors: Cristina Cifuentes, Doug Simon, Antoine Fraboulet
    Abstract:

    Translation of assembly code to high-level language code is of importance in the maintenance of legacy code, as well as in the areas of program understanding, porting, and recovery of code. We present techniques used in the asm2c translator, a SPARC assembly to C translator. The techniques involve data and control flow analyses. The data flow analysis eliminates machine dependencies from the assembly code and recovers high-level language expressions. The control flow analysis recovers control structure statements. Simple data type recovery is also done. The presented techniques are extensions and improvements on previously developed CISC techniques. The choice of intermediate representation allows for both RISC and CISC assembly code to be supported by the analyses. We tested asm2c against SPEC95 SPARC assembly programs generated by a C compiler. Results using both unoptimized and optimized assembly code are presented.

Henrique Madeira - One of the best experts on this subject based on the ideXlab platform.

  • PRDC - Characterization of operating systems behavior in the presence of faulty drivers through software fault emulation
    2002 Pacific Rim International Symposium on Dependable Computing 2002. Proceedings., 1
    Co-Authors: Joao Duraes, Henrique Madeira
    Abstract:

    This paper proposes a practical way to evaluate the behavior of commercial-off-the-shelf (COTS) operating systems in the presence of faulty device drivers. The proposed method is based on the emulation of software faults in target device drivers and the observation of the behavior of the system and of a workload regarding a comprehensive set of failure modes analyzed according to different dimensions. The emulation of software faults itself is done through the injection at machine-code level of selected mutations that represent the code produced when typical programming errors are made in the high-level language code. An important aspect of the proposed methodology is the use of simple and established practices to evaluate operating systems failure modes, thus allowing its use as a dependability benchmarking technique. The generalization of the methodology to any software system built of discrete and identifiable components is also discussed.

Cristina Cifuentes - One of the best experts on this subject based on the ideXlab platform.

  • Decompilation of Binary Programs
    Software: Practice and Experience, 1995
    Co-Authors: Cristina Cifuentes, K. John Gough
    Abstract:

    The structure of a decompiler is presented, along with a thorough description of the different modules that form part of a decompiler, and the type of analyses that are performed on the machine code to regenerate high-level language code. The phases of the decompiler have been grouped into three main modules: front-end, universal decompiling machine, and back-end. The front-end is a machine dependent module that performs the loading, parsing and semantic analysis of the input program, as well as generating an intermediate representation of the program. The universal decompiling machine is a machine and language independent module that performs data and control flow analysis of the program based on the intermediate representation, and the program''s control flow graph. The back-end is a language dependent module that deals with the details of the target high-level language.

  • ICSM - Assembly to high-level language translation
    Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272), 1
    Co-Authors: Cristina Cifuentes, Doug Simon, Antoine Fraboulet
    Abstract:

    Translation of assembly code to high-level language code is of importance in the maintenance of legacy code, as well as in the areas of program understanding, porting, and recovery of code. We present techniques used in the asm2c translator, a SPARC assembly to C translator. The techniques involve data and control flow analyses. The data flow analysis eliminates machine dependencies from the assembly code and recovers high-level language expressions. The control flow analysis recovers control structure statements. Simple data type recovery is also done. The presented techniques are extensions and improvements on previously developed CISC techniques. The choice of intermediate representation allows for both RISC and CISC assembly code to be supported by the analyses. We tested asm2c against SPEC95 SPARC assembly programs generated by a C compiler. Results using both unoptimized and optimized assembly code are presented.

Huo Yuanhon - One of the best experts on this subject based on the ideXlab platform.

  • Recovery method for high-level language control structures based on structural analysis
    Journal of Computer Applications, 2013
    Co-Authors: Huo Yuanhon
    Abstract:

    To correctly obtain the high-level language control structures of embedded executables and assembly code,and resolve the problem that the existing recovery methods for high-level language control structures cannot handle the unstructured region,the classical control analysis method,structural analysis algorithm,was introduced to study the recovery method for high-level control structures of embedded assembly code. The structural analysis algorithm was improved according to the characteristics of embedded executables,and the high-level language code was generated by using the program control tree,which can be obtained from the results of structural analysis algorithm. Compared with the open source decompiler named DCC,the results show that the improved algorithm is feasible and efficient.