Search Results - Computing methodologies Concurrent computing methodologies
-
1
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
Published: IEEE 29.06.2021Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… of lock-freedom, which assumes only justness of execution paths, a minimal fairness assumption for concurrent systems…”
Get full text
Conference Proceeding -
2
Leveraging Difference Recurrence Relations for High-Performance GPU Genome Alignment
Published: ACM 13.10.2024Published in 2024 33rd International Conference on Parallel Architectures and Compilation Techniques (PACT) (13.10.2024)“…Genome pairwise sequence alignment is one of the most computationally intensive workloads in many genomic pipelines, often accounting for over 90% of the…”
Get full text
Conference Proceeding -
3
HADES: Hardware-Assisted Distributed Transactions in the Age of Fast Networks and SmartNICs
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“…Transactional-based distributed storage applications such as key-value stores and databases are widely used in the cloud. Recently, the hardware on which these…”
Get full text
Conference Proceeding -
4
pSyncPIM: Partially Synchronous Execution of Sparse Matrix Operations for All-Bank PIM Architectures
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“…Recent commercial incarnations of processing-in-memory (PIM) maintain the standard DRAM interface and employ the all-bank mode execution to maximize bank-level…”
Get full text
Conference Proceeding -
5
LLM-Based Java Concurrent Program to ArkTS Converter
ISSN: 2643-1572Published: ACM 27.10.2024Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…). This paper presents an LLM-based concurrent Java program to ArkTS converter.Our converter utilizes large language models (LLMs…”
Get full text
Conference Proceeding -
6
Late Breaking Results: An Efficient and Scalable Track Assignment with GPU Parallelism
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…The track assignment has been introduced between global routing and detail routing. Based on the independence and divisibility of track assignment, we propose…”
Get full text
Conference Proceeding -
7
Ultra Efficient Acceleration for De Novo Genome Assembly via Near-Memory Computing
Published: IEEE 01.09.2021Published in 2021 30th International Conference on Parallel Architectures and Compilation Techniques (PACT) (01.09.2021)“…De novo assembly of genomes for which there is no reference, is essential for novel species discovery and metagenomics. In this work, we accelerate two key…”
Get full text
Conference Proceeding -
8
Architecture-Aware Currying
Published: IEEE 21.10.2023Published in 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“…In near-data computing (NDC), computation is brought into data, as opposed to bringing data to computation…”
Get full text
Conference Proceeding -
9
Unfair Scheduling Patterns in NUMA Architectures
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“… This begs the question: what concurrent scheduling models are realistic? This issue is complicated by the intricacies of modern hardware, such as cache coherence protocols and non-uniform memory access (NUMA…”
Get full text
Conference Proceeding -
10
Utilizing Parallelism in Smart Contracts on Decentralized Blockchains by Taming Application-Inherent Conflicts
ISSN: 1558-1225Published: ACM 01.05.2022Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)“…Traditional public blockchain systems typically had very limited transaction throughput because of the bottleneck of the consensus protocol itself. With recent…”
Get full text
Conference Proceeding -
11
Forgive-TM: Supporting Lazy Conflict Detection In Eager Hardware Transactional Memory
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Commercial hardware transactional memory (TM) systems commonly use coherence messages to detect data conflicts. When a core inside a transaction receives a…”
Get full text
Conference Proceeding -
12
Separating Mechanism from Policy in STM
Published: IEEE 21.10.2023Published in 2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT) (21.10.2023)“…When designing concurrent data structures (CDSs), it can feel like programmers must choose between performance and convenience…”
Get full text
Conference Proceeding -
13
Gluon-Async: A Bulk-Asynchronous System for Distributed and Heterogeneous Graph Analytics
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Distributed graph analytics systems for CPUs, like D-Galois and Gemini, and for GPUs, like D-IrGL and Lux, use a bulk-synchronous parallel (BSP) programming…”
Get full text
Conference Proceeding -
14
Hardware Support for Durable Atomic Instructions for Persistent Parallel Programming
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Persistent memory is emerging as an attractive main memory fabric capable of hosting persistent data. However, its programmability is hampered by the lack of…”
Get full text
Conference Proceeding -
15
DRPTM: A Decoupled Read-efficient High-scalable Persistent Transactional Memory
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Persistent transactional memory (PTM) exploits transactions to provide an easy crash-consistent interface for persistent memory (PM). However, because of the…”
Get full text
Conference Proceeding -
16
Gacer: Granularity-Aware Concurrency Regulation for Multi-Tenant Deep Learning
ISSN: 1558-2434Published: ACM 27.10.2024Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (27.10.2024)“…As deep learning continues to advance and is applied to increasingly complex scenarios, the demand for concurrent deployment of multiple neural network models has arisen…”
Get full text
Conference Proceeding -
17
HeTM: Transactional Memory for Heterogeneous Systems
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“…Modern heterogeneous computing architectures, which couple multi-core CPUs with discrete many-core GPUs…”
Get full text
Conference Proceeding -
18
Democratizing AI: Open-source Scalable LLM Training on GPU-based Supercomputers
Published: IEEE 17.11.2024Published in SC24: International Conference for High Performance Computing, Networking, Storage and Analysis (17.11.2024)“…Training and fine-tuning large language models (LLMs) with hundreds of billions to trillions of parameters requires tens of thousands of GPUs, and a highly…”
Get full text
Conference Proceeding -
19
Optimizing Persistent Memory Transactions
ISSN: 2641-7936Published: IEEE 01.09.2019Published in Proceedings / International Conference on Parallel Architectures and Compilation Techniques (01.09.2019)“… We show how to build concurrent persistent transactional memory from traditional software transactional memories…”
Get full text
Conference Proceeding -
20
A Finer-Grained Blocking Analysis for Parallel Real-Time Tasks with Spin-Locks
Published: IEEE 05.12.2021Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…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
Conference Proceeding