Search Results - Concurrent programming structures

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

“… We present RAPID, a high-level programming language and combined imperative and declarative model for functionally- and performance-portable execution of sequential pattern-matching applications…”
Get full text

Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom by Glabbeek, Rob van, Hofner, Peter, Horne, Ross

“… of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems…”
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

A Linear Logic Programming Language for Concurrent Programming over Graph Structures by CRUZ, FLAVIO, ROCHA, RICARDO, GOLDSTEIN, SETH COPEN, PFENNING, FRANK

“… LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure…”
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…”
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

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

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

“… The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity of writing thread-safe and scalable programs is hidden in the library…”
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

“… With increasing application complexity, there is a growing need for addressing irregular parallelism in the presence of complicated control structures…”
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

Python shared atomic data types by Ren, Xiquan

“… in parallel computation and concurrent programming…”
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

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

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 binding, inside the programming language…”
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…”
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

Mitigating synchronization bottlenecks in high-performance actor-model-based software by Klenk, Kyle, Moayeri, Mohammad Mahdi, Guo, Junwei, Clark, Martyn P., Spiteri, Raymond J.

“…Bulk synchronous programming (in distributed-memory systems) and the fork-join pattern…”
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

Actors in a new 'highly parallel' world by Correa, Fabio

“…The actor-model of computation was forged 25 years ago and, despite its natural fitness for concurrent programming, it never got traction on mainstream programming languages and as a…”
Get full text