Search Results - Software notations and tools–General programming languages

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

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

Module-Aware Context Sensitive Pointer Analysis by 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…”
Get full text

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

UWOmppro: UWOmp++ with Point-to-Point Synchronization, Reduction and Schedules by 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…”
Get full text

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

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

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

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

Separating Mechanism from Policy in STM by 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…”
Get full text

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

“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless…”
Get full text

Types Are Internal ∞-Groupoids by 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…”
Get full text

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

Accelerating DCA++ (Dynamical Cluster Approximation) Scientific Application on the Summit Supercomputer by 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…”
Get full text

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

“… Additionally, the paper examines factors such as years of experience and programming language knowledge in the context of survey responses…”
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. It consists of a C…”
Get full text

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

“… directly in a stream programming…”
Get full text

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

“…We address a key challenge in programming high-performance applications - achieving portable performance, i.e…”
Get full text