Compiler fuzzing with randomly generated input programs is a powerful technique for finding compiler crashes and miscompilation bugs. Existing fuzzers for compilers are often unguided and must be manually parameterize...
详细信息
ISBN:
(纸本)9798400711121
Compiler fuzzing with randomly generated input programs is a powerful technique for finding compiler crashes and miscompilation bugs. Existing fuzzers for compilers are often unguided and must be manually parameterized to cover different parts of the compiler under test. In this work we present Lool, an approach for fuzzing a compiler with low overhead, guided by optimization log information produced by the compiler. The optimization log tracks program transformations performed by the compiler on the level of individual methods compiled. We argue that using the optimization log has less overhead than off-the-shelf code coverage tools. At the same time, the optimization log's per-method data gives more information than code coverage collected over a number of distinct compilations. The level of detail of the optimization log is also easy to tune for the use case of guiding a fuzzer. We are integrating the Lool approach in an existing fuzzer for the GraalVM compiler. A genetic optimization algorithm uses optimization log information for tuning codegeneration parameters with the goal of covering optimizations that were previously rarely exercised. Initial experiments confirm that varying the generator's parameters is effective at finding new bugs. The genetic algorithm will automate the exploration of the parameter space to improve testing of currently insufficiently fuzzed parts of the compiler.
In this paper, Line justification algorithm is implemented using C++. Line justification is a part of ATPG test vector generation process. ATPG first performs fault collapsing then it is followed by line justification...
详细信息
In the context of "dual carbon" strategy, PV power generation will play a very important role, but the distribution network is increasingly affected by the uncertainty of PV power output. This paper proposes...
详细信息
In the context of "dual carbon" strategy, PV power generation will play a very important role, but the distribution network is increasingly affected by the uncertainty of PV power output. This paper proposes a dual-objective distribution network reactive power optimization method based on the adaptive equalization optimizer (AEO) algorithm, which uses adaptive inertia weighting to improve the convergence speed and accuracy of the algorithm based on the basic equalization optimizer algorithm. The AEO algorithm is established to solve the IEEE 33node distribution network containing PV access with minimum network loss and minimum voltage deviation as the objective function, and finally, the effectiveness and superiority of the proposed algorithm are verified by simulation analysis.
The complexity of modern software has resulted in an increase in vulnerabilities and bugs. Identifying all vulnerabilities is challenging due to technological limitations, so patching bugs found during the usage phase...
详细信息
With the increasing penetration of distributed generation (DG), active distribution network (ADN) is the development trend of future smart grid. Due to the features of uncertainties of DG, the difficulty of scheduling...
详细信息
With the increasing penetration of distributed generation (DG), active distribution network (ADN) is the development trend of future smart grid. Due to the features of uncertainties of DG, the difficulty of scheduling increases. For this concern, an optimization scheduling model of intra-layer autonomy and inter-layer coordination of ADN is proposed in this work. Aiming at intra-layer autonomy, an optimization model is establishedwith the goals of the smallest electricity purchase cost for the ADN, the most profitable purchase and sale of electricity of microgrids and the most profitable and comfortable users. Aiming at inter-layer coordination, a "distribution network-microgrid" electricity price formation method that maximizes renewable energy sharing between microgrids and a "microgrid-user" electricity price formation method that maximizes users' willingness to generate electricity are proposed. In this paper, the modified IEEE 33-bus distribution system is built as case study, which verified the great scheduling capability and performance of the proposed model.
With the rapid evolution of wireless communication technologies, the demand for reliable and efficient error correction techniques has become increasingly paramount, especially in the context of next-generation networ...
详细信息
The proceedings contain 217 papers. The topics discussed include: an empirical study on the correlation between neuron coverage and code coverage;information interaction security identification of 3D grid data based o...
ISBN:
(纸本)9798350325386
The proceedings contain 217 papers. The topics discussed include: an empirical study on the correlation between neuron coverage and code coverage;information interaction security identification of 3D grid data based on digital twin;distilling object detection fusion of foreground enhancement and spatial frequency;application of network security threat detection in the smart home;point cloud compression for augmented reality-based campus navigation application;design of interactive teaching system based on computer vision technology;high-precision robust calibration of circular targets based on monocular vision;an improved SSD network-based target detection method for penguin populations;research on ship detection method based on band screening;energy-saving method in SDN networks based on deployment location and link traffic;rotated top-view fisheye person detection based on dynamic attention;construction of secure authentication code based on cartesian authentication code;a dominant color extraction method based on salient object detection;and optimization design and research of large rotating machine components based on optimized smooth weighted load balancing algorithm.
With the construction of a new power system and the implementation of China's clean energy strategic goals, the installed capacity of domestic new energy has grown rapidly. This will lead to the increasingly promi...
详细信息
With the construction of a new power system and the implementation of China's clean energy strategic goals, the installed capacity of domestic new energy has grown rapidly. This will lead to the increasingly prominent problem of new energy consumption in regional power grids. Therefore, it is urgent to carry out a comprehensive assessment of the new energy consumption capacity in combination with the actual characteristics of the regional power grid, and to establish a simulation computing architecture. To this end, this paper firstly affects the key factors of new energy power generation and consumption capacity, and establishes optimization objectives and constraints. On this basis, this paper proposes a simulation computing architecture design scheme, and finally carries out a comprehensive analysis of the factors affecting the cost of new energy consumption in combination with a certain regional power grid. The numerical example verifies the effectiveness of the scheme, and can provide a basis for the evaluation and optimization of the new energy consumption capacity under the new situation.
The proceedings contain 3 papers. The topics discussed include: ECO-LLM: LLM-based edge cloud optimization;toward using representation learning for cloud resource usage forecasting;and MPIrigen: MPI codegeneration th...
ISBN:
(纸本)9798400706523
The proceedings contain 3 papers. The topics discussed include: ECO-LLM: LLM-based edge cloud optimization;toward using representation learning for cloud resource usage forecasting;and MPIrigen: MPI codegeneration through domain-specific language models.
One of the major issues that arises when a DG forms an integrated part of an existing distribution system is the protection of the grid system. In order to achieve the best coordination of DOCRs in connected power net...
详细信息
暂无评论