C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing

Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-CORE increases the average of the percentage of faults detected(APFD)value by 0.16 to 0.31 and reduces test time by over 50% in 46% of cases.When compared to the best results from approaches using predicted code coverage,C-CORE improves the APFD value by 1.1% to 12.3% and achieves an overall time-saving of 159.1%.

AN OBJECT ORIENTED C++ PARALLEL COMPILER SYSTEM

An object-oriented C++ parallel compiler System, called OOCPCS, is developed to facilitate programmers to write sequential programs using C++ or Annotated C++ language for parallel computahon. OOCPCS bases on an integrated object-oriented paradigm and large-grain data flow model, called OOLGDFM, and recognizes automatically parallel objects using parallel compiling techniques. The paper describes the object-oriented parallel model and realization of the System on networks.

Algorithms for Pre-Compiling Programs by Parallel Compilers

The paper addresses the challenge of transmitting a big number offiles stored in a data center(DC),encrypting them by compilers,and sending them through a network at an acceptable time.Face to the big number offiles,only one compiler may not be sufficient to encrypt data in an acceptable time.In this paper,we consider the problem of several compilers and the objective is tofind an algorithm that can give an efficient schedule for the givenfiles to be compiled by the compilers.The main objective of the work is to minimize the gap in the total size of assignedfiles between compilers.This minimization ensures the fair distribution offiles to different compilers.This problem is considered to be a very hard problem.This paper presents two research axes.Thefirst axis is related to architecture.We propose a novel pre-compiler architecture in this context.The second axis is algorithmic development.We develop six algorithms to solve the problem,in this context.These algorithms are based on the dispatching rules method,decomposition method,and an iterative approach.These algorithms give approximate solutions for the studied problem.An experimental result is imple-mented to show the performance of algorithms.Several indicators are used to measure the performance of the proposed algorithms.In addition,five classes are proposed to test the algorithms with a total of 2350 instances.A comparison between the proposed algorithms is presented in different tables discussed to show the performance of each algorithm.The result showed that the best algorithm is the Iterative-mixed Smallest-Longest-Heuristic(ISL)with a percentage equal to 97.7%and an average running time equal to 0.148 s.All other algorithms did not exceed 22%as a percentage.The best algorithm excluding ISL is Iterative-mixed Longest-Smallest Heuristic(ILS)with a percentage equal to 21,4%and an average running time equal to 0.150 s.

Constructing an AI Compiler for ARM Cortex-M Devices

The diversity of software and hardware forces programmers to spend a great deal of time optimizing their source code,which often requires specific treatment for each platform.The problem becomes critical on embedded devices,where computational and memory resources are strictly constrained.Compilers play an essential role in deploying source code on a target device through the backend.In this work,a novel backend for the Open Neural Network Compiler(ONNC)is proposed,which exploits machine learning to optimize code for the ARM Cortex-M device.The backend requires minimal changes to Open Neural Network Exchange(ONNX)models.Several novel optimization techniques are also incorporated in the backend,such as quantizing the ONNX model’s weight and automatically tuning the dimensions of operators in computations.The performance of the proposed framework is evaluated for two applications:handwritten digit recognition on the Modified National Institute of Standards and Technology(MNIST)dataset and model,and image classification on the Canadian Institute For Advanced Research and 10(CIFAR-10)dataset with the AlexNet-Light model.The system achieves 98.90%and 90.55%accuracy for handwritten digit recognition and image classification,respectively.Furthermore,the proposed architecture is significantly more lightweight than other state-of-theart models in terms of both computation time and generated source code complexity.From the system perspective,this work provides a novel approach to deploying direct computations from the available ONNX models to target devices by optimizing compilers while maintaining high efficiency in accuracy performance.

SystemC到HDL的研究探讨

如今,用SystemC进行硬件设计和建模已成为一种趋势。但是,VHDL和Verilog是被公认的业界标准,因此,有时就不可避免要将SystemC转换成VHDL或Verilog。本文介绍了几种比较典型的免费翻译工具,简要阐述了各自的特性并作了一个比较。如果进行较大的设计研究,选择SystemCrafter SC和Agility Compiler比较理想。

Planning Overall Landscapes,Building a Garden City:on the Revision of Guangzhou Urban Green Space System Planning

The concept of urban green space system planning was proposed after analyzing the background of compiling Guangzhou green space system planning and current situation of local green spaces,i.e. design landscape pattern of Guangzhou City during urban agglomeration of the Pearl River Delta,and highlight Lingnan cultures(Lingnan refers to south of the Five Ridges) and features of "Flower City"(another name of Guangzhou). Key points of planning are protecting ecological barriers in the north,improving urban garden structure in the center,using wetland reasonably in the south,to maintain integrality and continuity of the landscape pattern.

IDL Compiler API Design, Application and Validation Based on XML API

