Assembly code optimization verification for RISC-V Sep 2022 - Present
- Currently working on top of CASM-Verify tool to perform symbolic verification of
different
assembly-optimized code.
- Building a complete tool including a parser, writing RISC-V assembly codes,
generating ASTs
and then creating SMT queries
to check the equivalence of the codes generated.
- Testing the tool on RISC-V and dsl codes for security-based algorithms. Code is
available here
Compiler-induced Numerical Result-variability Detection in the Compressed Domain Mar 2022 - Aug 2022
- Investigating the use of lossy data compression to store (intermediate) computational
results and compare two such compressed
data sets (the one before optimization and the other after) without decompression. We
take a recently introduced compressor
that allows such compressed-domain operations and provides an initial study of its GPU
parallelization. The paper presents
fully GPU-based components of a future compiler-flag bisection utility, consisting of a
GPU-based shallow water simulation as
a driving example, methods to understand (and trust) compressed-domain operations, and
parallelization benefits. (previously
submitted in LCPC workshop which got rejected). We plan to add CPU codes and resubmit as
a conference paper later.
A Topological Similarity Measure between Multi-resolution Reeb Spaces
-
Creating a data-structure that can capture topological features from multi-field data
using Reeb Spaces. Dataset is a time
varying multi-field data. The project is implemented using vtk Python and vtk C++.
- A complete thesis on Topological Similarity between Multi-field Data pdf
Topological feature search in time-varying multifield data
-
Proposed a similarity metric for two multi-fields between their respective fiber
component distribution. The project uses Reeb
Spaces which are projected in range space which is implemented using vtk Python and vtk
C++.. Dataset: Scission of nucleus
for Plutonium and Fermium atom, DFT data for Pt-CO bond detection.
- Submitted and presented in TopoInVis 2019. pdf