Výsledky vyhledávání - java (compilers OR computer)

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

“…The two most significant yet complex elements of Java generics are wildcards and type argument inference…”
Získat plný text

Fuzzing JavaScript JIT compilers with a high-quality differential test oracle Autor 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…”
Získat plný text

Jaccie: A Java-based compiler–compiler for generating, visualizing and debugging compiler components Autor 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…”
Získat plný text

Detecting Trivial Mutant Equivalences via Compiler Optimisations Autor 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…”
Získat plný text

JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers Autor 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…”
Získat plný text

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

“…SUMMARY We present the design and implementation of a compiler from OCaml bytecode to JavaScript…”
Získat plný text

Compiler-assisted energy reduction of java real-time programs Autor 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…”
Získat plný text

Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset Autor 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…”
Získat plný text

Translating to a Low-Resource Language with Compiler Feedback: A Case Study on Cangjie Autor 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…”
Získat plný text

The indolent lambdification of Java: Understanding the support for lambda expressions in the Java ecosystem Autor 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…”
Získat plný text

Do Developers Read Compiler Error Messages? Autor 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…”
Získat plný text

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

“…As a popular platform-independent language, Java is widely used in enterprise applications…”
Získat plný text

Translation Validation for JIT Compiler in the V8 JavaScript Engine Autor 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…”
Získat plný text

Towards effective assessment of steady state performance in Java software: are we there yet? Autor Traini, Luca, Cortellessa, Vittorio, Di Pompeo, Daniele, Tucci, Michele

“…Microbenchmarking is a widely used form of performance testing in Java software. A microbenchmark repeatedly executes a small chunk of code while collecting measurements related to its performance…”
Získat plný text

Local software buildability across Java versions Autor 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…”
Získat plný text

Do I really need all this work to find vulnerabilities?: An empirical case study comparing vulnerability detection techniques on a Java application Autor Elder, Sarah, Zahan, Nusrat, Shu, Rui, Metro, Monica, Kozarev, Valeri, Menzies, Tim, Williams, Laurie

“… of the efficiency and effectiveness of four techniques on a Java-based web application. Method: We apply four different categories of vulnerability detection techniques…”
Získat plný text

APR4Vul: an empirical study of automatic program repair techniques on real-world Java vulnerabilities Autor Bui, Quang-Cuong, Paramitha, Ranindya, Vu, Duc-Ly, Massacci, Fabio, Scandariato, Riccardo

“… In particular, we investigate their ability to generate patches for 79 real-world Java vulnerabilities in the Vul4J dataset, as well as the level of trustworthiness of these patches…”
Získat plný text

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler Autor 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…”
Získat plný text

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers Autor Chaliasos, Stefanos, Sotiropoulos, Thodoris, Drosos, Georgios-Petros, Mitropoulos, Charalambos, Mitropoulos, Dimitris, Spinellis, Diomidis

“…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…”
Získat plný text

How do annotations affect Java code readability? Autor Guerra, Eduardo, Gomes, Everaldo, Ferreira, Jeferson, Wiese, Igor, Lima, Phyllipe, Gerosa, Marco, Meirelles, Paulo

“… Method In a survey with software developers (n=332), we present 15 pairs of Java code snippets with and without code annotations…”
Získat plný text