Search Results - java (compiler OR computer)

A Java Compiler Plugin for Type-Safe Inferences in Generics by Kumari, Neha, Kumar, Rajeev

“…The two most significant yet complex elements of Java generics are wildcards and type argument inference…”
Get full text

Jaccie: A Java-based compiler–compiler for generating, visualizing and debugging compiler components by Krebs, Nico, Schmitz, Lothar

“…Many programmers live in happy ignorance of their compilers’ internal workings. Others may want to take a look at what is going on inside a compiler in much the same way that they use a debugger to watch their compiled programs execute…”
Get full text

Detecting Trivial Mutant Equivalences via Compiler Optimisations by Kintis, Marinos, Papadakis, Mike, Yue Jia, Malevris, Nicos, Le Traon, Yves, Harman, Mark

“… We recently studied Trivial Compiler Equivalence (TCE) as a simple, fast and readily applicable technique for identifying equivalent mutants for C programs…”
Get full text

Fuzzing JavaScript JIT compilers with a high-quality differential test oracle by Li, Jizhe, Xu, Haoran, Wang, Yongjun, Jiang, Zhiyuan, Chun, Huang, Xie, Peidai, Chen, Yongxin, Xia, Tian

“…Modern JavaScript engines use Just-In-Time (JIT) compilers to convert frequently executed code into machine instructions, boosting performance for web applications and cross-platform systems…”
Get full text

From bytecode to JavaScript: the Js_of_ocaml compiler by Vouillon, Jérôme, Balat, Vincent

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Get full text

Compiler-assisted energy reduction of java real-time programs by Tewary, Manish, Salcic, Zoran, Biglari-Abhari, Morteza, Malik, Avinash

“… Energy management is often accomplished by dynamic frequency scaling which requires compilers to insert special instructions in the code at appropriate places, which are then used by the operating…”
Get full text

Detecting Compiler Error Recovery Defects via Program Mutation Exploration by Tang, Yixuan, Zhang, Jingxuan, Li, Xiaochen, Huang, Zhiqiu, Jiang, He

“…Compiler error recovery diagnostics facilitates software development as it provides the possible causes and suggestions on potential programming errors…”
Get full text

Translating to a Low-Resource Language with Compiler Feedback: A Case Study on Cangjie by Wang, Jun, Su, Chenghao, Ou, Yijie, Li, Yanhui, Tan, Jialiang, Chen, Lin, Zhou, Yuming

“… To address these limitations, we propose a novel training framework that begins with monolingual seed corpora, generating parallel datasets via back-translation and incorporating compiler feedback…”
Get full text

Do Developers Read Compiler Error Messages? by Barik, Titus, Smith, Justin, Lubick, Kevin, Holmes, Elisabeth, Jing Feng, Murphy-Hill, Emerson, Parnin, Chris

“…In integrated development environments, developers receive compiler error messages through a variety of textual and visual mechanisms, such as popups and wavy red underlines…”
Get full text

Translation Validation for JIT Compiler in the V8 JavaScript Engine by Kwon, Seungwan, Kwon, Jaeseong, Kang, Wooseok, Lee, Juneyoung, Heo, Kihong

“…We present TURBOTV, a translation validator for the JavaScript (JS) just-in-time (JIT) compiler of V8. WhileJS engines have become a crucial part of various…”
Get full text

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers by Wu, Mingyuan, Lu, Minghai, Cui, Heming, Chen, Junjie, Zhang, Yuqun, Zhang, Lingming

“…As a widely-used platform to support various Java-bytecode-based applications, Java Virtual Machine (JVM…”
Get full text

SPOON: A library for implementing analyses and transformations of Java source code by Pawlak, Renaud, Monperrus, Martin, Petitprez, Nicolas, Noguera, Carlos, Seinturier, Lionel

“… SPOON analyses and transformations are written in plain Java. With SPOON, developers do not need to dive into parsing, to hack a compiler infrastructure…”
Get full text

Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique by Papadakis, Mike, Yue Jia, Harman, Mark, Le Traon, Yves

“… Despite being researched for more than three decades, the problem remains. We propose Trivial Compiler Equivalence (TCE…”
Get full text

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler by Lochbihler, Andreas

“…This article presents JinjaThreads, a unified, type-safe model of multithreaded Java source code and bytecode formalised in the proof assistant Isabelle/HOL…”
Get full text

Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset by Martinez, Matias, Durieux, Thomas, Sommerard, Romain, Xuan, Jifeng, Monperrus, Martin

“…Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J comes with a test suite and at least one failing test case that triggers the bug…”
Get full text

Effective compiler error message enhancement for novice programming students by Becker, Brett A., Glanville, Graham, Iwashima, Ricardo, McDonnell, Claire, Goslin, Kyle, Mooney, Catherine

“… However, programming can be difficult to learn. Successfully interpreting compiler error messages (CEMs…”
Get full text

Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces by Jia, Haoxiang, Wen, Ming, Xie, Zifan, Guo, Xiaochen, Wu, Rongxin, Sun, Maolin, Chen, Kang, Jin, Hai

“…Java Virtual Machine (JVM) is the fundamental software system that supports the interpretation and execution of Java bytecode…”
Get full text

The indolent lambdification of Java: Understanding the support for lambda expressions in the Java ecosystem by Petrulio, Fernando, Sawant, Anand Ashok, Bacchelli, Alberto

“…As Java 8 introduced functional interfaces and lambda expressions to the Java programming language, the JDK API was changed to introduce support for lambda expressions, thus allowing consumers…”
Get full text

Local software buildability across Java versions by Sulír, Matúš, Porubän, Jaroslav, Chodarev, Sergej

“…Context Downloading the source code of open-source Java projects and building them on a local computer using Maven, Gradle, or Ant is a common activity performed by researchers and practitioners…”
Get full text

BejaGNN: behavior-based Java malware detection via graph neural network: BejaGNN: behavior-based Java malware detection via graph neural by Feng, Pengbin, Yang, Li, Lu, Di, Xi, Ning, Ma, Jianfeng

“…As a popular platform-independent language, Java is widely used in enterprise applications…”
Get full text