Suchergebnisse - Software AND _ engineering Software notations AND tools General programming languages*

Beyond Syntax: How Do LLMs Understand Code? von North, Marc, Atapour-Abarghouei, Amir, Bencomo, Nelly

“… Within software engineering research, Large Language Models (LLMs) are often treated as 'black boxes', with only their inputs and outputs being considered …”
Volltext

Splitwise: Efficient Generative LLM Inference Using Phase Splitting von 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 …”
Volltext

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

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

Module-Aware Context Sensitive Pointer Analysis von 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 …”
Volltext

LLM-Based Java Concurrent Program to ArkTS Converter von 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 …”
Volltext

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

UWOmppro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules von 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 …”
Volltext

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

“… To address this problem, we propose a programming framework to map data …”
Volltext

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

“… While these abilities open up novel avenues in software design and crafting, their incorporation presents substantial challenges …”
Volltext

AutoComm: A Framework for Enabling Efficient Communication in Distributed Quantum Programs von 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 …”
Volltext

A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks von 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 …”
Volltext

Separating Mechanism from Policy in STM von 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 …”
Volltext

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory von 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 …”
Volltext

On the Naming of Methods: A Survey of Professional Developers von 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 …”
Volltext

Polygeist: Raising C to Polyhedral MLIR von 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 …”
Volltext

Architecture-Aware Currying von 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 …”
Volltext

Types Are Internal ∞-Groupoids von Finster, Eric, Allioux, Antoine, Sozeau, Matthieu

“… By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type …”
Volltext

Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach von 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 an action-based language equipped …”
Volltext

Dataflow Mirroring: Architectural Support for Highly Efficient Fine-Grained Spatial Multitasking on Systolic-Array NPUs von 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 …”
Volltext