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.

“… However, they regularly generate difficult-to-read programs and require a large amount of engineering effort to support new programming languages and ISAs…”
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

“… 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…”
Get full text

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

“… To address these complexities, this paper introduces AskIt, a domain-specific language (DSL) specifically designed for LLMs…”
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.

“… Recently, with the scaling of the model and corpus size, large language models have shown the ability of in-context learning (ICL…”
Get full text

A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT by 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…”
Get full text

Demystifying Loops in Smart Contracts by 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…”
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

“…, library-oriented code generation, where the generated code should implement the functionally of the natural language query with the given library…”
Get full text

Distilling Reference Architectures from Open Source Repositories by Tran, Thi Dinh

“…Reference architectures (RAs) play a crucial role in simplifying and speeding up the design and evolution of software systems across various domains…”
Get full text

Pattern-Based Generation and Adaptation of Quantum Workflows by Beisel, Martin, Barzen, Johanna, Leymann, Frank, Stiliadou, Lavinia, Vietz, Daniel, Weder, Benjamin

“…Building quantum applications requires deep knowledge of quantum computing and software engineering…”
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 with the development of large language models (LLMs…”
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

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…”
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…”
Get full text

Efficient Slicing of Feature Models via Projected d-DNNF Compilation by 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…”
Get full text

Invited: Automated Code generation for Information Technology Tasks in YAML through Large Language Models by Pujar, Saurabh, Buratti, Luca, Guo, Xiaojie, Dupuis, Nicolas, Lewis, Burn, Suneja, Sahil, Sood, Atin, Nalawade, Ganesh, Jones, Matt, Morari, Alessandro, Puri, Ruchir

“… Domain specific languages, such as the ones used for IT Automation, received far less attention, despite involving many active developers and being an essential component of modern cloud platforms…”
Get full text

Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices by Phokela, Kanchanjot Kaur, Sikand, Samarth, Singi, Kapil, Dey, Kuntal, Sharma, Vibhu Saujanya, Kaulgud, Vikrant

“…Recent breakthroughs in Large Language Models (LLM), comprised of billions of parameters, have achieved the ability to unveil exceptional insight into a wide range of Natural Language Processing (NLP) tasks…”
Get full text

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

“…). However, similar to when reusing software, many issues may arise when reusing an ML model…”
Get full text

Semantic-Aware Replicated Data Types for Improved Conflict Resolution in Near-Synchronous Code Collaboration by 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…”
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…”
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…”
Get full text