Výsledky vyhledávání - Software and its engineering Software notations and tools General programming languages

Splitwise: Efficient Generative LLM Inference Using Phase Splitting Autor 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…”
Získat plný text

SimplePIM: A Software Framework for Productive and Efficient Processing-in-Memory Autor 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…”
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

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

“…-freedom, all of which having a sound session type system. We then show that, by using a general merge operator in an otherwise standard approach to global session…”
Získat plný text

Module-Aware Context Sensitive Pointer Analysis Autor Li, Haofeng, Shi, Chenghang, Lu, Jie, Li, Lian, Zhao, Zixuan

“…The Java Platform Module System (JPMS) has found widespread applications since introduced in Java 9. However, existing pointer analyses fail to leverage the…”
Získat plný text

LLM-Based Java Concurrent Program to ArkTS Converter Autor Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

“… However, HarmonyOS utilizes ArkTS, a superset of TypeScript, as the programming language for application development…”
Získat plný text

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

“… To address this problem, we propose a programming framework to map data…”
Získat plný text

AskIt: Unified Programming Interface for Programming with Large Language Models Autor 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…”
Získat plný text

UWOmppro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules Autor Agrawal, Aditya, Nandivada, V. Krishna

“…OpenMP is one of the most popular APIs widely used to realize parallelism in C/C++ and FORTRAN programs. For efficient execution, an OpenMP program internally…”
Získat plný text

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly Autor 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…”
Získat plný text

AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs Autor 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…”
Získat plný text

On the Naming of Methods: A Survey of Professional Developers Autor Alsuhaibani, Reem, Newman, Christian, Decker, Michael, Collard, Michael, Maletic, Jonathan

“… The various standards for source code method names are derived from and supported in the software engineering literature…”
Získat plný text

Polygeist: Raising C to Polyhedral MLIR Autor 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…”
Získat plný text

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

“… (cartesian data types). We merge those two approaches and describe a general construction that extends any graphical language, equipped with a notion of discarding, to a graphical language of finite memory computations…”
Získat plný text

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks Autor 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…”
Získat plný text

Separating Mechanism from Policy in STM Autor Sheng, Yaodong, Hassan, Ahmed, Spear, Michael

“… On one hand, Software Transactional Memory (STM) is easy, because it allows programmers to simply mark regions of sequential code as requiring atomicity, and then the compiler ensures that no races manifest…”
Získat plný text

Distilling Reference Architectures from Open Source Repositories Autor 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…”
Získat plný text

Dataflow Mirroring: Architectural Support for Highly Efficient Fine-Grained Spatial Multitasking on Systolic-Array NPUs Autor 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…”
Získat plný text

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

“…Building quantum applications requires deep knowledge of quantum computing and software engineering…”
Získat plný text

Architecture-Aware Currying Autor Kandemir, Mahmut Taylan, Akbulut, Gulsum Gudukbay, Choi, Wonil, Karakoy, Mustafa

“…In near-data computing (NDC), computation is brought into data, as opposed to bringing data to computation. While there is prior work focusing on different NDC…”
Získat plný text