Risultati della ricerca - Java programs

Mutation-based Consistency Testing for Evaluating the Code Understanding Capability of LLMs di Li, Ziyu, Shin, Donghwan

Sommario: “... consists of six programming languages (Python, C++, Java, Go, JavaScript, and Rust). We compare...”
Testo

Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation di Ruiz, Fernando Vallecillos, Grishina, Anastasiia, Hort, Max, Moonen, Leon

Sommario: “... from one programming language into another programming or natural language and back, using Large...”
Testo

Multi-Agent Taint Specification Extraction for Vulnerability Detection di Ghebremichael, Jonah, Vasan, Saastha, Ullah, Saad, Tystahl, Greg, Adei, David, Kruegel, Christopher, Vigna, Giovanni, Enck, William, Kapravelos, Alexandros

Sommario: “.... However, performing static taint analysis for JavaScript poses two major challenges. First, Java...”
Testo

SIGY: Breaking Intel SGX Enclaves with Malicious Exceptions & Signals di Sridhara, Supraja, Bertschi, Andrin, Schlüter, Benedict, Shinde, Shweta

Sommario: “...User programs recover from hardware exceptions and respond to signals by executing custom handlers...”
Testo

Validating Traces of Distributed Programs Against TLA+ Specifications di Cirstea, Horatiu, Kuppe, Markus A., Loillier, Benjamin, Merz, Stephan

Sommario: “... for instrumenting Java programs in order to record traces of executions, of a collection of TLA+ operators...”
Testo

Teaching Programming in the Age of Generative AI: Insights from Literature, Pedagogical Proposals, and Student Perspectives di Rubio-Manzano, Clemente, Meza, Jazna, Fernandez-Santibanez, Rodolfo, Vidal-Castro, Christian

Sommario: “...Computer programming is undergoing a true transformation driven by powerful new tools for automatic...”
Testo

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning di Li, Yikun, Jiang, Jinfeng, Zhang, Ting, Yang, Chengran, Zhong, Chenxing, Yide, Yin, Bin, Leow Wen, Ouh, Eng Lieh, Shar, Lwin Khin, Lo, David

Sommario: “...Evaluating whether large language models (LLMs) can recover execution-relevant program structure...”
Testo

Understanding and Finding JIT Compiler Performance Bugs di Yi, Zijian, Ding, Cheng, Shi, August, Gligoric, Milos

Sommario: “...Just-in-time (JIT) compilers are key components for many popular programming languages with managed...”
Testo

Programming Persistent Memory di Scargall, Steve

Sommario: “... to persistent memory programming APIs for C, C++, JavaScript, and other languages; discusses RMDA...”
Testo

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages di Szabo, Violet, Winterer, Dominik, Su, Zhendong

Sommario: “...Today's programmers can choose from an exceptional range of programming languages, each with its...”
Testo

A Type System for Data Flow and Alias Analysis in ReScript di Lund, Nicky Ask, Hüttel, Hans

Sommario: “...ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed...”
Testo

A Systematic Review of Common Beginner Programming Mistakes in Data Engineering di Neuwinger, Max, Riehle, Dirk

Sommario: “...The design of effective programming languages, libraries, frameworks, tools, and platforms for data...”
Testo

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions di King, Daragh, Koutavas, Vasileios, Kovacs, Laura

Sommario: “... of deterministic array programs in Java. Our experiments indicate that LLMs are capable of producing viable...”
Testo

LeoTask: a fast, flexible and reliable framework for computational research di Zhang, Changwang, Zhou, Shi, Chain, Benjamin M.

Sommario: “...LeoTask is a Java library for computation-intensive and time-consuming research tasks...”
Testo

CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution di Xu, Ruiyang, Cao, Jialun, Lu, Yaojie, Wen, Ming, Lin, Hongyu, Han, Xianpei, He, Ben, Cheung, Shing-Chi, Sun, Le

Sommario: “... in other programming languages such as Java and C/C++ unknown. Moreover, coding task bias is also crucial...”
Testo

Program Slicing in the Era of Large Language Models di Shahandashti, Kimya Khakzad, Mohajer, Mohammad Mahdi, Belle, Alvine Boaye, Wang, Song, Hemmati, Hadi

Sommario: “... slicing, with a focus on Java programs. We evaluate the performance of four state-of-the-art LLMs- GPT-4o...”
Testo

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards di Zhang, Zejun, Gan, Yixin, Xing, Zhenchang, Zhang, Tian, Li, Yi, Xu, Xiwei, Lu, Qinghua, Zhu, Liming

Sommario: “... linter configuration is complex and expertise-intensive, and the diversity and evolution of programming...”
Testo

Contract Usage and Evolution in Android Mobile Applications di Ferreira, David R., Mendes, Alexandra, Ferreira, João F.

Sommario: “... applications, written in Java or Kotlin. We consider different types of contract elements divided into five...”
Testo

ASTER: Natural and Multi-language Unit Test Generation with LLMs di Pan, Rangeet, Kim, Myeongsoo, Krishna, Rahul, Pavuluri, Raju, Sinha, Saurabh

Sommario: “... be applied to different programming languages, specifically Java and Python, and to complex software...”
Testo

FLeX: Fourier-based Low-rank EXpansion for multilingual transfer di Narasimhan, Gaurav

Sommario: “...Cross-lingual code generation is critical in enterprise environments where multiple programming...”
Testo