scholarly journals Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-30
Author(s):  
Stefanos Chaliasos ◽  
Thodoris Sotiropoulos ◽  
Georgios-Petros Drosos ◽  
Charalambos Mitropoulos ◽  
Dimitris Mitropoulos ◽  
...  

Despite the substantial progress in compiler testing, research endeavors have mainly focused on detecting compiler crashes and subtle miscompilations caused by bugs in the implementation of compiler optimizations. Surprisingly, this growing body of work neglects other compiler components, most notably the front-end. In statically-typed programming languages with rich and expressive type systems and modern features, such as type inference or a mix of object-oriented with functional programming features, the process of static typing in compiler front-ends is complicated by a high-density of bugs. Such bugs can lead to the acceptance of incorrect programs (breaking code portability or the type system's soundness), the rejection of correct (e.g. well-typed) programs, and the reporting of misleading errors and warnings. We conduct, what is to the best of our knowledge, the first empirical study for understanding and characterizing typing-related compiler bugs. To do so, we manually study 320 typing-related bugs (along with their fixes and test cases) that are randomly sampled from four mainstream JVM languages, namely Java, Scala, Kotlin, and Groovy. We evaluate each bug in terms of several aspects, including their symptom, root cause, bug fix's size, and the characteristics of the bug-revealing test cases. Some representative observations indicate that: (1) more than half of the typing-related bugs manifest as unexpected compile-time errors: the buggy compiler wrongly rejects semantically correct programs, (2) the majority of typing-related bugs lie in the implementations of the underlying type systems and in other core components related to operations on types, (3) parametric polymorphism is the most pervasive feature in the corresponding test cases, (4) one third of typing-related bugs are triggered by non-compilable programs. We believe that our study opens up a new research direction by driving future researchers to build appropriate methods and techniques for a more holistic testing of compilers.

1989 ◽  
Vol 18 (2) ◽  
pp. 123-141 ◽  
Author(s):  
Robert H. Seidman

Recent research results having to do with explicit instruction in computer programming and cognitive skills indicate an increased emphasis upon the structure of the learning environment surrounding programming languages. A new research direction concerned with transfer effects due to environmental aspects of programming instruction is emerging. A conceptual analysis of the syntax and semantics of the IF-THEN [ELSE] conditional command is presented which suggests that mastering a procedural language itself (independent of environment) might have unintended, indirect, and potentially negative effects upon fundamental intellectual skills. Research is reported which suggests that there are unintended side-effects upon childrens' conditional reasoning ability due to learning a procedural computer programming language.


2019 ◽  
Vol 8 (3) ◽  
pp. 5926-5929

Blind forensic-investigation in a digital image is a new research direction in image security. It aims to discover the altered image content without any embedded security scheme. Block and key point based methods are the two dispensation options in blind image forensic investigation. Both the techniques exhibit the best performance to reveal the tampered image. The success of these methods is limited due to computational complexity and detection accuracy against various image distortions and geometric transformation operations. This article introduces different blind image tampering methods and introduces a robust image forensic investigation method to determine the copy-move tampered image by means of fuzzy logic approach. Empirical outcomes facilitate that the projected scheme effectively classifies copy-move type of forensic images as well as blurred tampered image. Overall detection accuracy of this method is high over the existing methods.


Open Medicine ◽  
2020 ◽  
Vol 15 (1) ◽  
pp. 1003-1011
Author(s):  
Guanyu Zhang ◽  
Yiran Li ◽  
Jiasheng Xu ◽  
Zhenfang Xiong

AbstractOsteosarcoma (OS) is the most common primary malignant tumor of the skeletal system in the clinic. It mainly occurs in adolescent patients and the pathogenesis of the disease is very complicated. The distant metastasis may occur in the early stage, and the prognosis is poor. MicroRNAs (miRNAs) are non-coding RNAs of about 18–25 nt in length that are involved in post-transcriptional regulation of genes. miRNAs can regulate target gene expression by promoting the degradation of target mRNAs or inhibiting the translation process, thereby the proliferation of OS cells can be inhibited and the apoptosis can be promoted; in this way, miRNAs can affect the metabolism of OS cells and can also participate in the occurrence, invasion, metastasis, and recurrence of OS. Some miRNAs have already been found to be closely related to the prognosis of patients with OS. Unlike other reviews, this review summarizes the miRNA molecules closely related to the development, diagnosis, prognosis, and treatment of OS in recent years. The expression and influence of miRNA molecule on OS were discussed in detail, and the related research progress was summarized to provide a new research direction for early diagnosis and treatment of OS.


2012 ◽  
Vol 433-440 ◽  
pp. 4751-4756 ◽  
Author(s):  
Hao Wu ◽  
Zi Fu Li ◽  
Xin Jin ◽  
Xin Zhao ◽  
Fu Rong Deng

Secondary effluent from WWTPS still contains a large number of microorganisms, therefore, disinfection is essential. There are many disadvantages in using traditional disinfection methods, so the combination of disinfection techniques is a new research direction. Ozone combined with ultrasound is one of them. In this experiment, the inactivation of the total coli forms, color removal and UV254 removal of secondary effluent by a combination of ultrasonic (frequency20 kHz; power100W) and ozone disinfection was investigated. The results show that the effect of the synergistic action of 30s US and ozone disinfection is superior to the effect of individual ozone disinfection. After 15min synergistic disinfection, the total coli forms inactivation rate is up to 99.9%, simultaneously color removal rate to 80% and UV254 removal rate to 52%. Compared with individual ozone disinfection, reaction time was reduced by 5 min.


2004 ◽  
Vol 4 (4) ◽  
pp. 316-328 ◽  
Author(s):  
Carol J. Romanowski , ◽  
Rakesh Nagi

In variant design, the proliferation of bills of materials makes it difficult for designers to find previous designs that would aid in completing a new design task. This research presents a novel, data mining approach to forming generic bills of materials (GBOMs), entities that represent the different variants in a product family and facilitate the search for similar designs and configuration of new variants. The technical difficulties include: (i) developing families or categories for products, assemblies, and component parts; (ii) generalizing purchased parts and quantifying their similarity; (iii) performing tree union; and (iv) establishing design constraints. These challenges are met through data mining methods such as text and tree mining, a new tree union procedure, and embodying the GBOM and design constraints in constrained XML. The paper concludes with a case study, using data from a manufacturer of nurse call devices, and identifies a new research direction for data mining motivated by the domains of engineering design and information.


Author(s):  
Thanh Quy Ngo Thi ◽  
◽  
Hong Minh Nguyen Thi ◽  

Proverbs are important data depicting the traditional culture of each nation. Vietnamese proverbs, dated thousands of years ago, are an immense valuable treasure of experience which the Vietnamese people desire to pass to the younger generations. This paper aims to explore the unique and diversified world of intelligence and spirits of the Vietnamese through a condensed and special literary genre, as well as a traditional value of the nation (Nguyen Xuan Kinh 2013, Tran Ngoc Them 1996, Le Chi Que and Ngo Thi Thanh Quy 2014). Through an interdisciplinary approach, from an anthropological point of view, approaching proverbs we will open up a vast treasure of knowledge and culture of all Vietnamese generations. The study has examined over 16,000 Vietnamese proverbs and analysed three groups expressing Vietnamese people’s behaviors toward nature, society and their selves, and compared them with English and Japanese proverbs. The research has attempted to explore the beauty of Vietnamese language, cultural values and the souls and personalities of Vietnam. Approaching Vietnamese proverbs under the interdisciplinary perspective of language, culture and literature is a new research direction in the field of Social Sciences and Humanity in Vietnam. From these viewpoints, it is seen that proverbs have remarkably contributed to the language and culture of Vietnam as well as and constructed to the practice of language use in everyday life which is imaginary, meaningful and effective in communication. Furthermore, the study seeks to inspire the Vietnamese youth’s pride in national identity and to encourage their preservation and promotion for traditional values of the nation in the context of integration and globalisation. In the meantime, it would be favourable to introduce and market the beauty of Vietnamese language, culture and people to the world, encouraging the speakers of other languages to study, explore and understand Vietnam.


2018 ◽  
Vol 43 (1) ◽  
pp. 245-265 ◽  
Author(s):  
Jon Barnett ◽  
W. Neil Adger

Research on environmental change has often focused on changes in population as a significant driver of unsustainability and environmental degradation. Demographic pessimism and limited engagement with demographic realities underpin many arguments concerning limits to growth, environmental refugees, and environment-related conflicts. Re-engagement between demographic and environmental sciences has led to greater understanding of the interactions between the size, composition, and distribution of populations and exposure to environmental risks and contributions to environmental burdens. We review the results of this renewed and far more nuanced research frontier, focusing in particular on the way demographic trends affect exposure, sensitivity, and adaptation to environmental change. New research has explained how migration systems interact with environmental challenges in individual decisions and in globally aggregate flows. Here we integrate analysis on demographic and environmental risks that often share a root cause in limited social freedoms and opportunities. We argue for a capabilities approach to promoting sustainable solutions for a more mobile world.


Sign in / Sign up

Export Citation Format

Share Document