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

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

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom Autor 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…”
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

“…HarmonyOS NEXT is a distributed operating system developed to support HarmonyOS native apps. To support the new and independent Harmony ecosystem, developers…”
Získat plný text

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

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

A Transducers-based Programming Framework for Efficient Data Transformation Autor 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…”
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

“…This paper describes the results of a large (+1100 responses) survey of professional software developers concerning standards for naming source code methods…”
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. It consists of a C…”
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…”
Získat plný text

Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach Autor Boreale, Michele, Collodi, Luisa

“…In the context of probabilistic programming languages, we put forward an approach to formal semantics and sampling-based inference with guarantees, centered on…”
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

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

“…When designing concurrent data structures (CDSs), it can feel like programmers must choose between performance and convenience. On one hand, Software…”
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.

“…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,…”
Získat plný text

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory Autor 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…”
Získat plný text

Efficient Execution of OpenMP on GPUs Autor Huber, Joseph, Cornelius, Melanie, Georgakoudis, Giorgis, Tian, Shilei, Diaz, Jose M Monsalve, Dinel, Kuter, Chapman, Barbara, Doerfert, Johannes

“…OpenMP is the preferred choice for CPU parallelism in High-Performance-Computing (HPC) applications written in C, C++, or Fortran. As HPC systems became…”
Získat plný text

PID-Comm: A Fast and Flexible Collective Communication Framework for Commodity Processing-in-DIMM Devices Autor Noh, Si Ung, Hong, Junguk, Lim, Chaemin, Park, Seongyeon, Kim, Jeehyun, Kim, Hanjun, Kim, Youngsok, Lee, Jinho

“…Recent dual in-line memory modules (DIMMs) are starting to support processing-in-memory (PIM) by associating their memory banks with processing elements (PEs),…”
Získat plný text