Search Results - "Software and its engineering Software notations and tools Context specific languages"

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly by 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. However,…”
Get full text

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

“…Large Language Models (LLMs) exhibit a unique phenomenon known as emergent abilities, demonstrating adeptness across numerous tasks, from text summarization to…”
Get full text

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

“…The automotive industry is undergoing rapid growth driven by advancements such as electrification, necessitating efficient software development methodologies…”
Get full text

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

“…Pre-trained models of source code have gained widespread popularity in many code intelligence tasks. Recently, with the scaling of the model and corpus size,…”
Get full text

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

“…Code generation aims to generate source code implementing human requirements illustrated with natural language specifications. With the rapid development of…”
Get full text

CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation by 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…”
Get full text

Visualizing and Understanding the Internals of Fuzzing by 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…”
Get full text

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

“…We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic…”
Get full text

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

“…This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops…”
Get full text

Fixing Large Language Models' Specification Misunderstanding for Better Code Generation by 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…”
Get full text

INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation by 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 for…”
Get full text

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

“…Configurable systems often contain components from different fields or disciplines that are relevant for distinct stakeholders. For instance, tests or analyses…”
Get full text

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

“…This dissertation addresses the limitations of convergence in near-synchronous code collaboration. Current techniques predominantly rely on string-based…”
Get full text

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

“…Modern software is often implemented in multiple interacting programming languages. When performing static analysis of such software, it is desirable to reuse…”
Get full text

ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection by 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…”
Get full text

Ansible Lightspeed: A Code Generation Service for IT Automation by 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. Integrated…”
Get full text

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

“…Reusing pre-trained machine learning models is becoming very popular due to model hubs such as Hugging Face (HF). However, similar to when reusing software,…”
Get full text

EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework by 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…”
Get full text

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

“…Large Language Models (LLMs) have demonstrated unprecedented generative performance across a wide range of applications. While recent heterogeneous…”
Get full text

A Transducers-based Programming Framework for Efficient Data Transformation by Nguyen, Tri, Becchi, Michela

“…Many data analytics and scientific applications rely on data transformation tasks, such as encoding, decoding, parsing of structured and unstructured data, and…”
Get full text