Asankhaya Sharma

News

[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] 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

Asankhaya Sharma I lead the engineering and research teams working on the CA Veracode Software Composition Analysis (SCA) product. I was the Head of R&D at SourceClear and we were acquired by CA Technologies in April 2018. Before that, I was a PhD student affiliated with the Programming Languages and Systems Lab at 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]