research
∙
04/18/2023
Large Language Models Based Automatic Synthesis of Software Specifications
Software configurations play a crucial role in determining the behavior ...
share
research
∙
09/19/2022
An Optimal Level-synchronous Shared-memory Parallel BFS Algorithm with Optimal parallel Prefix-sum Algorithm and its Implications for Energy Consumption
We present a work-efficient parallel level-synchronous Breadth First Sea...
research
∙
09/03/2022
Ridgeline: A 2D Roofline Model for Distributed Systems
In this short paper, we introduce the Ridgeline model, an extension of t...
research
∙
08/09/2022
Using Sentence Embeddings and Semantic Similarity for Seeking Consensus when Assessing Trustworthy AI
Assessing the trustworthiness of artificial intelligence systems require...
research
∙
06/20/2022
How to Assess Trustworthy AI in Practice
This report is a methodological reflection on Z-Inspection^. Z-Inspectio...
research
∙
01/29/2022
Efficient, Out-of-Memory Sparse MTTKRP on Massively Parallel Architectures
Tensor decomposition (TD) is an important method for extracting latent i...
research
∙
07/14/2021
A New Parallel Algorithm for Sinkhorn Word-Movers Distance and Its Performance on PIUMA and Xeon CPU
The Word Movers Distance (WMD) measures the semantic dissimilarity betwe...
research
∙
02/28/2021
Performance Optimization of SU3_Bench on Xeon and Programmable Integrated Unified Memory Architecture
SU3_Bench is a microbenchmark developed to explore performance portabili...
research
∙
02/20/2021
ALTO: Adaptive Linearized Storage of Sparse Tensors
The analysis of high-dimensional sparse data is becoming increasingly po...
research
∙
11/06/2020
Mapping Stencils on Coarse-grained Reconfigurable Spatial Architecture
Stencils represent a class of computational patterns where an output gri...
research
∙
10/13/2020
PIUMA: Programmable Integrated Unified Memory Architecture
High performance large scale graph analytics is essential to timely anal...
research
∙
06/05/2020
MISIM: An End-to-End Neural Code Similarity System
Code similarity systems are integral to a range of applications from cod...
research
∙
05/14/2020
An Efficient Shared-memory Parallel Sinkhorn-Knopp Algorithm to Compute the Word Mover's Distance
The Word Mover's Distance (WMD) is a metric that measures the semantic d...
research
∙
03/26/2020
Online and Real-time Object Tracking Algorithm with Extremely Small Matrices
Online and Real-time Object Tracking is an interesting workload that can...
research
∙
03/24/2020