Does BLEU Score Work for Code Migration?

Statistical machine translation (SMT) is a fast-growing sub-field of computational linguistics. Until now, the most popular automatic metric to measure the quality of SMT is BiLingual Evaluation Understudy (BLEU) score. Lately, SMT along with the BLEU metric has been applied to a Software Engineering task named code migration. (In)Validating the use of BLEU score could advance the research and development of SMT-based code migration tools. Unfortunately, there is no study to approve or disapprove the use of BLEU score for source code. In this paper, we conducted an empirical study on BLEU score to (in)validate its suitability for the code migration task due to its inability to reflect the semantics of source code. In our work, we use human judgment as the ground truth to measure the semantic correctness of the migrated code. Our empirical study demonstrates that BLEU does not reflect translation quality due to its weak correlation with the semantic correctness of translated code. We provided counter-examples to show that BLEU is ineffective in comparing the translation quality between SMT-based models. Due to BLEU's ineffectiveness for code migration task, we propose an alternative metric RUBY, which considers lexical, syntactical, and semantic representations of source code. We verified that RUBY achieves a higher correlation coefficient with the semantic correctness of migrated code, 0.775 in comparison with 0.583 of BLEU score. We also confirmed the effectiveness of RUBY in reflecting the changes in translation quality of SMT-based translation models. With its advantages, RUBY can be used to evaluate SMT-based code migration models.Comment: 12 pages, 5 figures, ICPC '19 Proceedings of the 27th International Conference on Program Comprehensio

One-pot preparation of alumina-modified polysulfone-graphene oxide nanocomposite membrane for separation of emulsion-oil from wastewater

In recent years, polysulfone-based nanocomposite membranes have been widely used for contaminated water treatment because they comprise properties such as high thermal stability and chemical resistance. In this study, a polysulfone (PSf) nanocomposite membrane was fabricated using the wet-phase inversion method with the fusion of graphene oxide (GO) and alumina (Al2O3) nanoparticles. We also showed that GO-Al2O3 nanoparticles were synthesised successfully by using a one-pot hydrothermal method. The nanocomposite membranes were characterised by Fourier transform infrared (FT-IR), scanning electron microscopy (SEM), nitrogen adsorption-desorption isotherms, energy-dispersive X-ray spectroscopy (EDX), thermogravimetric analysis (TGA), and water contact angle. The loading of GO and Al2O3 was investigated to improve the hydrophilic and oil rejection of the matrix membrane. It was shown that by using 1.5 wt.% GO-Al2O3 loaded in polysulfone, ~74% volume of oil was separated from the oil/water emulsion at 0.87 bar and 30 min. This figure was higher than that of the process using the unmodified membrane (PSf/GO) at the same conditions, in which only ~60% volume of oil was separated. The pH, oil/water emulsion concentration, separation time, and irreversible fouling coefficient (FRw) were also investigated. The obtained results suggested that the GO-Al2O3 nanoparticles loaded in the polysulfone membrane might have potential use in oily wastewater treatment applications

On the braiding of an Ann-category

A braided Ann-category \A is an Ann-category \A together with the braiding $c$ such that (\A, \otimes, a, c, (I,l,r)) is a braided tensor category, and $c$ is compatible with the distributivity constraints. The paper shows the dependence of the left (or right) distributivity constraint on other axioms. Hence, the paper shows the relation to the concepts of {\it distributivity category} due to M. L. Laplaza and {\it ring-like category} due to A. Frohlich and C.T.C Wall. The center construction of an almost strict Ann-category is an example of an unsymmetric braided Ann-category.Comment: 20 page