Search Results - "Software and its engineering Software notations and tools"

Splitwise: Efficient Generative LLM Inference Using Phase Splitting by Patel, Pratyush, Choukse, Esha, Zhang, Chaojie, Shah, Aashaka, Goiri, Inigo, Maleki, Saeed, Bianchini, Ricardo

“…Generative large language model (LLM) applications are growing rapidly, leading to large-scale deployments of expensive and power-hungry GPUs. Our…”
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

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

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

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

Polygeist: Raising C to Polyhedral MLIR by Moses, William S., Chelini, Lorenzo, Zhao, Ruizhe, Zinenko, Oleksandr

“…We present Polygeist, a new compilation flow that connects the MLIR compiler infrastructure to cutting edge polyhedral optimization tools. It consists of a C…”
Get full text

Experiences Building an MLIR-Based SYCL Compiler by Tiotto, Ettore, Perez, Victor, Tsang, Whitney, Sommer, Lukas, Oppermann, Julian, Lomuller, Victor, Goli, Mehdi, Brodman, James

“…Similar to other programming models, compilers for SYCL, the open programming model for heterogeneous computing based on C++, would benefit from access to…”
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

Speculative Decoding for Verilog: Speed and Quality, All in One by Xu, Changran, Liu, Yi, Zhou, Yunhao, Huang, Shan, Xu, Ningyi, Xu, Qiang

“…The rapid advancement of large language models (LLMs) has revolutionized code generation tasks across various programming languages. However, the unique…”
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…”
Get full text

PyraNet: A Multi-Layered Hierarchical Dataset for Verilog by Nadimi, Bardia, Boutaib, Ghali Omar, Zheng, Hao

“…Recently, there has been a growing interest in leveraging Large Language Models for Verilog code generation. However, the current quality of the generated…”
Get full text

Rewire: Advancing CGRA Mapping Through a Consolidated Routing Paradigm by Li, Zhaoying, Wu, Dan, Wijerathne, Dhananjaya, Chen, Dan, Li, Huize, Tan, Cheng, Mitra, Tulika

“…Coarse-Grained Reconfigurable Arrays (CGRAs) balance the performance and power efficiency in computing systems. Effective compilers play a crucial role in…”
Get full text

SimplePIM: A Software Framework for Productive and Efficient Processing-in-Memory by Chen, Jinfan, Gomez-Luna, Juan, El Hajj, Izzat, Guo, Yuxin, Mutlu, Onur

“…Data movement between memory and processors is a major bottleneck in modern computing systems. The processing-in-memory (PIM) paradigm aims to alleviate this…”
Get full text

HexT5: Unified Pre-Training for Stripped Binary Code Information Inference by Xiong, Jiaqi, Chen, Guoqiang, Chen, Kejiang, Gao, Han, Cheng, Shaoyin, Zhang, Weiming

“…Decompilation is a widely used process for reverse engineers to significantly enhance code readability by lifting assembly code to a higher-level C-like…”
Get full text

AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs by Wu, Anbang, Zhang, Hezi, Li, Gushu, Shabani, Alireza, Xie, Yuan, Ding, Yufei

“…Distributed quantum computing (DQC) is a promising approach to extending the computational power of near-term quantum hardware. However, the non-local quantum…”
Get full text

mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR Using Program Synthesis by Brauckmann, Alexander, Polgreen, Elizabeth, Grosser, Tobias, O'Boyle, Michael F. P.

“…MLIR is an emerging compiler infrastructure for modern hardware, but existing programs cannot take advantage of MLIR's high-performance compilation if they are…”
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

A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges by Liang, Jenny T., Yang, Chenyang, Myers, Brad A.

“…The software engineering community recently has witnessed widespread deployment of AI programming assistants, such as GitHub Copilot. However, in practice,…”
Get full text

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom by Glabbeek, Rob van, Hofner, Peter, Horne, Ross

“…We investigate how different fairness assumptions affect results concerning lock-freedom, a typical liveness property targeted by session type systems. We fix…”
Get full text

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory by Carette, Titouan, de Visme, Marc, Perdrix, Simon

“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless) quantum computations acting on a finite…”
Get full text