11 papers · ranked by Valyu relevance
Tarik Houichime, Younes El Amrani
—As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation become increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities, particularly in tasks such as design pattern detection for maintenance and…
Xiao, Bang, Jiang, Lingjie + 12 more
Large Language Models (LLMs) have become valuable assistants for developers in code-related tasks. While LLMs excel at traditional programming tasks such as code generation and bug fixing, they struggle with visually-oriented coding tasks, often producing suboptimal aesthetics. In this paper, we introduce a new…
Chengran Yang, Hong Jin Kang, Jieke Shi, David Lo
and Correctness in Code Language Models Authors: ['Chengran Yang' 'Hong Jin Kang' 'Jieke Shi' 'David Lo'] Existing approaches for optimizing code efficiency for CodeLLMs like SOAP and PIE exhibit certain limitations. SOAP requires a compatible execution environment and predefined test cases for iterative code…
Shipra Sharma, Balwinder Sodhi
Reducing cost and time required to build high quality software is a major goal for software developers. Building tools and techniques that can help achieve such a goal is the chief aim for Automated Software Engineering (ASE) researchers. However, in order to be effective an ASE researcher or professional must…
Md. Mostafizer Rahman, Yutaka Watanobe, Atsushi Shirafuji, Mohamed Hamada
'Mohamed Hamada'] The automated code evaluation system (AES) is mainly designed to reliably assess user-submitted code. The code is compiled and then tested in a unified environment with predefined input and output test cases. Due to their extensive range of applications and the accumulation of valuable resources, AESs…
Ian Holmes
We describe a strategy for constructing codes for DNA-based information storage by serial composition of weighted finite-state transducers. The resulting state machines can integrate correction of substitution errors; synchronization by interleaving watermark and periodic marker signals; conversion from binary to…
Songhui Yue
Software Evolution for Context-rich Intelligent Applications Authors: ['Songhui Yue'] While AI is extensively transforming Software Engineering (SE) fields, SE is still in need of a framework to overall consider all phases to facilitate Automated Software Evolution (ASEv), particularly for intelligent applications that…
Abanoub E. Abdelmalak, Mohamed Elsayed, David Abercrombie, Ilhami Torunoglu
—Standard Verification Rule Format (SVRF) is essential for semiconductor applications like Design Rule Check (DRC), Layout Versus Schematic (LVS), and Optical Proximity Correction (OPC) and it faces challenges as advancing nodes create complex design rules that renders traditional SVRF development ineffective and…
Zihan Liu, Rong Zeng, Dongxia Wang, Gang‐Ding Peng + 4 more
in Industrial Control Systems using LLM-based Agents Authors: ['Zihan Liu' 'Rong Zeng' 'Dongxia Wang' 'Gang‐Ding Peng' 'Jingyi Wang' 'Qiang Liu' 'Peiyu Liu' 'Wenhai Wang'] Abstract—In industrial control systems, the generation and verification of Programmable Logic Controller (PLC) code are critical for ensuring…
Fedor Ivanov, Dmitry Osipov
—This paper devotes to comparison of different coding schemes (various constructions of Polar and LDPC codes, Product codes and BCH codes) for the case when information is transmitted over AWGN channel with quantization with lowest possible complexity and resolution: 1-bit. We examine performance (in terms of…
Stefano Scanzio, Gianluca Cena, Adriano Valenzano
—Embedding a programming language in a QR code is a new and extremely promising opportunity, as it makes devices and objects smarter without necessarily requiring an Internet connection. In this paper, all the steps needed to translate a program written in a high-level programming language to its binary representation…