Search Results - java (compiler OR computer) (compiler OR computer)

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

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

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

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

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

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

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

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

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

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

A Formally Verified Compiler Back-end by Leroy, Xavier

“…) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its soundness…”
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

History-driven Compiler Fuzzing via Assembling and Scheduling Bug-triggering Code Segments by Fan, Zhenye, Ye, Guixin, Hu, Tianmin, Tang, Zhanyong

“…History-driven testing techniques have been proven to be an effective method for detecting compiler bugs…”
Get full text

Rubus: A compiler for seamless and extensible parallelism by Adnan, Muhammad, Aslam, Faisal, Nawaz, Zubair, Sarwar, Syed Mansoor

“… Furthermore, a special purpose processing unit called Graphic Processing Unit (GPU), originally designed for 2D/3D games, is now available for general purpose use in computers and mobile devices…”
Get full text

Compile-Time Analysis of Compiler Frameworks for Query Compilation by Engelke, Alexis, Schwarz, Tobias

“… This not only applies to language runtimes for Java, WebAssembly, or JavaScript, but is also crucial for database systems that employ query compilation as the primary measure for achieving high…”
Get full text

TC-Verifier: Trans-Compiler-Based Code Translator Verifier with Model-Checking by Mahmoud, Amira T., Medhat, Walaa, Selim, Sahar, Zayed, Hala, Yousef, Ahmed H., Elaraby, Nahla

“… We applied the proposed architecture to a trans-compiler translating between Swift and Java, providing…”
Get full text