Výsledky vyhledávání - Software and its engineering Software notations and tools Context specific languages*

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly Autor Armengol-Estape, Jordi, Woodruff, Jackson, Cummins, Chris, O'Boyle, Michael F.P.

“…Decompilation is a well-studied area with numerous high-quality tools available. These are frequently used for security tasks and to port legacy code…”
Získat plný text

AskIt: Unified Programming Interface for Programming with Large Language Models Autor Okuda, Katsumi, Amarasinghe, Saman

“… While these abilities open up novel avenues in software design and crafting, their incorporation presents substantial challenges…”
Získat plný text

Vehicle Domain-Specific Language: Unifying Modeling and Code Generation for Low-Code Automotive Development Autor Liao, Lei, Wang, Junjie, Xu, Zhensheng, Mu, Fangwen, Yang, Yukun

“… While model-based system engineering is prevalent in automotive software development, its application is typically confined to the requirements and design phases, with manual coding still dominating…”
Získat plný text

What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs? Autor Gao, Shuzheng, Wen, Xin-Cheng, Gao, Cuiyun, Wang, Wenxuan, Zhang, Hongyu, Lyu, Michael R.

“… Recently, with the scaling of the model and corpus size, large language models have shown the ability of in-context learning (ICL…”
Získat plný text

A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT Autor Yan, Dapeng, Gao, Zhipeng, Liu, Zhiming

“… With the rapid development of intelligent software engineering, automated code generation has become a hot research topic in both artificial intelligence and software engineering, and researchers…”
Získat plný text

CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation Autor Liu, Mingwei, Yang, Tianyong, Lou, Yiling, Du, Xueying, Wang, Ying, Peng, Xin

“…Automated code generation has been extensively studied in recent literature. In this work, we first survey 66 participants to motivate a more pragmatic code…”
Získat plný text

Visualizing and Understanding the Internals of Fuzzing Autor Kummita, Sriteja, Zhang, Zenong, Bodden, Eric, Wei, Shiyi

“…Greybox fuzzing is one of the fuzzing techniques that has been extensively researched and used in practice. Plenty of publications propose improvements to…”
Získat plný text

CoqPilot, a plugin for LLM-based generation of proofs Autor Kozyrev, Andrei, Solovev, Gleb, Khramov, Nikita, Podkopaev, Anton

“… with it. The focus of CoqPilot is twofold. Firstly, we want to allow users to seamlessly combine multiple Coq generation approaches and provide a zero-setup experience for our tool…”
Získat plný text

Demystifying Loops in Smart Contracts Autor Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil

“… research on program analysis for smart contracts. Based on our findings, we propose a small domain-specific language (DSL…”
Získat plný text

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation Autor Tian, Zhao, Chen, Junjie, Zhang, Xiangyu

“…Code generation is to automatically generate source code conforming to a given programming specification, which has received extensive attention especially…”
Získat plný text

INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation Autor Macedo, Marcos, Tian, Yuan, Nie, Pengyu, Cogo, Filipe R., Adams, Bram

“…Code translation aims to convert a program from one programming language (PL) to another. This long-standing software engineering task is crucial…”
Získat plný text

Efficient Slicing of Feature Models via Projected d-DNNF Compilation Autor Sundermann, Chico, Loth, Jacob, Thum, Thomas

“…s. For instance, tests or analyses targeting interactions of the software of a cyber-physical system may be only applicable for software components…”
Získat plný text

Engineering Hybrid Graphical-Textual Languages with Sirius and Xtext: Requirements and Challenges Autor Cooper, Justin, Kolovos, Dimitris

“…Embedding textual domain specific languages into graphical modelling workbenches can help deliver the best of both worlds…”
Získat plný text

Semantic-Aware Replicated Data Types for Improved Conflict Resolution in Near-Synchronous Code Collaboration Autor Freudenthaler, Leon

“… Current techniques predominantly rely on string-based synchronization, which often results in conflict resolution that fails to address the underlying structural, syntactic, or semantic context of the code…”
Získat plný text

AXA: Cross-Language Analysis through Integration of Single-Language Analyses Autor Roth, Tobias, Naumann, Julius, Helm, Dominik, Keidel, Sven, Mezini, Mira

“…Modern software is often implemented in multiple interacting programming languages…”
Získat plný text

ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection Autor Niu, Juxin, Liu, Xiangfeng, Niu, Dan, Wang, Xi, Jiang, Zhe, Guan, Nan

“…Coding with hardware description languages (HDLs) such as Verilog is a time-intensive and laborious task. With the rapid advancement of large language models…”
Získat plný text

Ansible Lightspeed: A Code Generation Service for IT Automation Autor Sahoo, Priyam, Pujar, Saurabh, Nalawade, Ganesh, Gebhardt, Richard, Mandel, Louis, Buratti, Luca

“…The availability of Large Language Models (LLMs) which can generate code, has made it possible to create tools that improve developer productivity…”
Získat plný text

Answering User Questions About Machine Learning Models Through Standardized Model Cards Autor Toma, Tajkia Rahman, Grewal, Balreet, Bezemer, Cor-Paul

“…). However, similar to when reusing software, many issues may arise when reusing an ML model…”
Získat plný text

EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework Autor Wu, Ziji, Huang, Yu, Huang, Peishan, Wen, Shanghua, Li, Minglong, Wang, Ji

“…Behavior Trees (BTs), originated from the control of Non-Player-Characters (NPCs), have been widely embraced in robotics and software engineering communities due to their modularity, reactivity, and other beneficial characteristics…”
Získat plný text

AttenPIM: Accelerating LLM Attention with Dual-mode GEMV in Processing-in-Memory Autor Chen, Liyan, Lyu, Dongxu, Li, Zhenyu, Jiang, Jianfei, Wang, Qin, Mao, Zhigang, Jing, Naifeng

“…{t}) and context computation (S \times V). Existing PIM designs, employing either uniform or transposed computing modes, suffer from inefficiencies in newly generated element preparation or distinct GEMV execution…”
Získat plný text