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%.

Compilation Mode for the Integrated Planning of Lake Scenic Areas——A Case Study of the Longhu Lake Scenic Area in the Taihang Mountains

In view of lake scenic areas with abundant tourist resources but less-developed economy,contradictions between the urgency of its tourist resource development and complexity of urban-rural planning compilation were analyzed,and also limitations summarized as insufficient time and fund.Statutory planning contents included in the integrated compilation system were elaborated,and compilation of the integrated planning for the Longhe Lake Scenic Area in the Taihang Mountains was taken for example to introduce planning concepts of the compilation technical system.Considering characteristics of the study area,"regionality" was stressed as the foundation of planning compilation,concise,convenient and practical planning compilation contents were advocated and further explained from the perspectives of compiling by layer and category.In view of this,it is necessary to apply integrated compilation mode under certain circumstances,so as to provide a new approach for the planning compilation of other regions in China and enhance economic and social development of local areas.

Optimization of Map Compilation for County-level Land Consolidation Planning

Based on practice of the land consolidation planning in Changfeng County of Hefei City,taking full account of reality of land consolidation and its significance as livelihood project,we analyzed map compilation procedure.In combination with actual effect of land consolidation,we carried out consolidation assessment of same elements by overall planning method,and optimized the map compilation for county-level land consolidation planning.Results show that planning map of land consolidation potential is to be improved and legends should be merged.After consolidation of legends,it is convenient to apply in potential planning map and solve complicated problem of reading maps.

A Compilation of the Geo-Mechanical Properties of Rocks in Southern Ontario and the Neighbouring Regions

The available measurements of the geo-mechanical properties of rocks in Southern Ontario and the neighbouring regions (New York, Ohio, Michigan, Indiana, Illinois, Wisconsin, and Minnesota) are summarized and presented. These measurements were compiled from available published data in the relevant literature and also from data that were collected from major underground projects in these regions. The compiled data are presented in three categories: measured in-situ stresses in different rock formations;calculated strength, stiffness and deformation including time-dependent deformation properties;and the measured dynamic properties of intact rock specimens from different rock formations in Southern Ontario and the neighbouring regions. The data presented in this paper can be used as a resource for preliminary evaluation of the geomechanical properties of the rocks in these regions. The presented geo-mechanical properties were generally obtained from in-situ measurements and from laboratory tests that were conducted on intact rock specimens from freshly excavated rock samples. Moreover, the time-dependent deformation properties of rocks in these regions were obtained from laboratory tests that were performed on intact rock specimens submerged in water. However, the influence of drilling fluids such as bentonite slurry and synthetic polymers solution, on the geo-mechanical properties of rocks is not evident and needs to be investigated.

A“Projectized”Approach to EST Translation Textbook Compilation

Setting out from the shortfalls of present EST translation textbooks,i.e.,similar structure and lacking diversity,we survey teachers and students of EST translation,and find problems regarding example choosing and lack of emphasis on CAT technology.Based on translation theory and translation talent training theory,a new“projectized”approach to compiling EST translation textbooks is put forward,which advocates that translation textbooks construct an environment with an initiator,consignor,original writer,translator,user,and receiver.The approach is expected to promote the practical value of EST translation textbooks and empower them with the ability required by the translation industry.

Compilation Principles and Methods of China’s First Mongolian Standard in Meteorological Industry

Mongolian Terms Commonly Used in Meteorological Services that was issued by the China Meteorological Administration is China s first traditional Mongolian standard in meteorological industry. In the process of formulation, the compilation unit fully complied with the principles of scientificity, practicability, universality and versatility, and used literal translation, free translation, and the combination of literal translation and free translation to translate and compile 71 mongolian terms commonly used in meteorological services. The standard fills the blank of standardization construction of basic traditional Mongolian language in the meteorological industry of China.

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.

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.

The Differences between the 3rd Edition and the 4th Edition of Oxford Advanced Learner's English-Chinese Dictionary in Compilation

This paper is to analyze the differences between the 3rd edition and 4th edition of Oxford Advanced Learner's English- Chinese Dictionary (hereafter referred to as ALECD3 and ALECD4). By making comparison between the two dictionaries in the learner's and compiler's perspectives, it high-lights the priority of the 4th edition in content and compilation. Following a brief introduction in Part 1, Part 2 examines the innovations the 3rd edition has made in verb-pattern scheme, compounds, entries, examples, adjectives and appendices from the learner's perspective. Part3 holds a theoretical discussion of prescription and description in the 4th edition.

