Asankhaya Sharma
News
- 🎤 OpenEvolve: Harnessing LLMs for Evolutionary Algorithm Discovery, Apr 2025
- 👥 Future of Humans & AI, Apr 2025
- 🎤 Building an Open-Source AI Coding Agent, Feb 2025
- 🎤 Getting off the Scan-and-Fix Hamster Wheel with Generative AI, May 2024
- 🎤 Agentic AI Workflows for DevOps, Apr 2024
- 🎤 AutoFix: Automated Vulnerability Remediation Using Static Analysis and LLMs, Apr 2024
- 🎤 Taming open code LLMs for SQL generation and bug fixing , Oct 2023
- 🎤 Using LLMs and Generative AI to Fix Software Vulnerabilities, Oct 2023
- 👥 Embracing Generative AI: Opportunities and Challenges, Aug 2023
- 🎤 Improving worker safety with computer vision and AI, Aug 2023
- 👥 The Evolution of AI and AI Regulations: Balancing Innovation and Protection, Aug 2023
- 👥 Bridging Disciplines, Unlocking Possibilities, May 2023
- 🎤 Open Source LLMs For The Win, Apr 2023
- 👥 AI for Good, or AI for Bad?, Mar 2023
- 👥 There is No TGIF for Open-source Security, Sep 2022
- 🎤 Machine Learning for Software Security, Oct 2021
- 🎤 Effective Vulnerability Discovery with Machine Learning, Dec 2020
- 🎤 Test Lean and Ship Healthy, May 2020
- 🎤 Performance Management for Software Engineers, May 2020
- 🎤 Insights on Leadership, Dec 2019
- 🎤 9 types of people you find on your team, Dec 2018
- 🎤 Design and Implementation of Security Graph Language (SGL), Oct 2018
- 🎤 Using Machine Learning to Identify Security Issues in Open-Source Libraries, Aug 2018
- 🎤 Securing Open Source Code in Enterprise, Mar 2018
- 📝 Reason with OCaml, Feb 2018
- 📝 Build a Portfolio of Cryptocurrencies using Modern Portfolio Theory, Dec 2017
- 🎤 Connecting the dots: Machine Learning for Vulnerability Discovery, Feb 2017
- 🎤 Ransomware in Web Apps, Dec 2016
- 🎤 Secure Software Development, Mar 2016
- 🎤 Developer-focused Software Security, Feb 2016
- 📄 Specifying Compatible Sharing in Data Structures, ICFEM 2015
- 📄 Certified Reasoning with Infinity, FM 2015
- 🏆 ACM SIGSOFT Top 10 Downloaded Articles, Jan 2015
- 🎤 Visualizing Symbolic Execution with Bokeh, Jan 2015
- 🎓 Software Engineering Project I/II, Fall 2014
- 🏆 Bronze Medal at ACM Student Research Competition, ICSE 2014
- 📝 6 Benefits of Programming with Immutable Objects in Java, 2014
- 📝 How do developers choose their IDE?, 2014
- 💰 Virtual Appliance for Software Verification Research, Microsoft Research 2014
- 📄 Verified Subtyping with Traits and Mixins, FSFMA 2014
- 🎓 Automated Verification with HIP and SLEEK, 2014
- 📝 How to choose the right Technology Stack for your Startup, 2014
- 🎤 HIP/SLEEK : An Automated Verification and Specification Inference System, DSO National Laboratories, 28 March, 2014
- 📄 Exploiting Undefined Behaviors for Efficient Symbolic Execution, ICSE (ACM-SRC) 2014
- 🎆 3 Day Startup Singapore, 11 to 13 April, 2014
- 🎓 Programming Language Implementation, Spring 2014
- 📜 Life in Death, 2013
- 📄 HIPimm: Verifying Granular Immutability Guarantees, PEPM 2014
- 📄 A Refinement Calculus for Promela, ICECCS 2013
- 🎓 Programming Language Concepts, Fall 2013
- 📝 Air Pollution in New Delhi, 2013
- 📄 Towards Complete Specifications with an Error Calculus, NFM 2013
- 📜 Sometimes I wrestle with my demons Sometimes we just snuggle, 2013
Bio

Career Journey
I am currently the co-founder and CTO of Patched (YC S24). We use generative AI and LLMs to create and validate private, secure and multi-file fixes that rival expert developers through open-source workflow automation. 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.
I'm pioneering inference-time compute techniques through my work on OptiLLM and OpenEvolve, helping define a new category in AI infrastructure that dramatically improves LLM reasoning capabilities.
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 actively invest in and advise ambitious founders building high-growth companies through Okya Ventures, focusing on AI/ML, Deep Tech, Enterprise Software, and SaaS. I'm also an Adjunct Professor and author of "Test Lean & Ship Healthy: A Handbook on Delivering High Quality Software in the DevOps World".
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 Analytics India Magazine (AIM)
- 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]