Sriram Vasudevan

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Formal Verification

Permutation Tests

Enterprise Architecture

Top Venues

Publications

Sriram Vasudevan, Prasanna Ravi, Arpan Jati, Shivam Bhasin, Anupam Chattopadhyay
Formal Verification of Secure Boot Process. DATE (2024)
Jianqiang Shen, Yuchin Juan, Shaobo Zhang, Ping Liu, Wen Pu, Sriram Vasudevan, Qingquan Song, Fedor Borisyuk, Kay Qianqi Shen, Haichao Wei, Yunxiang Ren, Yeou S. Chiou, Sicong Kuang, Yuan Yin, Ben Zheng, Muchen Wu, Shaghayegh Gharghabi, Xiaoqing Wang, Huichao Xue, Qi Guo, Daniel Hewlett, Luke Simon, Liangjie Hong, Wenjing Zhang
Learning to Retrieve for Job Matching. CoRR (2024)
Sriram Vasudevan, Krishnaram Kenthapadi
LiFT: A Scalable Framework for Measuring Fairness in ML Applications. CoRR (2020)
Sriram Vasudevan, Krishnaram Kenthapadi
LiFT: A Scalable Framework for Measuring Fairness in ML Applications. CIKM (2020)
Cyrus DiCiccio, Sriram Vasudevan, Kinjal Basu, Krishnaram Kenthapadi, Deepak Agarwal
Evaluating Fairness Using Permutation Tests. KDD (2020)
Arun Swami, Sriram Vasudevan, Joojay Huyn
Data Sentinel: A Declarative Production-Scale Data Validation Platform. ICDE (2020)
Mohammad Shihabul Haque, Sriram Vasudevan, Alamuri Sriram Nihar, Arvind Easwaran, Akash Kumar, Y. C. Tay
A Self-Reconfiguring Cache Architecture to Improve Control Quality in Cyber-Physical Systems. ISORC (2018)
Sriram Vasudevan, Nitin Shivaraman, Arvind Easwaran
WiP Abstract: A Novel Strategy for Active Cell Balancing. ICCPS (2016)
Nitin Shivaraman, Sriram Vasudevan, Arvind Easwaran
Demo Abstract: Predictable SoC Architecture Based on COTS Multi-Core. RTAS (2016)