Search Results - "Concurrent programming structures"

Python shared atomic data types by Ren, Xiquan

“…Although atomicity plays a key role in data operations of shared variables in parallel computation, researchers haven't treated atomicity in Python in much…”
Get full text

HasChor: Functional Choreographic Programming for All (Functional Pearl) by Shen, Gan, Kashiwa, Shun, Kuper, Lindsey

“…Choreographic programming is an emerging paradigm for programming distributed systems. In choreographic programming, the programmer describes the behavior of…”
Get full text

A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers by González-Vélez, Horacio, Leyton, Mario

“…Structured parallel programs ought to be conceived as two separate and complementary entities: computation, which expresses the calculations in a procedural…”
Get full text

Portable Programming with RAPID by Angstadt, Kevin, Wadden, Jack, Weimer, Westley, Skadron, Kevin

“…As the hardware found within data centers becomes more heterogeneous, it is important to allow for efficient execution of algorithms across architectures. We…”
Get full text

The Design of OpenMP Tasks by Ayguade, E., Copty, N., Duran, A., Hoeflinger, J., Yuan Lin, Massaioli, F., Teruel, X., Unnikrishnan, P., Guansong Zhang

“…OpenMP has been very successful in exploiting structured parallelism in applications. With increasing application complexity, there is a growing need for…”
Get full text

High-level effect handlers in C++ by Ghica, Dan, Lindley, Sam, Bravo, Marcos Maroñas, Piróg, Maciej

“…Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic…”
Get full text

Degrees of Separation: A Flexible Type System for Safe Concurrency by Xu, Yichen, Boruch-Gruszecki, Aleksander, Odersky, Martin

“…Data races have long been a notorious problem in concurrent programming. They are hard to detect, and lead to non-deterministic behaviours. There has been a…”
Get full text

Intrinsically Typed Sessions with Callbacks (Functional Pearl) by Thiemann, Peter

“…All formalizations of session types rely on linear types for soundness as session-typed communication channels must change their type at every operation…”
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

Lexical Effect Handlers, Directly by Ma, Cong, Ge, Zhaoyi, Lee, Edward, Zhang, Yizhou

“…Lexically scoping effect handlers is a language-design idea that equips algebraic effects with a modular semantics: it enables local-reasoning principles…”
Get full text

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

A true positives theorem for a static race detector by Gorogiannis, Nikos, O'Hearn, Peter W., Sergey, Ilya

“…RacerD is a static race detector that has been proven to be effective in engineering practice: it has seen thousands of data races fixed by developers before…”
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

Fuzzing channel-based concurrency runtimes using types and effects by Stiévenart, Quentin, Madsen, Magnus

“…Modern programming languages support concurrent programming based on channels and processes. Channels enable synchronous and asynchronous message-passing…”
Get full text

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

Formalised Composition and Interaction for Heterogeneous Structured Parallelism by Goli, Mehdi, González-Vélez, Horacio

“…Deployed through skeleton frameworks, structured parallelism yields a clear and consistent structure across platforms by distinctly decoupling computations…”
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

Effective static deadlock detection by Naik, Mayur, Park, Chang-Seo, Sen, Koushik, Gay, David

“…We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a…”
Get full text

Refactoring sequential Java code for concurrency via concurrent libraries by Dig, Danny, Marrero, John, Ernst, Michael D.

“…Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing…”
Get full text

Adaptive structured parallelism for distributed heterogeneous architectures: a methodological approach with pipelines and farms by González-Vélez, Horacio, Cole, Murray

“…Algorithmic skeletons commonly used patterns of parallel computation, communication, and interaction. Based on the algorithmic skeleton concept, structured…”
Get full text