Gagandeep Singh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
37
Active years
2008–2026
Best venue rank
A*
Where they publish
- A*ICLR12 papers
- A*ICML4 papers
- AMICCAI4 papers
- A*CAV3 papers
- BFPL3 papers
- AICS2 papers
- A*ECCV2 papers
- BSAS2 papers
- A*ISCA2 papers
- CIECON2 papers
- ADATE2 papers
- A*PLDI2 papers
- A*DAC2 papers
- CDSD2 papers
- AESOP1 paper
- NationalFCCM1 paper
- MulticonferenceICASSP1 paper
- A*ICRA1 paper
- AMODELS1 paper
- NationalCOMAD1 paper
- CICCHP1 paper
- NationalBTW1 paper
- BISPASS1 paper
- A*MICRO1 paper
- NationalNSDI1 paper
- A*AAAI1 paper
- A*EMNLP1 paper
- CICCD1 paper
- AFPGA1 paper
- A*ICCV1 paper
- A*MOBICOM1 paper
- CIGARSS1 paper
- CSCOPES1 paper
- BDASFAA1 paper
- BEDBT1 paper
- CQRS1 paper
- A*POPL1 paper
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search. | Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh, Mahesh Vishwanathan |
| 2026 | FCCM | STEEL: Sparsity-Aware Fused Attention for Energy-Efficient Long-Sequence Inference on AMD's XDNA™ NPU. | Victor J. B. Jung, Gagandeep Singh, Joseph Melber, Kristof Denolf, Francesco Conti, Luca Benini |
| 2026 | ICS | Harmonia: Enhancing Data Placement and Migration in Hybrid Storage Systems via Multi-Agent Reinforcement Learning. | Rakesh Nadig, Vamanan Arulchelvan, Rahul Bera, Taha Shahroodi, Gagandeep Singh, Andreas Kosmas Kakolyris, Ismail Emir Yksel, Mohammad Sadrosadati, Jisung Park, Onur Mutlu |
| 2025 | ICASSP | A Modified Gain Normalized Step Size Adaptive Algorithm for Improved Online Secondary Path Modelling in Active Noise Control. | Asutosh Kar, Gagandeep Singh, Pradeep K. Shill, Somanath Pradhan, Vasundhara, Mads Grsbll Christensen |
| 2025 | ICLR | Certifying Counterfactual Bias in LLMs. | Isha Chaudhary, Qian Hu, Manoj Kumar, Morteza Ziyadi, Rahul Gupta, Gagandeep Singh |
| 2025 | ICLR | IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking. | Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic |
| 2025 | ICLR | Support is All You Need for Certified VAE Training. | Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh |
| 2025 | ICML | CRANE: Reasoning with constrained LLM generation. | Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh |
| 2025 | ICRA | A Cane-Mounted System for Dynamic Orientation Prediction for Correcting Incorrect Cane-Tapping by Visually Challenged Persons. | Gagandeep Singh, Mohammad Nadir, Piyush Chanana, Rohan Paul |
| 2025 | MODELS | Modeling the Full Stack: Frontend and Backend Generation with Extended Domain Models. | Gagandeep Singh, Gunter Mussbacher |
| 2024 | COMAD | Probabilistic Trust Intervals for Out of Distribution Detection. | Gagandeep Singh, Ishan Mishra, Deepak Mishra |
| 2024 | ECCV | Cross-Input Certified Training for Universal Perturbations. | Changming Xu, Gagandeep Singh |
| 2024 | ICCHP | An Embedded AI System for Predicting and Correcting the Sensor-Orientation of an Electronic Travel Aid During Use by a Visually Impaired Person. | Gagandeep Singh, Mohammad Nadir, Rachit Thukral, Varun Gambhir, Piyush Chanana, Rohan Paul |
| 2024 | ICLR | Interpreting Robustness Proofs of Deep Neural Networks. | Debangshu Banerjee, Avaljot Singh, Gagandeep Singh |
| 2024 | ICLR | Exploiting Time Channel Vulnerability of Learned Bloom Filters. | Harman Singh Farwah, Gagandeep Singh, Cheng Tan |
| 2024 | ICLR | FedCompass: Efficient Cross-Silo Federated Learning on Heterogeneous Client Devices Using a Computing Power-Aware Scheduler. | Zilinghan Li, Pranshu Chaturvedi, Shilan He, Han Chen, Gagandeep Singh, Volodymyr V. Kindratenko, Eliu A. Huerta, Kibaek Kim, Ravi K. Madduri |
| 2024 | ICLR | Is Watermarking LLM-Generated Code Robust? | Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic |
| 2024 | ICLR | Incremental Randomized Smoothing Certification. | Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic |
| 2024 | ICLR | Bypassing the Safety Training of Open-Source LLMs with Priming Attacks. | Jason Vega, Isha Chaudhary, Changming Xu, Gagandeep Singh |
| 2024 | ICML | Relational DNN Verification With Cross Executional Bound Refinement. | Debangshu Banerjee, Gagandeep Singh |
| 2024 | ICML | Robust Universal Adversarial Perturbations. | Changming Xu, Gagandeep Singh |
| 2024 | SAS | ConstraintFlow: A Declarative DSL for Easy Development of DNN Certifiers. | Avaljot Singh, Yasmin Sarita, Charith Mendis, Gagandeep Singh |
| 2023 | BTW | Benchmarking the Second Generation of Intel SGX for Machine Learning Workloads. | Adrian Lutsch, Gagandeep Singh, Martin Mundt, Ragnar Mogk, Carsten Binnig |
| 2023 | ICLR | Provable Defense Against Geometric Transformations. | Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh |
| 2023 | ICS | SPARTA: Spatial Acceleration for Efficient and Scalable Horizontal Diffusion Weather Stencil Computation. | Gagandeep Singh, Alireza Khodamoradi, Kristof Denolf, Jack Lo, Juan Gmez-Luna, Joseph Melber, Andra Bisca, Henk Corporaal, Onur Mutlu |
| 2023 | ISPASS | Evaluating Machine LearningWorkloads on Memory-Centric Computing Systems. | Juan Gmez-Luna, Yuxin Guo, Sylvan Brocard, Julien Legriel, Remy Cimadomo, Geraldo F. Oliveira, Gagandeep Singh, Onur Mutlu |
| 2023 | MICRO | Swordfish: A Framework for Evaluating Deep Neural Network-based Basecalling using Computation-In-Memory with Non-Ideal Memristors. | Taha Shahroodi, Gagandeep Singh, Mahdi Zahedi, Haiyu Mao, Jol Lindegger, Can Firtina, Stephan Wong, Onur Mutlu, Said Hamdioui |
| 2023 | NSDI | Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems. | Zikun Liu, Changming Xu, Emerson Sie, Gagandeep Singh, Deepak Vasisht |
| 2023 | SAS | Building Trust and Safety in Artificial Intelligence with Abstract Interpretation. | Gagandeep Singh |
| 2022 | AAAI | Language Modelling via Learning to Rank. | Arvid Frydenlund, Gagandeep Singh, Frank Rudzicz |
| 2022 | CAV | Shared Certificates for Neural Network Verification. | Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev |
| 2022 | ECCV | Learning Topological Interactions for Multi-Class Medical Image Segmentation. | Saumya Gupta, Xiaoling Hu, James Kaan, Michael Jin, Mutshipay Mpoy, Katherine Chung, Gagandeep Singh, Mary M. Saltz, Tahsin M. Kur, Joel H. Saltz, Apostolos Tassiopoulos, Prateek Prasanna, Chao Chen |
| 2022 | EMNLP | MedicalSum: A Guided Clinical Abstractive Summarization Model for Generating Medical Reports from Patient-Doctor Conversations. | George Michalopoulos, Kyle Williams, Gagandeep Singh, Thomas Lin |
| 2022 | ICCD | LEAPER: Fast and Accurate FPGA-based System Performance Prediction via Transfer Learning. | Gagandeep Singh, Dionysios Diamantopoulos, Juan Gmez-Luna, Sander Stuijk, Henk Corporaal, Onur Mutlu |
| 2022 | ICLR | Provably Robust Adversarial Examples. | Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin T. Vechev |
| 2022 | ISCA | Sibyl: adaptive and extensible data placement in hybrid storage systems using online reinforcement learning. | Gagandeep Singh, Rakesh Nadig, Jisung Park, Rahul Bera, Nastaran Hajinazar, David Novo, Juan Gmez-Luna, Sander Stuijk, Henk Corporaal, Onur Mutlu |
| 2022 | ISCA | SeGraM: a universal hardware accelerator for genomic sequence-to-graph and sequence-to-sequence mapping. | Damla Senol Cali, Konstantinos Kanellopoulos, Jol Lindegger, Zlal Bingl, Gurpreet S. Kalsi, Ziyi Zuo, Can Firtina, Meryem Banu Cavlak, Jeremie S. Kim, Nika Mansouri-Ghiasi, Gagandeep Singh, Juan Gmez-Luna, Nour Almadhoun Alserr, Mohammed Alser, Sreenivas Subramoney, Can Alkan, Saugata Ghose, Onur Mutlu |
| 2021 | CAV | Scalable Polyhedral Verification of Recurrent Neural Networks. | Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Marian Dan, Martin T. Vechev |
| 2021 | FPGA | Modeling FPGA-Based Systems via Few-Shot Learning. | Gagandeep Singh, Dionysios Diamantopoulos, Juan Gmez-Luna, Sander Stuijk, Onur Mutlu, Henk Corporaal |
| 2021 | ICCV | Robustness Certification for Point Cloud Models. | Tobias Lorenz, Anian Ruoss, Mislav Balunovic, Gagandeep Singh, Martin T. Vechev |
| 2021 | IECON | Automatic Classification of Lithofacies with Highly Imbalanced Dataset Using Multistage SVM Classifier. | Deepan Datta, Gagandeep Singh, Aurobinda Routray, William K. Mohanty, Rahul Mahadik |
| 2021 | IECON | Application of Walsh Filter in Geophysical Well-Log Data Interpretation for Automated Lithological Bed Boundary Detection. | Gagandeep Singh, Deepan Datta, William K. Mohanty, Aurobinda Routray, Rahul Mahadik |
| 2021 | MICCAI | Attention-Based Multi-scale Gated Recurrent Encoder with Novel Correlation Loss for COVID-19 Progression Prediction. | Aishik Konwer, Joseph Bae, Gagandeep Singh, Rishabh Gattu, Syed Ali, Jeremy Green, Tej Phatak, Prateek Prasanna |
| 2021 | MICCAI | Attention Based CNN-LSTM Network for Pulmonary Embolism Prediction on Chest Computed Tomography Pulmonary Angiograms. | Sudhir Suman, Gagandeep Singh, Nicole Sakla, Rishabh Gattu, Jeremy Green, Tej Phatak, Dimitris Samaras, Prateek Prasanna |
| 2021 | MICCAI | Chest Radiograph Disentanglement for COVID-19 Outcome Prediction. | Lei Zhou, Joseph Bae, Huidong Liu, Gagandeep Singh, Jeremy Green, Dimitris Samaras, Prateek Prasanna |
| 2021 | MOBICOM | FIRE: enabling reciprocity for FDD MIMO systems. | Zikun Liu, Gagandeep Singh, Chenren Xu, Deepak Vasisht |
| 2020 | DATE | TDO-CIM: Transparent Detection and Offloading for Computation In-memory. | Kanishkan Vadivel, Lorenzo Chelini, Ali BanaGozar, Gagandeep Singh, Stefano Corda, Roel Jordans, Henk Corporaal |
| 2020 | FPL | Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack. | Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner |
| 2020 | FPL | NERO: A Near High-Bandwidth Memory Stencil Accelerator for Weather Prediction Modeling. | Gagandeep Singh, Dionysios Diamantopoulos, Christoph Hagleitner, Juan Gmez-Luna, Sander Stuijk, Onur Mutlu, Henk Corporaal |
| 2020 | ICML | Adversarial Attacks on Probabilistic Autoregressive Forecasting Models. | Raphal Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin T. Vechev |
| 2020 | IGARSS | Seismic Fault Analysis Using Curvature Attribute and Visual Saliency. | Gagandeep Singh, Rahul Mahadik, William K. Mohanty, Aurobinda Routray |
| 2020 | PLDI | Learning fast and precise numerical analysis. | Jingxuan He, Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2019 | DAC | NAPEL: Near-Memory Computing Application Performance Prediction via Ensemble Learning. | Gagandeep Singh, Juan Gmez-Luna, Giovanni Mariani, Geraldo F. Oliveira, Stefano Corda, Sander Stuijk, Onur Mutlu, Henk Corporaal |
| 2019 | DATE | Coherently Attached Programmable Near-Memory Acceleration Platform and its application to Stencil Processing. | Jan van Lunteren, Ronald P. Luijten, Dionysios Diamantopoulos, Florian Auernhammer, Christoph Hagleitner, Lorenzo Chelini, Stefano Corda, Gagandeep Singh |
| 2019 | DSD | Platform Independent Software Analysis for Near Memory Computing. | Stefano Corda, Gagandeep Singh, Ahsan Javed Awan, Roel Jordans, Henk Corporaal |
| 2019 | FPL | NARMADA: Near-Memory Horizontal Diffusion Accelerator for Scalable Stencil Computations. | Gagandeep Singh, Dionysios Diamantopoulos, Christoph Hagleitner, Sander Stuijk, Henk Corporaal |
| 2019 | ICLR | Boosting Robustness Certification of Neural Networks. | Gagandeep Singh, Timon Gehr, Markus Pschel, Martin T. Vechev |
| 2019 | SCOPES | Memory and Parallelism Analysis Using a Platform-Independent Approach. | Stefano Corda, Gagandeep Singh, Ahsan Javed Awan, Roel Jordans, Henk Corporaal |
| 2018 | CAV | Fast Numerical Program Analysis with Reinforcement Learning. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2018 | DASFAA | Collusion-Resistant Processing of SQL Range Predicates. | Manish Kesarwani, Akshar Kaul, Gagandeep Singh, Prasad M. Deshpande, Jayant R. Haritsa |
| 2018 | DSD | A Review of Near-Memory Computing Architectures: Opportunities and Challenges. | Gagandeep Singh, Lorenzo Chelini, Stefano Corda, Ahsan Javed Awan, Sander Stuijk, Roel Jordans, Henk Corporaal, Albert-Jan Boonstra |
| 2018 | EDBT | Efficient Secure k-Nearest Neighbours over Encrypted Data. | Manish Kesarwani, Akshar Kaul, Prasad Naldurg, Sikhar Patranabis, Gagandeep Singh, Sameep Mehta, Debdeep Mukhopadhyay |
| 2018 | QRS | An Analysis of Android Malware Behavior. | Fehmi Jaafar, Gagandeep Singh, Pavol Zavarsky |
| 2017 | MICCAI | Radiographic-Deformation and Textural Heterogeneity (r-DepTH): An Integrated Descriptor for Brain Tumor Prognosis. | Prateek Prasanna, Jhimli Mitra, Niha G. Beig, Sasan Partovi, Gagandeep Singh, Marco Pinho, Anant Madabhushi, Pallavi Tiwari |
| 2017 | POPL | Fast polyhedra abstract domain. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2015 | PLDI | Making numerical program analysis fast. | Gagandeep Singh, Markus Pschel, Martin T. Vechev |
| 2008 | DAC | Construction of concrete verification models from C++. | Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh |