An analysis of tobacco surcharge litigation under wellness programs governed by the Employee Retirement Income Security Act of 1974 (ERISA), highlighting challenges to the surcharges’ legality by ...

Automatic translators can facilitate migration from C to Rust, but existing translators generate unsatisfactory code by relying on language features whose safety is not validated by the compiler and ...

Abstract: Large Language Models (LLMs) are increasingly used by software engineers for code generation. However, limitations of LLMs such as irrelevant or incorrect code have highlighted the need for ...

Abstract: Some tools have been developed in the scientific field to detect similarities in texts; however, some software is not very efficient in detecting plagiarism in programming source codes. In ...