5 citations · 15 across the 7 of their papers we have counts for
7 papers
Large Language Models Based Automatic Synthesis of Software Specifications
Shantanu Mandal, Adhrik Chethan, Vahid Janfaza +5
Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the corre…
An Optimal Level-synchronous Shared-memory Parallel BFS Algorithm with Optimal parallel Prefix-sum Algorithm and its Implications for Energy Consumption
Jesmin Jahan Tithi, Yonatan Fogel, Rezaul Chowdhury
We present a work-efficient parallel level-synchronous Breadth First Search (BFS) algorithm for shared-memory architectures which achieves the theoretical lower bound on parallel r…
A New Parallel Algorithm for Sinkhorn Word-Movers Distance and Its Performance on PIUMA and Xeon CPU
Jesmin Jahan Tithi, Fabrizio Petrini
The Word Movers Distance (WMD) measures the semantic dissimilarity between two text documents by computing the cost of optimally moving all words of a source/query document to the…
MISIM: A Neural Code Semantics Similarity System Using the Context-Aware Semantics Structure
Fangke Ye, Shengtian Zhou, Anand Venkat +10
Code semantics similarity can be used for many tasks such as code recommendation, automated software defect correction, and clone detection. Yet, the accuracy of such systems has n…
An Efficient Shared-memory Parallel Sinkhorn-Knopp Algorithm to Compute the Word Mover's Distance
Jesmin Jahan Tithi, Fabrizio Petrini
The Word Mover's Distance (WMD) is a metric that measures the semantic dissimilarity between two text documents by computing the cost of moving all words of a source/query document…
Context-Aware Parse Trees
Fangke Ye, Shengtian Zhou, Anand Venkat +8
The simplified parse tree (SPT) presented in Aroma, a state-of-the-art code recommendation system, is a tree-structured representation used to infer code semantics by capturing pro…
Online and Real-time Object Tracking Algorithm with Extremely Small Matrices
Jesmin Jahan Tithi, Sriram Aananthakrishnan, Fabrizio Petrini
Online and Real-time Object Tracking is an interesting workload that can be used to track objects (e.g., car, human, animal) in a series of video sequences in real-time. For simple…