Asankhaya Sharma
News
- [Talk] Getting off the Scan-and-Fix Hamster Wheel with Generative AI, May 2024
- [Talk] Agentic AI Workflows for DevOps, Apr 2024
- [Talk] AutoFix: Automated Vulnerability Remediation Using Static Analysis and LLMs, Apr 2024
- [Talk] Taming open code LLMs for SQL generation and bug fixing , Oct 2023
- [Talk] Using LLMs and Generative AI to Fix Software Vulnerabilities, Oct 2023
- [Panel] Embracing Generative AI: Opportunities and Challenges, Aug 2023
- [Talk] Improving worker safety with computer vision and AI, Aug 2023
- [Panel] The Evolution of AI and AI Regulations: Balancing Innovation and Protection, Aug 2023
- [Panel] Bridging Disciplines, Unlocking Possibilities, May 2023
- [Talk] Open Source LLMs For The Win, Apr 2023
- [Panel] AI for Good, or AI for Bad?, Mar 2023
- [Panel] There is No TGIF for Open-source Security, Sep 2022
- [Talk] Machine Learning for Software Security, Oct 2021
- [Talk] Effective Vulnerability Discovery with Machine Learning, Dec 2020
- [Talk] Test Lean and Ship Healthy, May 2020
- [Talk] Performance Management for Software Engineers, May 2020
- [Talk] Insights on Leadership, Dec 2019
- [Talk] 9 types of people you find on your team, Dec 2018
- [Talk] Design and Implementation of Security Graph Language (SGL), Oct 2018
- [Talk] Using Machine Learning to Identify Security Issues in Open-Source Libraries, Aug 2018
- [Talk] Securing Open Source Code in Enterprise, Mar 2018
- [Article] Reason with OCaml, Feb 2018
- [Article] Build a Portfolio of Cryptocurrencies using Modern Portfolio Theory, Dec 2017
- [Talk] Connecting the dots: Machine Learning for Vulnerability Discovery, Feb 2017
- [Talk] Ransomware in Web Apps, Dec 2016
- [Talk] Secure Software Development, Mar 2016
- [Talk] Developer-focused Software Security, Feb 2016
- [Paper] Specifying Compatible Sharing in Data Structures, ICFEM 2015
- [Paper] Certified Reasoning with Infinity, FM 2015
- [Award] ACM SIGSOFT Top 10 Downloaded Articles, Jan 2015
- [Talk] Visualizing Symbolic Execution with Bokeh, Jan 2015
- [Course] Software Engineering Project I/II, Fall 2014
- [Award] Bronze Medal at ACM Student Research Competition, ICSE 2014
- [Article] 6 Benefits of Programming with Immutable Objects in Java, 2014
- [Article] How do developers choose their IDE?, 2014
- [Grant] Virtual Appliance for Software Verification Research, Microsoft Research 2014
- [Paper] Verified Subtyping with Traits and Mixins, FSFMA 2014
- [Course] Automated Verification with HIP and SLEEK, 2014
- [Article] How to choose the right Technology Stack for your Startup, 2014
- [Talk] HIP/SLEEK : An Automated Verification and Specification Inference System, DSO National Laboratories, 28 March, 2014
- [Paper] Exploiting Undefined Behaviors for Efficient Symbolic Execution, ICSE (ACM-SRC) 2014
- [Event] 3 Day Startup Singapore, 11 to 13 April, 2014
- [Course] Programming Language Implementation, Spring 2014
- [Poem] Life in Death, 2013
- [Paper] HIPimm: Verifying Granular Immutability Guarantees, PEPM 2014
- [Paper] A Refinement Calculus for Promela, ICECCS 2013
- [Course] Programming Language Concepts, Fall 2013
- [Article] Air Pollution in New Delhi, 2013
- [Paper] Towards Complete Specifications with an Error Calculus, NFM 2013
- [Poem] Sometimes I wrestle with my demons Sometimes we just snuggle, 2013
Bio
I am currently the CTO of Patched. We use generative AI and LLMs to create and validate private, secure and multi-file fixes that rival expert developers. Before that, I was part of the venture builder cohort of SDTA 23, where I successfully incubated and launched Securade.ai with the mission to make the world safer, 1 step at a time.
From Jan 2019 to Oct 2022, as the site leader for Veracode operations in Singapore, I managed multiple teams across engineering, research, services and sales. Before that, I led the Veracode engineering teams for CA Technologies in Singapore. CA Technologies was acquired by Broadcom and Veracode was spun-off as an independent company. Prior to that, I was the Head of R&D at a VC funded startup - SourceClear. SourceClear was acquired by CA Technologies in Apr 2018.
I did my graduate studies as a PhD student affiliated with the Programming Languages and Systems Lab at the School of Computing, NUS. I was supported by NUS Research Scholarship and my advisor was Prof. Chin Wei Ngan. My doctoral thesis was on Certified Reasoning for Automated Verification. At NUS, I co-founded Okyasoft and PyData Singapore.
Prior to starting my graduate studies I worked at Microsoft. I was involved in the development of SQL Server 2008 and Visual Studio 2010. I was part of the MSIT Accelerated Professional Experiences program (APEX).
I did my undergraduate studies at National Institute of Technology Warangal, India. For my undergraduate studies, I was a recipient of NIT Warangal Merit Scholarship. At NIT Warangal, I co-founded O(n) Software Labs and Warangal Open Solaris User Group. I graduated high school from KV Shahibaug, Ahmedabad, India. During high school, I was awarded the Arun Lal Endowment Fund Scholarship by Physical Research Laboratory, India.
Pingbacks
- Interview with Digital Guardian
- Interview with IT Security Central
- Interview with Tuple Technologies
- Exploiting Undefined Behaviors for Efficient Symbolic Execution [Reddit - r/ReverseEngineering] [Twitter - @aszy] [ACM] [NUS] [ACM SIGSOFT Software Engineering Notes]
- Science Virtual Machines for Research [Microsoft Research] [Microsoft Azure for Research Blog]
- Cardiac Pacemaker Model [Promela Database - Alberto Lluch]
- An Empirical Study of Path Feasibility Queries [Reddit - r/ReverseEngineering]
- Building Extensible Parsers With Camlp4 [Reddit - r/ocaml]
- PRISM: Platform for Remote Sensing using Smartphones [Blog - Andy's Notebook]