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 impo...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%.展开更多
Interpretation(I)of the Supreme People’s Court of Issues Concerning the Application of Law in the Trial of Labor Dispute Cases allows for the application of pertinent laws and regulations,including the Civil Code of ...Interpretation(I)of the Supreme People’s Court of Issues Concerning the Application of Law in the Trial of Labor Dispute Cases allows for the application of pertinent laws and regulations,including the Civil Code of the People’s Republic of China(hereinafter referred to as the“Civil Code”),in labor dispute cases.This has resolved the controversy over the relationship between civil law and labor law in academic and practical communities.In view of this development,we examined four hundred judicial documents,analyzing the focal points of disputes,the reasoning behind judgments,applicable laws,and judgment results.Our study identified seven impacts of the Contract Book of the Civil Code on labor dispute trial practices,exploring the underlying logic behind these changes and proposing policy suggestions to promote consistent judgments across jurisdictions,enhance judicial credibility,and encourage employers to govern enterprises in compliance with the law while empowering employees to safeguard their rights in accordance with relevant laws and regulations.展开更多
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 int...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.展开更多
The relationship between the civil law and commercial law is a long-standing issue of controversy in the area of private law, and it is also an issue of unavoidably legislative selection during the codification the ci...The relationship between the civil law and commercial law is a long-standing issue of controversy in the area of private law, and it is also an issue of unavoidably legislative selection during the codification the civil code in almost every country. Since the founding of the People Republic of China, China has carried out the codification of civil code for four times, and since the part^s eighteen plenary session officially proposed the ＇codification of civil code＇, the issue of the civil and conmaercial relation draws the attention again, either unification or division of civil and commercial law directly affects the system and content of the civil code, and affects how to process the relationship between the civil law and commercial law during the codification of the civil code as well. The codification of the civil code should not only consider the legislative tradition of the civil and commercial legislation and the current legal system, but also pursue characteristics of the commercial law, in a system of combining civil and commercial law, through adding commercial law into the general principle of civil law; the existing commercial law should be separately retained.展开更多
Protecting the equal human rights of persons with disabilities is an important part of human rights protection in China.The Marriage law Amendment in 2001 focused on the economic assistance system for divorce relief f...Protecting the equal human rights of persons with disabilities is an important part of human rights protection in China.The Marriage law Amendment in 2001 focused on the economic assistance system for divorce relief for a party unable maintain the local basic standard of living.The Civil Code has adjusted and expanded the system,stipulating that one party can ask for financial help from the other party if the party can’t maintain a reasonable living after divorce.To a certain extent,this economic assistance should include the assistance to the party whose living standard has decreased significantly after divorce and the party who has made more sacrifices and contribution to the marriage during the marriage.Although the economic assistance system for divorce stipulated in the Civil Code does not specifically address unequal treatment or discrimination against women with disabilities,since women with disabilities are more vulnerable after divorce,they are more likely to put forward economic assistance claims after a divorce,be more dependent on others physically and psychologically,and find it more difficult to obtain employment.Social security for women with disabilities is still insufficient and compared with other subjects,women with disabilities are likely to be in an unequal position in the realization of their right to economic assistance in divorce.Therefore,it is necessary to put forward reasonable legal interpretations and application suggestions for the relevant provisions in the Civil Code,so as to fully realize the economic assistance rights of women with disabilities in divorce,and reflect the care and protection of the human rights of women with disabilities in the Civil Code.展开更多
Putting the people first in human rights protection is the most distinctive feature of the outlook on human rights in contemporary China. The codification of the Civil Code of the People’s Republic of China reflects ...Putting the people first in human rights protection is the most distinctive feature of the outlook on human rights in contemporary China. The codification of the Civil Code of the People’s Republic of China reflects the people’s legislation for themselves, which is guided by the principle of putting the people first in its external system and internal values. Functionally, the Civil Code of the People’s Republic of China reflects the obligation of the country to protect human rights, constructs the framework relationship between the country and individual people, and perfects the mechanism for human rights protection. The continuous expansion of the types, contents, and functions of civil rights in the Civil Code of the People’s Republic of China is required by the broad scope of human rights, with an aim to realize a happy life for the people, the most important human rights, and protect people’s personal rights, property rights, and right to dignity through specific rules. The universal sharing of human rights requires the universality of the subjects of civil rights. The equal sharing of human rights requires the equality of forms of civil rights protection. Meanwhile, it further requires the substantive equality of civil rights protection. Attention is paid to protecting the rights and interests of specific groups in external and embedded ways.展开更多
文摘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%.
文摘Interpretation(I)of the Supreme People’s Court of Issues Concerning the Application of Law in the Trial of Labor Dispute Cases allows for the application of pertinent laws and regulations,including the Civil Code of the People’s Republic of China(hereinafter referred to as the“Civil Code”),in labor dispute cases.This has resolved the controversy over the relationship between civil law and labor law in academic and practical communities.In view of this development,we examined four hundred judicial documents,analyzing the focal points of disputes,the reasoning behind judgments,applicable laws,and judgment results.Our study identified seven impacts of the Contract Book of the Civil Code on labor dispute trial practices,exploring the underlying logic behind these changes and proposing policy suggestions to promote consistent judgments across jurisdictions,enhance judicial credibility,and encourage employers to govern enterprises in compliance with the law while empowering employees to safeguard their rights in accordance with relevant laws and regulations.
文摘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.
文摘The relationship between the civil law and commercial law is a long-standing issue of controversy in the area of private law, and it is also an issue of unavoidably legislative selection during the codification the civil code in almost every country. Since the founding of the People Republic of China, China has carried out the codification of civil code for four times, and since the part^s eighteen plenary session officially proposed the ＇codification of civil code＇, the issue of the civil and conmaercial relation draws the attention again, either unification or division of civil and commercial law directly affects the system and content of the civil code, and affects how to process the relationship between the civil law and commercial law during the codification of the civil code as well. The codification of the civil code should not only consider the legislative tradition of the civil and commercial legislation and the current legal system, but also pursue characteristics of the commercial law, in a system of combining civil and commercial law, through adding commercial law into the general principle of civil law; the existing commercial law should be separately retained.
基金The phased research results under the theme“Value Judgment and Application Criteria of Divorce Property Division and Divorce Relief System in The Civil Code:Based on Safeguarding Women’s Human Rights”(CSHRS2020-21YB)a ministerial-level project of the China Society for Human Rights Studies in 2020
文摘Protecting the equal human rights of persons with disabilities is an important part of human rights protection in China.The Marriage law Amendment in 2001 focused on the economic assistance system for divorce relief for a party unable maintain the local basic standard of living.The Civil Code has adjusted and expanded the system,stipulating that one party can ask for financial help from the other party if the party can’t maintain a reasonable living after divorce.To a certain extent,this economic assistance should include the assistance to the party whose living standard has decreased significantly after divorce and the party who has made more sacrifices and contribution to the marriage during the marriage.Although the economic assistance system for divorce stipulated in the Civil Code does not specifically address unequal treatment or discrimination against women with disabilities,since women with disabilities are more vulnerable after divorce,they are more likely to put forward economic assistance claims after a divorce,be more dependent on others physically and psychologically,and find it more difficult to obtain employment.Social security for women with disabilities is still insufficient and compared with other subjects,women with disabilities are likely to be in an unequal position in the realization of their right to economic assistance in divorce.Therefore,it is necessary to put forward reasonable legal interpretations and application suggestions for the relevant provisions in the Civil Code,so as to fully realize the economic assistance rights of women with disabilities in divorce,and reflect the care and protection of the human rights of women with disabilities in the Civil Code.
基金accomplishment under the Scientific Research Fund Program of Renmin University of China (Project Approval No. 22XNQT12)。
文摘Putting the people first in human rights protection is the most distinctive feature of the outlook on human rights in contemporary China. The codification of the Civil Code of the People’s Republic of China reflects the people’s legislation for themselves, which is guided by the principle of putting the people first in its external system and internal values. Functionally, the Civil Code of the People’s Republic of China reflects the obligation of the country to protect human rights, constructs the framework relationship between the country and individual people, and perfects the mechanism for human rights protection. The continuous expansion of the types, contents, and functions of civil rights in the Civil Code of the People’s Republic of China is required by the broad scope of human rights, with an aim to realize a happy life for the people, the most important human rights, and protect people’s personal rights, property rights, and right to dignity through specific rules. The universal sharing of human rights requires the universality of the subjects of civil rights. The equal sharing of human rights requires the equality of forms of civil rights protection. Meanwhile, it further requires the substantive equality of civil rights protection. Attention is paid to protecting the rights and interests of specific groups in external and embedded ways.