Compilation of serial maps on karst geology of China and Southeast Asia

The compilation of serial maps of karst geology in China and Southeast Asia is a project under the 'One Belt One Road' geological survey plan granted by China Geological Survey. This paper summarized the research trend of geoscientific mapping in China and Southeast Asia and introduced the significance, contents, technical routes, operating methods and progress of the project. Through bilateral and multilateral cooperation, this project builded an international cooperation platform for mapping and completes the preliminary compilation of related karst geological maps in China and Southeast Asia, thus filling up the blank of karst geological maps in this region.

Crosstalk Aware Register Reallocation Method for Green Compilation

As nanoscale processing becomes the mainstream in IC manufacturing,the crosstalk problem rises as a serious challenge,not only for energy-efficiency and performance but also for security requirements.In this paper,we propose a register reallocation algorithm called Nearby Access based Register Reallocation(NARR)to reduce the crosstalk between instruction buses.The method includes construction of the software Nearby Access Aware Interference Graph(NAIG),using data flow analysis at assembly level,and reallocation of the registers to the software.Experimental results show that the crosstalk could be dramatically minimized,especially for 4C crosstalk,with a reduction of 80.84%in average,and up to 99.99%at most.

Study on Revision and Compilation of Rainstorm Intensity Formula in Liuzhou City and County

Rainstorm intensity formula,main basis of solving urban waterlogging,is the basis of scientifically and rationally making urban drainage professional planning and drainage engineering design. In this paper,compilation of rainstorm intensity formula in Luzhai County was taken as the case,revision and compilation techniques and research methods of rainstorm intensity formulas in municipal district and administrated county of Liuzhou were introduced. According to the Design Specification for Outdoor Drainage（ GB 50014-2006,2016） and the Technical Guidelines for Establishment of Intensity-Duration-Frequency Curve Design Rainstorm Profile,historical rainfall data at Luzhai National Weather Station were sampled by using annual maximum method,and sampling time was from1980 to 2016. The period with the maximum rainfall was divided into 11 time intervals： 5,10,15,20,30,45,60,90,120,150 and 180 min. Fitting adjust of rainstorm sample data was conducted by using Pearson-III distribution curve,rainstorm intensity formula was fitted by the least square method,and calculation accuracy test corresponded with the requirement of Design Specification for Outdoor Drainage（ GB 50014-2006,2016）. Conclusions and suggestions were as below： firstly,rainstorm intensity formula was compiled and calculated according to the recommended methods of the Design Specification for Outdoor Drainage（ GB 50014-2006,2016） and the Technical Guidelines for Establishment of Intensity-Duration-Frequency Curve Design Rainstorm Profile,calculation process was normative,and calculation result error met the requirement of the specification. Secondly,sampling by annual maximum method was more suitable for the expression of periodic hydrometeorological law by taking year as reappearance period,and could cause better randomness and independence of statistical sample,and the method was scientific and reliable. Thirdly,rainstorm intensity formula compiled by taking rainfall data in national weather stations of Liuzhou and its administrated counties as the sample could be used in the scope of the local jurisdiction.

Source-to-Source Refactoring and Elimination of Global Variables in C Programs

A global variable in C/C++ is one that is declared outside a function, and whose scope extends the lifetime of the entire program. Global variables cause problems for program dependability, maintainability, extensibility, verification, and thread-safety. However, global variables can also make coding more convenient and improve program performance. We have found the use of global variables to remain unabated and extensive in real-world software. In this paper we present a source-to-source refactoring tool to automatically detect and localize global variables in a program. We implement a compiler based transformation to find the best location to redefine each global variable as a local. For each global, our algorithm initializes the corresponding new local variable, passes it as an argument to necessary functions, and updates the source lines that used the global to now instead use the corresponding local or argument. We also characterize the use of global variables in standard benchmark programs. We study the effect of our transformation on static program properties, such as change in the number of function arguments and program state visibility. Additionally, we quantify dynamic program features, including memory and runtime performance, before and after our localizing transformation.

Register Allocation Compilation Technique for ASIP in 5G Micro Base Stations

