Skip to content

Supratik Mukhopadhyay

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

61

Venues

41

Active years

2001–2026

Best venue rank

A*

Where they publish

Papers

61 indexed papers, newest first.

YearVenueTitleAuthors
2026COMSNETSFast Domain Adaption and Model Compression for IoT devices using Meta-Learning and Federated Knowledge Distillation.Nelson Sharma, Nirmit Chaurasia, Lavanya Bhadani, Rajiv Misra, Supratik Mukhopadhyay
2026FlAIRSFragment-Based AI for Antibiotic Discovery.Chris Alvin, Adam Bess, Supratik Mukhopadhyay
2025FlAIRSArtificial Intelligence for Drug Discovery and Environmental Sciences.Supratik Mukhopadhyay, Chris Alvin, Adam Bess
2025ICANNXOOD: A Self-supervised Algorithm for Detecting Out-of-Distribution Data for Image Classification.Frej Berglind, Magesh Rajasekaran, Md Saiful Islam Sajol, Haron Temam, Supratik Mukhopadhyay, Kamalika Das, Kumar Sricharan, Kumar Kallurupalli
2024ICMLPosition: Near to Mid-term Risks and Opportunities of Open-Source Generative AI.Francisco Eiras, Aleksandar Petrov, Bertie Vidgen, Christian Schrder de Witt, Fabio Pizzati, Katherine Elkins, Supratik Mukhopadhyay, Adel Bibi, Botos Csaba, Fabro Steibel, Fazl Barez, Genevieve Smith, Gianluca Guadagni, Jon Chun, Jordi Cabot, Joseph Marvin Imperial, Juan A. Nolazco-Flores, Lori Landay, Matthew Thomas Jackson, Paul Rttger, Philip H. S. Torr, Trevor Darrell, Yong Suk Lee, Jakob N. Foerster
2024SDMCOMBOOD: A Semiparametric Approach for Detecting Out-of-distribution Data for Image Classification.Magesh Rajasekaran, Md Saiful Islam Sajol, Frej Berglind, Supratik Mukhopadhyay, Kamalika Das
2022COMSNETSDeepDrug: Applying AI for the Advancement of Drug Discovery.Supratik Mukhopadhyay, Michal Brylinski, Adam Bess, Frej Berglind, Chris Galliano, Patrick F. McGrew
2021DICTASimilarityGAN: Using Similarity to Loosen Structural Constraints in Generative Adversarial Models.Edward Collier, Supratik Mukhopadhyay
2020COMSNETSContext-Aware Design of Cyber-Physical Human Systems (CPHS).Supratik Mukhopadhyay, Subhajit Sidhanta, Arnab Ganguly, Qun Liu, Edward Collier, Yimin Zhu, Ravindra Gudishala, Chanachok Chokwitthaya, Robert DiBiano, Alimire Nabijiang, Sanaz Saeidi
2020ICONIPUsing Applicability to Quantifying Octave Resonance in Deep Neural Networks.Edward Collier, Robert DiBiano, Supratik Mukhopadhyay
2020ICPRGAP: Quantifying the Generative Adversarial Set and Class Feature Applicability of Deep Neural Networks.Edward Collier, Supratik Mukhopadhyay
2020RVEmpirical Abstraction.Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
2019CogSciWhy do you take that route?Alimire Nabijiang, Supratik Mukhopadhyay, Sanaz Saeidi, Yimin Zhu, Ravindra Gudishala, Qun Liu
2019ICDCNConsistify: preserving correctness and SLA under weak consistency.Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab
2019IJCNNImproving Prediction Accuracy in Building Performance Models Using Generative Adversarial Networks (GANs).Chanachok Chokwitthaya, Edward Collier, Yimin Zhu, Supratik Mukhopadhyay
2019IJCNNImproving Route Choice Models by Incorporating Contextual Factors via Knowledge Distillation.Qun Liu, Supratik Mukhopadhyay, Yimin Zhu, Ravindra Gudishala, Sanaz Saeidi, Alimire Nabijiang
2019SERVICESDyn-YCSB: Benchmarking Adaptive Frameworks.Subhajit Sidhanta, Supratik Mukhopadhyay, Wojciech M. Golab
2018ICDCNThe Complete Visibility Problem for Fat Robots with Lights.Gokarna Sharma, Rusul Alsaedi, Costas Busch, Supratik Mukhopadhyay
2018ICDMProgressively Growing Generative Adversarial Networks for High Resolution Semantic Segmentation of Satellite Images.Edward Collier, Kate Duffy, Sangram Ganguly, Geri Madanguit, Subodh Kalia, Shreekant Gayaka, Ramakrishna R. Nemani, Andrew R. Michaelis, Shuang Li, Auroop R. Ganguly, Supratik Mukhopadhyay
2018ICFHRPixel-Level Reconstruction and Classification for Noisy Handwritten Bangla Characters.Manohar Karki, Qun Liu, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2018IJCNNCactusNets: Layer Applicability as a Metric for Transfer Learning.Edward Collier, Robert DiBiano, Supratik Mukhopadhyay
2018IJCNNUnsupervised Learning using Pretrained CNN and Associative Memory Bank.Qun Liu, Supratik Mukhopadhyay
2018ICRAHow to Make Fat Autonomous Robots See all Others Fast?Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2017AIEDSynthesis of Problems for Shaded Area Geometry Reasoning.Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017FASEStaticGen: Static Generation of UML Sequence Diagrams.Chris Alvin, Brian Peterson, Supratik Mukhopadhyay
2017FlAIRSSynthesis of Solutions for Shaded Area Geometry Problems.Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2017ICANNCore Sampling Framework for Pixel Classification.Manohar Karki, Robert DiBiano, Saikat Basu, Supratik Mukhopadhyay
2017SPAABrief Announcement: Complete Visibility for Oblivious Robots in Linear Time.Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2016BigDataInfra: SLO Aware Elastic Auto-scaling in the Cloud for Cost Reduction.Subhajit Sidhanta, Supratik Mukhopadhyay
2016CCGRIDOptEx: A Deadline-Aware Cost Optimization Model for Spark.Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay
2016CCGRIDOptCon: An Adaptable SLA-Aware Consistency Tuning Framework for Quorum-Based Stores.Subhajit Sidhanta, Wojciech M. Golab, Supratik Mukhopadhyay, Saikat Basu
2016GLOBECOMNovel Fast User-Placement Ushering Algorithms for Indoor Femtocell Networks.Limeng Pu, Hsiao-Chun Wu, Chiapin Wang, Shih-Hau Fang, Supratik Mukhopadhyay, Costas Busch
2016IJCNNA theoretical analysis of Deep Neural Networks for texture classification.Saikat Basu, Manohar Karki, Supratik Mukhopadhyay, Sangram Ganguly, Ramakrishna R. Nemani, Robert DiBiano, Shreekant Gayaka
2015AlgosensorsMutual Visibility with an Optimal Number of Colors.Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay
2015COMPSACAn Agile Framework for Real-Time Motion Tracking.Saikat Basu, Robert DiBiano, Manohar Karki, Malcolm Stagg, Jerry Weltman, Supratik Mukhopadhyay, Sangram Ganguly
2015ESANNLearning Sparse Feature Representations using Probabilistic Quadtrees and Deep Belief Nets.Saikat Basu, Manohar Karki, Sangram Ganguly, Robert DiBiano, Supratik Mukhopadhyay, Ramakrishna R. Nemani
2015IROSTight analysis of a collisionless robot gathering algorithm.Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay, Charles Malveaux
2014AAAISynthesis of Geometry Proof Problems.Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay
2014CNSMStability of video rate control algorithms over bandwidth-limited network paths.Kaliappa Ravindran, Arun Adiththan, Supratik Mukhopadhyay
2014COMSNETSManaging shared contexts in distributed multi-player game systems.Kaliappa Ravindran, Supratik Mukhopadhyay, Subhajit Sidhanta, Ali Sabbir
2014GLOBECOMLDPC encoder identification in time-varying flat-fading channels.Tian Xia, Hsiao-Chun Wu, Supratik Mukhopadhyay
2013ATVAControl Flow Refinement and Symbolic Computation of Average Case Bound.Hong Yi Chen, Supratik Mukhopadhyay, Zheng Lu
2013COMPSACTowards Formal Verification of a Commercial Wireless Router Firmware.Zheng Lu, Christopher Steinmuller, Supratik Mukhopadhyay
2013COMSNETSAn ad-hoc distributed execution environment for multi-agent systems.Subhajit Sidhanta, Supratik Mukhopadhyay
2012CogSIMAA complex-event-processing framework for smart-grid management.Srivathsan Srinivasagopalan, Supratik Mukhopadhyay, Ramesh Bharadwaj
2012COMPSACModel-Based Static Source Code Analysis of Java Programs with Applications to Android Security.Zheng Lu, Supratik Mukhopadhyay
2012ISoLAModel-Based Static Code Analysis for MATLAB Models.Zheng Lu, Supratik Mukhopadhyay
2012SASTermination Proofs for Linear Simple Loops.Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay
2011COMPSACCode-Change Impact Analysis Using Counterfactuals.Manuel Peralta, Supratik Mukhopadhyay
2011COMSNETS'Control plane' properties for signaling in loss-feedback based video rate adaptation over shared multicast paths.Mohammad Rabby, Kaliappa Ravindran, Supratik Mukhopadhyay, Ramesh Bharadwaj, Gaurav Mangukiya
2011SINCounterfactually reasoning about security.Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj
2010COMPSACApproximation of CFL by Regular Languages for Concurrent Program Verification.Sukhamay Kundu, Supratik Mukhopadhyay
2008COMPSACA Formal Approach to Developing Reliable Event-Driven Service-Oriented Systems.Ramesh Bharadwaj, Supratik Mukhopadhyay
2005ISORCAdaptable Situation-Aware Secure Service-Based (ASStephen S. Yau, Hasan Davulcu, Supratik Mukhopadhyay, Dazhi Huang, Yisheng Yao
2004DSNDoes Your Result Checker Really Check?Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
2004RERETNA: From Requirements to Testing in a Natural Way.Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
2002ICLPConstraint-Based Infinite Model Checking and Tabulation for Stratified CLP.Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
2002VMCAICompositional Termination Analysis of Symbolic Forward Analysis.Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
2001FOSSACSThe Complexity of Model Checking Mobile Ambients.Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
2001PADLConstraint Database Models Characterizing Timed Bisimilarity.Supratik Mukhopadhyay, Andreas Podelski
2001SOFSEMModel Checking Communication Protocols.Pablo Argn, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski