“It was a pleasure to work with Babita on AppScan's static analysis security scanning team. She was the pioneer for our Objective-C scanning project, assessing different front-end technologies and doing the initial integration of the clang/llvm front end into our product. Babita took on new challenges with enthusiasm, good design skills and attention to detail. She worked hard and delivered quality results quickly. She was also very flexible with work schedules in our globally-distributed team, which was very much appreciated.”
Sunnyvale, California, United States
Contact Info
422 followers
419 connections
About
Experience & Education
Licenses & Certifications
Volunteer Experience
-
Volunteer
IBM E.X.I.T.E (Exploring Interests in Information Technology and Engineering) Camp
- 5 years
Science and Technology
Exite Camps are a worldwide IBM initiative to encourage girls in years 8-10 to study and pursue careers in Science, Technology, Engineering and Math.
Publications
-
Approximating a Behavioral Pseudometric without Discount
Proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, volume 4423 of Lecture Notes in Computer Science
-
Detection of Runtime Errors in MISRA C Programs : A Deductive Approach
26th International Conference on Computer Safety, Reliability and Security (SAFECOMP) , Lecture Notes in Computer Science
-
Bounded Validity Checking of Interval Duration Logic
Tools and Algorithms for the Construction and Analysis of Systems, LNCS
-
Assertion Checking Environment (ACE) for Formal Verification of C Programs
Journal of Reliability Engineering and System Safety
Patents
-
Applying Machine Learning Techniques to Discover Security Impacts of Application Programming Interfaces
Issued US US20180144127A1
-
Scan time reduction in application code security scanning
Issued 10614218
-
Static analysis based on abstract program representations
Issued US US20160180096A1
-
Prioritizing Security Findings in a SAST Tool based on Historical Security Analysis
Issued US US 9544327
-
Static Analysis of Client-Server Applications Using Framework Independent Specifications
Issued US 20120102474
Honors & Awards
-
Manager's Choice Award - Dare to create original ideas
-
-
First Invention Plateau Award
-
-
Eminence and Excellence Award - Put the client first
-
-
Manager's Choice Award - Put the client first
-
-
Manager's Choice Award - Listen for Need, Envision the future
-
-
Manager's Choice Award - Put the client first
-
-
Best of IBM Ovation Award
-
-
Best Graduate Thesis
York University
Recommendations received
7 people have recommended Babita
Join now to viewOther similar profiles
-
Ashitha Ann Santhosh
Connect -
Jaisingh Solanki
Connect -
Moses A. Koledoye, PhD
Connect -
Sara Maharaj
Manager @ IBM | Information Security, IT Operations
Connect -
Asha Hirpara
Connect -
Shama Joshi
Senior Development Engineer at Microsoft Corporation
Connect -
Jagarati Yadav
Technical Head, Pinnacle Softwares
Connect -
Suman Agrawal
Technical Lead at NEC technologies
Connect -
Aaron Duke
Connect -
Mor Cohen
Connect
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore MoreOthers named Babita Sharma in United States
-
Babita Sharma
Revenue Enablement at PayPal
-
Babita Sharma
Advisor | Senior Business Analyst | CSM, CSPO, SAFe 5 Agilist
-
Babita S.
Sr. Java/J2EE Developer at Ford Motor Company
-
Babita Sharma
Communications Manager | Journalist | Writer | Editor | Designer | Marketer | Web Content Manager
24 others named Babita Sharma in United States are on LinkedIn
See others named Babita Sharma