The currently available compilation techniques are for general computing and are not optimized for physical layer computing in 5G micro base stations.In such cases,the foreseeable data sizes and small code size are application specific opportunities for baseband algorithm optimizations.Therefore,the special attention can be paid,for example,the specific register allocation algorithm has not been studied so far.The compilation for kernel sub-routines of baseband in 5G micro base stations is our focusing point.For applications of known and fixed data size,we proposed a compilation scheme of parallel data accessing,while operands can be mainly allocated and stored in registers.Based on a small register group(48×32b),the target of our compilation scheme is the optimization of baseband algorithms based on 4×4 or smaller matrices,maximizing the utilization of register files,and eliminating the extra register data exchanging.Meanwhile,when data is allocated into register files,we used VLIW(Very Long Instruction Word)machine to hide the time of data accessing and minimize the cost of data accessing,thus the total execution time is minimum.Experiments indicate that for algorithms with small data size,the cost of data accessing and extra addressing can be minimized.

Source-to-Source Translation and Software Engineering

Source-to-source translation of programs from one high level language to another has been shown to be an effective aid to programming in many cases. By the use of this approach, it is sometimes possible to produce software more cheaply and reliably. However, the full potential of this technique has not yet been realized. It is proposed to make source-to-source translation more effective by the use of abstract languages, which are imperative languages with a simple syntax and semantics that facilitate their translation into many different languages. By the use of such abstract languages and by translating only often-used fragments of programs rather than whole programs, the need to avoid writing the same program or algorithm over and over again in different languages can be reduced. It is further proposed that programmers be encouraged to write often-used algorithms and program fragments in such abstract languages. Libraries of such abstract programs and program fragments can then be constructed, and programmers can be encouraged to make use of such libraries by translating their abstract programs into application languages and adding code to join things together when coding in various application languages. This approach can also improve program reliability, because it is only necessary to verify the abstract programs once instead of verifying them separately in each application language. Also, this approach makes it possible to generate code faster than programming from scratch each time. This approach is compared to the use of libraries and to other methods in current use for communication between programming languages and translation between languages.

On the Compilation Modes of Local History of Science and Technology——A Case Study of the History of Ba-Shu Science and Technology

The contents of"Ba-Shu History of Science and Technology"take up a single volume of A General History of Ba-Shu Culture.This paper attempts to explore compilation modes of the history of local science and technology by analyzing the compilation of"Shu History of Science and Technology".There are three approaches available,i.e.a general history-based approach,a discipline-based approach and an integrated approach,also known as a discipline-specific approach based on general history.This paper considers the integrated approach to be the most feasible as it elaborates Ba-Shu culture as a sub-culture of Chinese culture,the connotations of Ba-Shu achievements in science and technology,the special significance of the history of Ba-Shu science and technology,as well as the latest progress in studying the history of Ba-Shu science and technology.This paper also puts forward a possible choice to better approach the compilation of the history of local science and technology,reveals areas worth improving,and indicates a proper direction to move towards.

A Review on the Compilation of College English Textbooks in China Based on Big Data

With the help of Big Data and Citespace software, this research makes a statistical analysis of the journals anddissertations on College English teaching and learning materials collected by CNKI from 2011 to 2020. This paper,based on the knowledge map drawn by the visualized analysis of literatures volume, authors, research institutions,and keywords clustering, analyzes the current research status and hotspots in the compilation of China’s CollegeEnglish textbooks.

The Compilation Principles of EST Teaching Materials

English for Science and Technology （EST）, as one branch of English for Special Purposes, has its own distinctive features and plays a significant role in today＇s English education. In language teaching, teaching materials play an important role. To a great extent, they determine the content and approaches of teaching and learning and affect the quality of language education. The author of this paper makes a tentative analysis of the compilation principles of EST teaching materials, from the perspective of students, scientific and technological discipline, and the English language, highlighting the content of teaching and the motivation of students. This paper proposes the Principles of Interest, Life-Long Development, Appropriateness, Systematization, Cognitive Scientificalness, Illumination, Integration of Abstract Knowledge and Specific Cases, Authenticity, Timeliness, and Comprehensive Improvement, so as to improve both subject competence and linguistic ability

A Study on the Compilation of Dictionaries for Teaching Chinese as a Foreign Language Based on the Second Language Acquisition Theory

This article intends to demonstrate the principles for dictionary compilation.To summarize,general rules are to be followed.At the same time,this article probes into the differences of Chinese to Chinese dictionary,Chinese to foreign language dictionary,dictionaries for the preparation of certain exams,learner’s dictionaries for reviewing errors,dictionaries with multimedia and dictionaries built via the Internet..In all,one of the key factors for dictionary compilation is the professionalism of editors and writers.The training of the people involved is vital,which would contribute to setting up a better order of the market.Acknowledgements should also be given to achievements in dictionary compilation.Revisions and polishing are required to improve the dictionaries on the market that have already won the acclaim so as to put their influence to the best display.