Rahul Krishnan

20 papers A* 2B 1Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards Automated Diagnosis of Inherited Arrhythmias: Combined Arrhythmia Classification Using Lead-Aware Spatial Attention Networks.
CoRR
Sophie Sigfstead, River Jiang, Brianna Davies, Zachary W. M. Laksman, Julia Cadrin-Tourigny, Rafik Tadros, Habib Khan, Joseph Atallah, Christian Steinberg, Shubhayan Sanatani, Mario Talajic, Rahul Krishnan, Andrew D. Krahn, Christopher C. Cheung
2025 J jnl
Estimating Treatment Effects with Independent Component Analysis.
CoRR
Patrik Reizinger, Lester Mackey, Wieland Brendel, Rahul Krishnan
2025 — conf
Reinforcement Learning-Driven UC-CFmMIMO for UAVs: A Subband Allocation Framework.
CITS
Selina Cheggour, Aymen Bouferroum, Rahul Krishnan
2025 A* conf
Sparse Training from Random Initialization: Aligning Lottery Ticket Masks using Weight Symmetry.
ICML
Mohammed Adnan, Rohan Jain, Ekansh Sharma, Rahul Krishnan, Yani Ioannou
2025 J jnl
Sparse Training from Random Initialization: Aligning Lottery Ticket Masks using Weight Symmetry.
CoRR
Mohammed Adnan, Rohan Jain, Ekansh Sharma, Rahul Krishnan, Yani Ioannou
2025 J jnl
zkStruDul: Programming zkSNARKs with Structural Duality.
CoRR
Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
CoRR
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2024 J jnl
Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics.
Proc. ACM Program. Lang.
Keith J. C. Johnson, Rahul Krishnan, Thomas W. Reps, Loris D'Antoni
2022 J jnl
Integrated System Design and Safety Framework for Model-Based Safety Assessment.
IEEE Access
Rahul Krishnan, Shamsnaz Virani Bhada
2022 J jnl
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version).
CoRR
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2022 J jnl
Synthesizing fine-grained synchronization protocols for implicit monitors.
Proc. ACM Program. Lang.
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
2021 J jnl
A Model Centric Framework and Approach for Complex Systems Policy.
IEEE Syst. J.
Shamsnaz Virani Bhada, Rahul Krishnan
2020 J jnl
An Integrated System Design and Safety Framework for Model-Based Safety Analysis.
IEEE Access
Rahul Krishnan, Shamsnaz Virani Bhada
2020 B conf
Identifying Cyber-Physical Vulnerabilities in Additive Manufacturing Systems using a Systems Approach.
SMC
Rahul Krishnan, Shamsnaz Virani Bhada
2020 — conf
Routing protocol Analysis for Heterogeneous Nodes in a Dynamic and Sparse Environment.
ICCCNT
Gopalakrishnan P, Sidhant Gupta, Rahul Krishnan, Dhruv Patel, Dhivvya J. P, Sruthy Anand, Dhanesh Raj
2019 — conf
Systems thinking approach to hazard analysis for complex robots.
ISSE
Rahul Krishnan, Shamsnaz Virani Bhada
2015 J jnl
A Game Theory-Based Energy Management System Using Price Elasticity for Smart Grids.
IEEE Trans. Ind. Informatics
Kun Wang, Zhiyou Ouyang, Rahul Krishnan, Lei Shu, Lei He
2014 A* conf
REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage.
DAC
Wei Wu, Wenyao Xu, Rahul Krishnan, Yen-Lung Chen, Lei He
2013 J jnl
Exploiting Parallelism by Data Dependency Elimination: A Case Study of Circuit Simulation Algorithms.
IEEE Des. Test
Wei Wu, Fang Gong, Rahul Krishnan, Lei He, Hao Yu
2013 — conf
Stochastic behavioral modeling of analog/mixed-signal circuits by maximizing entropy.
ISQED
Rahul Krishnan, Wei Wu, Fang Gong, Lei He