Rahul Sharma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
75
Venues
42
Active years
1998–2026
Best venue rank
A*
Where they publish
- A*PLDI9 papers
- A*SP5 papers
- A*CAV4 papers
- BIJCNN3 papers
- NationalCOMSNETS3 papers
- AOOPSLA3 papers
- A*ICML2 papers
- A*ICSE2 papers
- CIIWAS2 papers
- BNOMS2 papers
- CADBIS2 papers
- NationalAMIA2 papers
- BDASFAA2 papers
- CIECON2 papers
- BDaWaK2 papers
- BICIP2 papers
- UnrankedSENSYS2 papers
- A*ASPLOS2 papers
- AICSA1 paper
- BFMCAD1 paper
- A*EMNLP1 paper
- CVECoS1 paper
- UnrankedANT1 paper
- CDEXA1 paper
- BICONIP1 paper
- ANAACL1 paper
- BFPL1 paper
- A*CCS1 paper
- MulticonferenceICASSP1 paper
- BNetworking1 paper
- AECOOP1 paper
- A*WWW1 paper
- AWACV1 paper
- NationalCSIT1 paper
- A*POPL1 paper
- AESOP1 paper
- CIGARSS1 paper
- CPACLIC1 paper
- BSAS1 paper
- BSMC1 paper
- BCEC1 paper
- ADATE1 paper
Papers
75 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICSA | Towards Leveraging LLMs to Generate Abstract Penetration Test Cases from Software Architecture. | Mahdi Jafari, Rahul Sharma, Sami Naim, Christopher Gerking, Ralf Reussner |
| 2025 | ICML | X-Hacking: The Threat of Misguided AutoML. | Rahul Sharma, Sumantrak Mukherjee, Andrea Sipka, Eyke Hllermeier, Sebastian Josef Vollmer, Sergey Redyuk, David Antony Selby |
| 2025 | ICML | RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation. | Xinnuo Xu, Rachel Lawrence, Kshitij Dubey, Atharva Pandey, Risa Ueno, Fabian Falck, Aditya V. Nori, Rahul Sharma, Amit Sharma, Javier Gonzlez |
| 2025 | ICSE | LLM Assistance for Memory Safety. | J. Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy |
| 2025 | SP | SHARK: Actively Secure Inference Using Function Secret Sharing. | Kanav Gupta, Nishanth Chandran, Divya Gupta, Jonathan Katz, Rahul Sharma |
| 2024 | FMCAD | Leveraging LLMs for Program Verification. | Adharsh Kamath, J. Nausheen Mohammed, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma |
| 2024 | SP | Orca: FSS-based Secure Training and Inference with GPUs. | Neha Jawalkar, Kanav Gupta, Arkaprava Basu, Nishanth Chandran, Divya Gupta, Rahul Sharma |
| 2023 | EMNLP | Ranking LLM-Generated Loop Invariants for Program Verification. | Saikat Chakraborty, Shuvendu K. Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy |
| 2023 | IIWAS | On Observing Patterns of Correlations During Drill-Down. | Sijo Arakkal Peious, Rahul Sharma, Minakshi Kaushik, Mahtab Shahin, Dirk Draheim |
| 2023 | IJCNN | Weighted Kernel Ridge Regression based Randomized Network for Alzheimer's Disease Diagnosis using Susceptibility Weighted Images. | Muhammad Tanveer, Shradha Verma, Rahul Sharma, Tripti Goel, Ponnuthurai N. Suganthan |
| 2023 | NOMS | Probabilistic Distributed Intrusion Detection For Zero-Trust Multi-Access Edge Computing. | Rahul Sharma, Chien Aun Chan, Christopher Leckie |
| 2023 | VECoS | Future Opportunities for Systematic AI Support in Healthcare. | Markus Bertl, Gunnar Piho, Dirk Draheim, Peeter Ross, Ludwig Pechmann, Nicholas Bucciarelli, Rahul Sharma |
| 2022 | ADBIS | Detecting Simpson's Paradox: A Step Towards Fairness in Machine Learning. | Rahul Sharma, Minakshi Kaushik, Sijo Arakkal Peious, Markus Bertl, Ankit Vidyarthi, Ashwani Kumar, Dirk Draheim |
| 2022 | ADBIS | Discretizing Numerical Attributes: An Analysis of Human Perceptions. | Minakshi Kaushik, Rahul Sharma, Ankit Vidyarthi, Dirk Draheim |
| 2022 | AMIA | Can Facilitated Telehealth Bridge the Digital Health Divide? | Brock Daniels, Christina McGinnis, Justin Kara, Josh Kim, Peter W. Greenwald, Rahul Sharma |
| 2022 | ANT | Exploring Factors in a Crossroad Dataset Using Cluster-Based Association Rule Mining. | Mahtab Shahin, Mohammad Reza Heidari Iman, Minakshi Kaushik, Rahul Sharma, Tara Ghasempouri, Dirk Draheim |
| 2022 | DASFAA | Why Not to Trust Big Data: Discussing Statistical Paradoxes. | Rahul Sharma, Minakshi Kaushik, Sijo Arakkal Peious, Mahtab Shahin, Ankit Vidyarthi, Prayag Tiwari, Dirk Draheim |
| 2022 | DASFAA | Towards Unification of Statistical Reasoning, OLAP and Association Rule Mining: Semantics and Pragmatics. | Rahul Sharma, Minakshi Kaushik, Sijo Arakkal Peious, Mahtab Shahin, Amrendra Singh Yadav, Dirk Draheim |
| 2022 | DEXA | Detecting Simpson's Paradox: A Machine Learning Perspective. | Rahul Sharma, Huseyn Garayev, Minakshi Kaushik, Sijo Arakkal Peious, Prayag Tiwari, Dirk Draheim |
| 2022 | ICONIP | RVFL Classifier Based Ensemble Deep Learning for Early Diagnosis of Alzheimer's Disease. | Krishanu Maji, Rahul Sharma, Shradha Verma, Tripti Goel |
| 2022 | IIWAS | An Analysis of Human Perception of Partitions of Numerical Factor Domains. | Minakshi Kaushik, Rahul Sharma, Mahtab Shahin, Sijo Arakkal Peious, Dirk Draheim |
| 2022 | ICSE | Jigsaw: Large Language Models meet Program Synthesis. | Naman Jain, Skanda Vaidyanath, Arun Iyer, Nagarajan Natarajan, Suresh Parthasarathy, Sriram K. Rajamani, Rahul Sharma |
| 2022 | IECON | Impacts of Grid Impedance on Power Quality of Converters in Distribution Networks. | Amir Taghvaie, Firuz Zare, Rahul Sharma, Dinesh Kumar |
| 2022 | NAACL | Federated Learning with Noisy User Feedback. | Rahul Sharma, Anil Ramakrishna, Ansel MacLaughlin, Anna Rumshisky, Jimit Majmudar, Clement Chung, Salman Avestimehr, Rahul Gupta |
| 2022 | NOMS | Hybrid Collaborative Architectures For Intrusion Detection In Multi-Access Edge Computing. | Rahul Sharma, Chien Aun Chan, Christopher Leckie |
| 2022 | SP | SecFloat: Accurate Floating-Point meets Secure 2-Party Computation. | Deevashwer Rathee, Anwesh Bhattacharya, Rahul Sharma, Divya Gupta, Nishanth Chandran, Aseem Rastogi |
| 2021 | AMIA | MyEDCare: Evaluation of a Smartphone-based Emergency Department Discharge Process. | Peter A. D. Steel, Dvid Bodnr, Maryellen Bonito, Jane Torres-Lavoro, Dona Bou Eid, Andrew Jacobowitz, Yifan Liu, Amos Shemesh, Robert Tanouye, Patrick Rumble, Daniel Dicello, Rahul Sharma, Brenna Farmer, Sandra Pomerantz, Yiye Zhang |
| 2021 | FPL | MAFIA: Machine Learning Acceleration on FPGAs for IoT Applications. | Nikhil Pratap Ghanathe, Vivek Seshadri, Rahul Sharma, Steve Wilton, Aayan Kumar |
| 2021 | SP | SiRnn: A Math Library for Secure RNN Inference. | Deevashwer Rathee, Mayank Rathee, Rahul Kranti Kiran Goli, Divya Gupta, Rahul Sharma, Nishanth Chandran, Aseem Rastogi |
| 2020 | CCS | CrypTFlow2: Practical 2-Party Secure Inference. | Deevashwer Rathee, Mayank Rathee, Nishant Kumar, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma |
| 2020 | DaWaK | Grand Reports: A Tool for Generalizing Association Rule Mining to Numeric Target Values. | Sijo Arakkal Peious, Rahul Sharma, Minakshi Kaushik, Syed Attique Shah, Sadok Ben Yahia |
| 2020 | DaWaK | Expected vs. Unexpected: Selecting Right Measures of Interestingness. | Rahul Sharma, Minakshi Kaushik, Sijo Arakkal Peious, Sadok Ben Yahia, Dirk Draheim |
| 2020 | ICASSP | Vocal Tract Articulatory Contour Detection in Real-Time Magnetic Resonance Images Using Spatio-Temporal Context. | S. Ashwin Hebbar, Rahul Sharma, Krishna Somandepalli, Asterios Toutios, Shrikanth Narayanan |
| 2020 | IJCNN | Reconstructing Abstract Concepts and their Blends Via Computational Cognitive Modeling. | Rahul Sharma, Bernardete Ribeiro, Alexandre Miguel Pinto, F. Amlcar Cardoso |
| 2020 | Networking | Evaluation of Centralised vs Distributed Collaborative Intrusion Detection Systems in Multi-Access Edge Computing. | Rahul Sharma, Chien Aun Chan, Christopher Leckie |
| 2020 | SP | CrypTFlow: Secure TensorFlow Inference. | Nishant Kumar, Mayank Rathee, Nishanth Chandran, Divya Gupta, Aseem Rastogi, Rahul Sharma |
| 2019 | CAV | Overfitting in Synthesis: Theory and Practice. | Saswat Padhi, Todd D. Millstein, Aditya V. Nori, Rahul Sharma |
| 2019 | COMSNETS | OpenSnap: Collection of Globally Consistent Statistics in Software Defined Networks. | Sandhya Rathee, Rahul Sharma, Piyush Kumar Jain, K. Haribabu, Ashutosh Bhatia, Sundar Balasubramaniam |
| 2019 | COMSNETS | An Affordable IoT Edge Platform for Digital Farming in Developing Regions. | Sanat Sarangi, Vinayak Naik, Swagatam Bose Choudhury, Prachin Jain, Vinay Kosgi, Rahul Sharma, Prakruti Bhatt, Srinivasu Pappula |
| 2019 | ECOOP | Eventually Sound Points-To Analysis with Specifications. | Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken |
| 2019 | ICIP | Toward Visual Voice Activity Detection for Unconstrained Videos. | Rahul Sharma, Krishna Somandepalli, Shrikanth S. Narayanan |
| 2019 | IECON | A Novel Zero Sequence Voltage Injection for Extending Active Power Balancing in Grid tied Solar PV Powered Cascaded H-Bridge Converter. | Rahul Sharma, Anandarup Das |
| 2019 | PLDI | Semantic program alignment for equivalence checking. | Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken |
| 2019 | PLDI | Compiling KB-sized machine learning models to tiny IoT devices. | Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma |
| 2018 | IJCNN | Perceiving Abstract Concepts Via Evolving Computational Cognitive Modeling. | Rahul Sharma, Bernardete Ribeiro, Alexandre Miguel Pinto, F. Amlcar Cardoso |
| 2018 | PLDI | Active learning of points-to specifications. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2018 | WWW | Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time. | Chantat Eksombatchai, Pranav Jindal, Jerry Zitao Liu, Yuchen Liu, Rahul Sharma, Charles Sugnet, Mark Ulrich, Jure Leskovec |
| 2018 | WACV | Multichannel Attention Network for Analyzing Visual Behavior in Public Speaking. | Rahul Sharma, Tanaya Guha, Gaurav Sharma |
| 2018 | SENSYS | Fall-curve: A novel primitive for IoT Fault Detection and Isolation. | Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic, Jonathan Appavoo |
| 2018 | SENSYS | Sensor Identification and Fault Detection in IoT Systems. | Tusher Chakraborty, Akshay Uttama Nambi, Ranveer Chandra, Rahul Sharma, Manohar Swaminathan, Zerina Kapetanovic |
| 2017 | ASPLOS | Sound Loop Superoptimization for Google Native Client. | Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken |
| 2017 | CSIT | Controlling the uncontrolled by noticing the unnoticed. | Rahul Sharma, Afshin Jalali Sohl, Marcel J. C. M. Hertogh, Jan Reinout Deketh |
| 2017 | PLDI | Synthesizing program input grammars. | Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
| 2016 | ICIP | A trajectory clustering approach to crowd flow segmentation in videos. | Rahul Sharma, Tanaya Guha |
| 2016 | OOPSLA | Dependent partitioning. | Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
| 2016 | PLDI | Stratified synthesis: automatically learning the x86-64 instruction set. | Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2016 | PLDI | Verifying bit-manipulations of floating-point. | Wonyeol Lee, Rahul Sharma, Alex Aiken |
| 2016 | PLDI | Data-driven precondition inference with learned features. | Saswat Padhi, Rahul Sharma, Todd D. Millstein |
| 2015 | COMSNETS | ICT platform for Climate Change Adaptation in agriculture. | Dineshkumar Singh, Divya Piplani, Siddhesh Nar, Srinivasan Karthik, Rahul Sharma, Aditya Tiwari |
| 2015 | OOPSLA | Conditionally correct superoptimization. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2015 | PLDI | Verification of producer-consumer synchronization in GPU programs. | Rahul Sharma, Michael Bauer, Alex Aiken |
| 2014 | CAV | From Invariant Checking to Invariant Inference Using Randomized Search. | Rahul Sharma, Alex Aiken |
| 2014 | PLDI | Stochastic optimization of floating-point programs with tunable precision. | Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2014 | POPL | Bias-variance tradeoffs in program analysis. | Rahul Sharma, Aditya V. Nori, Alex Aiken |
| 2013 | ASPLOS | Stochastic superoptimization. | Eric Schkufza, Rahul Sharma, Alex Aiken |
| 2013 | ESOP | A Data Driven Approach for Algebraic Loop Invariants. | Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori |
| 2013 | IGARSS | Downscaling of SMOS derived soil moisture and validation with ground truth data. | O. P. N. Calla, Abhishek Kalla, Gaurav Rathore, Kishan Lal Gadri, Rahul Sharma, Sunil Kumar Agrahari |
| 2013 | OOPSLA | Data-driven equivalence checking. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2013 | PACLIC | Automatic Clause Boundary Annotation in the Hindi Treebank. | Rahul Sharma, Soma Paul, Riyaz Ahmad Bhat, Sambhav Jain |
| 2013 | SAS | Verification as Learning Geometric Concepts. | Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori |
| 2012 | CAV | Interpolants as Classifiers. | Rahul Sharma, Aditya V. Nori, Alex Aiken |
| 2011 | CAV | Simplifying Loop Invariant Generation Using Splitter Predicates. | Rahul Sharma, Isil Dillig, Thomas Dillig, Alex Aiken |
| 2009 | SMC | Model Predictive Control of Velocity and Torque Split in a Parallel Hybrid Vehicle. | Tae Soo Kim, Chris Manzie, Rahul Sharma |
| 2007 | CEC | Direct search for wave operator by a Genetic Algorithm (GA): Route to few eigenvalues of a Hamiltonian. | Rahul Sharma, S. P. Bhattacharyya |
| 1998 | DATE | Interconnect Tuning Strategies for High-Performance Ics. | Andrew B. Kahng, Sudhakar Muddu, Egino Sarto, Rahul Sharma |