Search Results - Software and electrical engineering Software notations and tools General programming languages

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

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…”
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

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

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting by Li, Tsz-On, Zong, Wenxi, Wang, Yibo, Tian, Haoye, Wang, Ying, Cheung, Shing-Chi, Kramer, Jeff

“…Automated detection of software failures is an important but challenging software engineering task…”
Get full text

An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair by Huang, Kai, Meng, Xiangxin, Zhang, Jian, Liu, Yang, Wang, Wenjie, Li, Shuhao, Zhang, Yuqing

“…The advent of large language models (LLMs) has opened up new opportunities for automated program repair (APR…”
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 code generation…”
Get full text

Late Breaking Results: PyAIE: A Python-based Programming Framework for Versal ACAP Platforms by Tian, Hongzheng, Yang, Shining, Cha, Yoonha, Huang, Sitao

“…) with powerful heterogeneous acceleration capabilities. Most AI/ML applications use Python as their primary programming language these days…”
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

Generative Type Inference for Python by Peng, Yun, Wang, Chaozheng, Wang, Wenxuan, Gao, Cuiyun, Lyu, Michael R.

“…Python is a popular dynamic programming language, evidenced by its ranking as the second most commonly used language on GitHub…”
Get full text

WASim: Understanding WebAssembly Applications through Classification by Romano, Alan, Wang, Weihang

“…WebAssembly is a new programming language built for better performance in web applications…”
Get full text

From Commit Message Generation to History-Aware Commit Message Completion by Eliseeva, Aleksandra, Sokolov, Yaroslav, Bogomolov, Egor, Golubev, Yaroslav, Dig, Danny, Bryksin, Timofey

“…Commit messages are crucial to software development, allowing developers to track changes and collaborate effectively…”
Get full text

BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs by Li, Hebi, He, Youbiao, Xiao, Qi, Tian, Jin, Bao, Forrest Sheng

“…Graphical PCB design tools like KiCAD lack support for high-level abstraction such as functions and loops…”
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

Dataflow Mirroring: Architectural Support for Highly Efficient Fine-Grained Spatial Multitasking on Systolic-Array NPUs by Lee, Jounghoo, Choi, Jinwoo, Kim, Jaeyeon, Lee, Jinho, Kim, Youngsok

“…We present dataflow mirroring, architectural support for low-overhead fine-grained systolic array allocation which overcomes the limitations of prior…”
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

“… This paper presents a new software framework, SimplePIM, to aid programming real PIM systems…”
Get full text

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks by Chen, Zewei, Lei, Hang, Yang, Maolin, Liao, Yong, Qiao, Lei

“…Real-time synchronization is one of the essential theories in real-time systems, and the recent booming of parallel real-time tasks has brought new challenges…”
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…”
Get full text

COMEX: A Tool for Generating Customized Source Code Representations by Das, Debeshee, Mathews, Noble Saji, Mathai, Alex, Tamilselvam, Srikanth, Sedamaki, Kranthi, Chimalakonda, Sridhar, Kumar, Atul

“… of code data, achieving state of the art performance on several software engineering (SE) tasks. However, valid source code, unlike natural language, follows a strict…”
Get full text

Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis by Lu, Jingbo, He, Dongjie, Li, Wei, Gao, Yaoqing, Xue, Jingling

“…The extensive use of libraries in modern software impedes the scalability of pointer analysis…”
Get full text