4 citations · 4 across the 3 of their papers we have counts for
5 papers
Improved Tristate Multiplication With Formalization in Rocq
Nandakumar Edamana, Piyush P Kurur, Unnikrishnan Cheramangalath
We give a new multiplication algorithm for tristate numbers improving upon the state-of-the-art implementation from the Linux kernel in terms of precision and formal proofs. Our al…
HEHRGNN: A Unified Embedding Model for Knowledge Graphs with Hyperedges and Hyper-Relational Edges
Rajesh Rajagopalamenon, Unnikrishnan Cheramangalath
Knowledge Graph(KG) has gained traction as a machine-readable organization of real-world knowledge for analytics using artificial intelligence systems. Graph Neural Network(GNN), i…
Meerkat: A framework for Dynamic Graph Algorithms on GPUs
Kevin Jude Concessao, Unnikrishnan Cheramangalath, MJ Ricky Dev +1
Graph algorithms are challenging to implement due to their varying topology and irregular access patterns. Real-world graphs are dynamic in nature and routinely undergo edge and ve…
Custom Code Generation for a Graph DSL
Bikash Gogoi, Unnikrishnan Cheramangalath, Rupesh Nasre
Graph algorithms are at the heart of several applications, and achieving high performance with them has become critical due to the tremendous growth of irregular data. However, irr…
Taming the War in Memory: A Resilient Mitigation Strategy Against Memory Safety Attacks in CPS
Eyasu Getahun Chekole, Unnikrishnan Cheramangalath, Sudipta Chattopadhyay +2
Memory-safety attacks have been one of the most critical threats against computing systems. Although a wide-range of defense techniques have been developed against these attacks, t…