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

Beyond Syntax: How Do LLMs Understand Code? Autor 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…”
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

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

“… However, HarmonyOS utilizes ArkTS, a superset of TypeScript, as the programming language for application development…”
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

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

“… To address this problem, we propose a programming framework to map data…”
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

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

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

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

“… While these abilities open up novel avenues in software design and crafting, their incorporation presents substantial challenges…”
Získat plný text

Types Are Internal ∞-Groupoids Autor 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…”
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

Accelerating DCA++ (Dynamical Cluster Approximation) Scientific Application on the Summit Supercomputer Autor Balduzzi, Giovanni, Chatterjee, Arghya, Li, Ying Wai, Doak, Peter W., Haehner, Urs, D'Azevedo, Ed F., Maier, Thomas A., Schulthess, Thomas

“…Optimizing scientific applications on today's accelerator-based high performance computing systems can be challenging, especially when multiple GPUs and CPUs…”
Získat plný text

Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics Autor Dathathri, Roshan, Gill, Gurbinder, Hoang, Loc, Jatala, Vishwesh, Pingali, Keshav, Nandivada, V. Krishna, Dang, Hoang-Vu, Snir, Marc

“…) programming and execution model. BSP permits bulk-communication and uses large messages which are supported efficiently by current message transport layers, but bulk-synchronization can exacerbate the performance impact of load…”
Získat plný text

Generating Portable High-Performance Code via Multi-Dimensional Homomorphisms Autor Rasch, Ari, Schulze, Richard, Gorlatch, Sergei

“…We address a key challenge in programming high-performance applications - achieving portable performance, i.e…”
Získat plný text

An empirical characterization of stream programs and its implications for language and compiler design Autor Thies, William, Amarasinghe, Saman

“… directly in a stream programming…”
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