In order to adapt different languages and platforms, the paper discusses how to process and validate IDL symbol table and intermediate code by XML API. It puts emphasis on IDL AP1 extension towards DOM API based on the idea of combining XML with IDL compilers. At last, the IDL compiler designing framework based on XML AP! is given, in which compiler front end can be managed and validated by some XML techniques and tools, IDL API can be validated on the basis of test, so IDL intermediate code is provided with maintainability, portability and generation. IDL compiler can be developed and extended by XML-based API, which realizes versatility and portability of modern compiler.

Systematics, species diversity and new taxa of mesozooplankton in the West Pacific Ocean and its marginal seas: a brief compilation of monographs in China

Research and protection of biodiversity is generally started with species recognizing guided by achievement of cataloguing and illustration obtained through in situ investigation data accumulation and literature learning. Facing the shortage of taxonomist, it is getting harder to maintain important specimen collections and handle loans. The West Pacific Ocean has been operating as a center of the origin of global marine biodiversity result of the richest species diversity of marine taxa found in these waters. The present work is a compilation and summary of systematics, species diversity and new taxa of mesozooplankton major group known in West Pacific Ocean and its marginal seas （0°-45°N, 105°-152°E） according to 6 203 mesozooplankton samples acquired from 701 stations during 1965 and 2008. A total of 2 657 species belonging to 686 genera and 206 families of 10 mesozooplankton groups have been found through taxonomic identification and document consulting. In details, 697 species from 251 genera of 99 families belong to the Medusozoa, 59 species from 22 genera of 12 families to the Ctenophora, 85 species from 36 genera of 14 families to the pelagic Mollusca （Pteropoda and Heteropoda）, 416 species from 91 genera of 8 families to the Ostracoda, 908 species from 156 genera of 51 families to the Copepoda, 202 species from 60 genera of 4 families to the Mysidacea, 56 species from 8 genera of 2 families to the Euphausiacea, 105 species from 23 genera of 8 families to the Decapoda, 48 species from 13 genera of 5 families to the Chaetognatha and 81 species from 26 genera of 5 families to the Tunicata. The dominant species of each group are enumerated. Moreover, 2 new species of Medusozoa, Tubulariidae, Ectopleura, 1 new species of Medusozoa, Protiaridae, Halitiarella, 1 new genus and 1 new species of Medusozoa, Corymorphidae are established. An amount of 806 species are expanded with an increase of 43.5% on the basis of 1 852 species recorded before 2008, including 1.4% increase from tropical sea around equator, 4.0% from the frigid water in high latitude region, and 3.0% of bathypelagic-associated waters. The authors also summarized future prospects into five major areas in marine mesozooplankton research in China. Such information of qualitative phyletic classification could be of high relevance to studies on biodiversity and biogeography of marine mesozooplankton, especially for monographs contributed to make an overall and systematic conclusion on the species of marine life in China after 2008.

CCOC：An Optimizing Compiling System for Concurrent C Supporting Inter－process Code Analysis and Optimization

At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are inter-process. In order to make their implementation easy, we propose a new method to construct an optimizing compiling system CCOC for Concurrent C. CCOC supports inter-process code analysis and optimization to Concurrent C programs and does not affect the system's portability and separate compilation of source programs. We also discuss some implementation details of CCOC briefly.

A High Speed Signal Processing Machine -Its Architecture, Language and Compiler

A systolic array architecture computer (FXCQ) has been designed for signal processing. R can handle floating point data at very high speed. It is composed of 16 processing cells and a cache that are connected linearly and form a ring structure. All processing cells are identical and programmable. Each processing cell has the peak performance of 20 million floating-point operations per second (20MFLOPS). The machine therefore has a peak performance of 320 M FLOPS. It is integrated as an attached processor into a host system through VME bus interface. Programs for FXCQ are written in a high-level language -B language, which is supported by a parallel optimizing compiler. This paper describes the architecture of FXCQ, B language and its compiler.

Compiler IR-Based Program Encoding Method for Software Defect Prediction

With the continuous expansion of software applications,people’s requirements for software quality are increasing.Software defect prediction is an important technology to improve software quality.It often encodes the software into several features and applies the machine learning method to build defect prediction classifiers,which can estimate the software areas is clean or buggy.However,the current encoding methods are mainly based on the traditional manual features or the AST of source code.Traditional manual features are difficult to reflect the deep semantics of programs,and there is a lot of noise information in AST,which affects the expression of semantic features.To overcome the above deficiencies,we combined with the Convolutional Neural Networks(CNN)and proposed a novel compiler Intermediate Representation(IR)based program encoding method for software defect prediction(CIR-CNN).Specifically,our program encoding method is based on the compiler IR,which can eliminate a large amount of noise information in the syntax structure of the source code and facilitate the acquisition of more accurate semantic information.Secondly,with the help of data flow analysis,a Data Dependency Graph(DDG)is constructed on the compiler IR,which helps to capture the deeper semantic information of the program.Finally,we use the widely used CNN model to build a software defect prediction model,which can increase the adaptive ability of the method.To evaluate the performance of the CIR-CNN,we use seven projects from PROMISE datasets to set up comparative experiments.The experiments results show that,in WPDP,with our CIR-CNN method,the prediction accuracy was improved by 12%for the AST-encoded CNN-based model and by 20.9%for the traditional features-based LR model,respectively.And in CPDP,the AST-encoded DBNbased model was improved by 9.1%and the traditional features-based TCA+model by 19.2%,respectively.

