Vaibhav Sharma

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 33

Top Topics

Reverse Engineer

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Publications

Vijay Gupta, Vaibhav Sharma
Durrmeyer variant of certain approximation operators. J. Appl. Math. Comput. 70 (4) (2024)
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. ESEC/SIGSOFT FSE (2023)
Anju Singh, Divakar Singh, Kamal Upreti, Vaibhav Sharma, Bhawani Singh Rathore, Jagdish Raikwal
Investigating New Patterns in Symptoms of COVID-19 Patients by Association Rule Mining (ARM). J. Mobile Multimedia 19 (1) (2023)
Vaibhav Sharma, Artur Yakimovich
Phenotype-preserving metric design for high-content image reconstruction by generative inpainting. CoRR (2023)
Vaibhav Sharma, Rong Pan, Giulia Pedrielli
A Physics-Informed Neural Network Modeling Approach to Direct Ink Writing 3D Printing Process. CASE (2023)
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. CoRR (2023)
Soha Hussein, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma, Michael W. Whalen
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) (2023)
Vaibhav Sharma, Praveen Saraswat, Rajeev Agrawal
A Conceptual Framework for Achieving Sustainability in Supply Chain Using Industry 4.0 Technologies in Emerging Economies. TDIT (3) (2022)
Muhammad Haris Rais, Muhammad Ahsan, Vaibhav Sharma, Radhika Barua, Rob Prins, Irfan Ahmed
Low-Magnitude Infill Structure Manipulation Attacks on Fused Filament Fabrication 3D Printers. Critical Infrastructure Protection (2022)
Vinay Kumar Singh, Vaibhav Sharma, Naween Kumar Jha, Anbesh Jamwal, Rajeev Agarwal
Multimodal Transportation and Net Zero Emission World: An Emerging Research Agenda. TDIT (2) (2022)
Rui Li, Vaibhav Sharma, Subasini Thangamani, Artur Yakimovich
Open-Source Biomedical Image Analysis Models: A Meta-Analysis and Continuous Survey. Frontiers Bioinform. 2 (2022)
Vaibhav Sharma, Jetti Yaswanth, Sandeep Kumar Singh, Sudip Biswas, Keshav Singh, Faheem Ahmad Khan
A Pricing-Based Approach for Energy-Efficiency Maximization in RIS-Aided Multi-User MIMO SWIPT-Enabled Wireless Networks. IEEE Access 10 (2022)
Alina Jade Barnett, Vaibhav Sharma, Neel Gajjar, Jerry Fang, Fides Regina Schwartz, Chaofan Chen, Joseph Y. Lo, Cynthia Rudin
Interpretable deep learning models for better clinician-AI communication in clinical mammography. Medical Imaging: Image Perception, Observer Performance, and Technology Assessment (2022)
Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, Mats P. E. Heimdahl
Counterexample-Guided Inductive Repair of Reactive Contracts. FormaliSE@ICSE (2022)
Dharma Shukla, Muthian Sivathanu, Srinidhi Viswanatha, Bhargav S. Gulavani, Rimma Nehme, Amey Agrawal, Chen Chen, Nipun Kwatra, Ramachandran Ramjee, Pankaj Sharma, Atul Katiyar, Vipul Modi, Vaibhav Sharma, Abhishek Singh, Shreshth Singhal, Kaustubh Welankar, Lu Xun, Ravi Anupindi, Karthik Elangovan, Hasibur Rahman, Zhou Lin, Rahul Seetharaman, Cheng Xu, Eddie Ailijiang, Suresh Krishnappa, Mark Russinovich
Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads. CoRR (2022)
Soha Hussein, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Counterexample Guided Inductive Repair of Reactive Contracts. ASE (2021)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code By Synthesizing Adapters. IEEE Trans. Software Eng. 47 (8) (2021)
Gaurav Sharma, Vaibhav Sharma, Kamal Raj Pardasani, Mohammed Alshehri
Soft Set Based Intelligent Assistive Model for Multiobjective and Multimodal Transportation Problem. IEEE Access 8 (2020)
Sarthak Pati, Vaibhav Sharma, Heena Aslam, Siddhesh P. Thakur, Hamed Akbari, Andreas Mang, Shashank Subramanian, George Biros, Christos Davatzikos, Spyridon Bakas
Estimating Glioblastoma Biophysical Growth Parameters Using Deep Learning Regression. BrainLes@MICCAI (1) (2020)
Chetna Dabas, Shikhar Jain, Ashish Bansal, Vaibhav Sharma
Implementation of image colorization with convolutional neural network. Int. J. Syst. Assur. Eng. Manag. 11 (3) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) (2020)
Vaibhav Sharma, Soha Hussein, Michael W. Whalen, Stephen McCamant, Willem Visser
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE (2020)
Sodiq Adewole, Erfaneh Gharavi, Benjamin Shpringer, Martin Bolger, Vaibhav Sharma, Sung Ming Yang, Donald E. Brown
Dialogue-based simulation for cultural awareness training. CoRR (2020)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. CoRR (2019)
Vaibhav Sharma
Automatically Repairing Binary Programs Using Adapter Synthesis. ASE (2019)
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren D. Cofer
Input Prioritization for Testing Neural Networks. AITest (2019)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters. ICST (2018)
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE (2018)
Vaibhav Sharma, Kesha Hietala, Stephen McCamant
Finding Semantically-Equivalent Binary Code By Synthesizing Adaptors. CoRR (2017)
Taejoon Byun, Vaibhav Sharma, Sanjai Rayadurgam, Stephen McCamant, Mats Per Erik Heimdahl
Toward Rigorous Object-Code Coverage Criteria. ISSRE (2017)
Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Vaibhav Sharma, Richard J. Enbody
User authentication and identification from user interface interactions on touch-enabled devices. WISEC (2017)
Vaibhav Sharma, Arvind Rajawat
Performance evaluation of circuit level approaches for radiation hardened primitive gates. ICACCI (2016)
Vaibhav Sharma, Kamal Kumar Gola
ASCCS: Architecture for Secure Communication Using Cloud Services. SocProS (2) (2015)
Irene Winkler, Mamta Mehra, Sarah Favrichon, Vaibhav Sharma, Nihar Jangle
Assessing the applicability of NDVI data for the design of index-based agricultural insurance in Bihar, India. IGARSS (2015)
Vaibhav Sharma, Jyoti Singh, A. S. Zadgaonkar
Testing and Implementation Process in Automation of a University. ICACNI (2013)
Satyanarayana Nanduri, N. Sarat Chandra Babu, Sandesh Jain, Vaibhav Sharma, Vikas Garg, A. P. Rajshekar, Vikas Rangi
Quality Analytics Framework for E-learning Application Environment. T4E (2012)
Vaibhav Sharma, M. M. Sufyan Beg
A probabilistic approach to apriori algorithm. Int. J. Granul. Comput. Rough Sets Intell. Syst. 2 (3) (2012)
Amioy Kumar, Madasu Hanmandlu, Vaibhav Sharma, H. M. Gupta
Rank Based Hybrid Multimodal Fusion Using PSO. SEMCCO (1) (2011)
Vaibhav Sharma, M. M. Sufyan Beg
A Probabilistic Approach to Apriori Algorithm. GrC (2010)
Suddhasil De, Mohd Sameeruddin, Vaibhav Sharma, Nilotpal Nandi, Himanshu Dutta
A New Termination Detection Protocol for Mobile Distributed Systems. ICIT (2007)