Compilation and Analysis Method for Computer Aided Pattern Design System Based on Fully-Fashioned Computerized Flat Knitting Machine

The knitting industry CAD/CAM system＇s development needs a solution of computer representation of the designed objects. One of them is a transformation of knitting rows and stitches form knitting pattern and its automatic analysis is to control data from the knitting design data. A method of the pattern CAD system including the analyzing and the compiling of the pattern data was developed in this paper. By rasterizing the pattern map, the drafted pattern could be compiled into knitting row data and stitches. The storage format of knitting rows data and stitches data could be defined by analyzing the motion of computerized fiat knitting machine. By reassembling the control data, it could be analyzed into the execute data of the controller in computerized fiat knitting machine. This method mainly focused on the weak areas of multi-needle-bed technology and fully-fashioned knitting technology in inland and could be applied to most of control systems in the master-slave mode. The knitting row data and pattern row data in a ＂ ＊. ptn＂ format file were integrated. Giving a corresponding analytic calculation process of control data and realizing independent development of the upper machine and the lower machine, the final knitting control data not only have low computation and transmission cost but also have fast transfer speeds.

Analysis on Establishing Urban Cemetery Planning and Compiling System

Currently,there are many problems in construction of urban cemetery like improper location,low land utilization,backward greening facilities and imperfect cemetery management,which have greatly affected people's normal production and life. This article discusses the establishment of a sustainable city cemetery planning and compiling system from three levels of " macro-view,medium-view and micro-view" in order to perfect the present cemetery system.

The Implementation of the ASN.1-C++ Compiler and Its Application in IN

Syntax Notation One (ASN.1) has been widely used in specifications of high level communication protocol. It is also very important for Intelligent Networks Application Protocol(INAP). This paper presents the design and implementation of the ASN.1 C++ compiler. According to the ASN.1 text, this compiler can generate C++ code of functions for encoding and decoding the data types which are defined by ASN.1. These functions are based on the Basic Encoding Rules(BER) of ASN.1. They have been used in the CIN 01 and CIN 02 systems.

Constructing a Simple Verbal Compiler

The paper’s purpose is to design and program the four operation-calculators that receives voice instructions and runs them as either a voice or text phase. The Calculator simulates the work of the Compiler. The paper is a practical example programmed to support that it is possible to construct a verbal Compiler.

Design of Compilation System of New Generation Weather Radar Case Data

Based on updating of new generation weather radar software,compilation system of new generation weather radar case data could automatically back up data and compile radar case.Using C language and VC++6.0 development technology,the software realizes the automatic sorting and saving of radar base data,radar products and radar status information on different machines every day,and automatically creates various folders and files required for compiling data.By inputting the days,date,start and end times,renaming and compression of the base data,product data and status information could be automatically completed,to realize automation,batch,process and standardization of case data compilation.Since putting into the radar business,the operation has been stable and reliable.The working efficiency of business personnel has been improved,and a large number of manpower has been saved.It can be transplanted and popularized in other new generation weather radar stations.

高性能计算与标准化的完美结合——Intel Compiler 8.0及其配套工具介绍

在x86体系结构的PC里,编译代码质量最好的C++是谁,不是VC++,不是Borland C++,也不是g++,而是InterC++。本文将带你畅游这个高性能编译器的世界。体会一下无需修改程序就可提升20％性能的美妙感觉。

危险化学品重大危险源辨识分级系统V1.0的研究与实现

危险化学品的存在给人们的生命和财产带来了潜在的风险,因此,开发一款能快速准确识别危险化学品重大危险源并进行风险分级评估的软件,对保障人民群众的生命安全和防止危险化学品事故的发生至关重要。基于MATLAB Compiler开发了危险化学品重大危险源辨识分级系统V1.0,该系统能够快速识别危险化学品的临界量和校正系数,并通过输入实际存在量,完成危险化学品的重大危险源辨识。同时,该系统还能够根据用户输入的校正系统,计算重大危险源分级指标。该系统具有操作简单、响应速度快、准确度高等优点,在危险化学品生产、储存、运输等领域有着广泛的应用前景。