Asankhaya Sharma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICSE | Automated identification of libraries from vulnerability data. | Yang Chen, Andrew E. Santosa, Asankhaya Sharma, David Lo |
| 2020 | ICSE | Automating Continuous Planning in SAFe. | Darius Foo, Jonah Dela Cruz, Subashree Sekar, Asankhaya Sharma |
| 2020 | MSR | A Machine Learning Approach for Vulnerability Curation. | Yang Chen, Andrew E. Santosa, Ming Yi Ang, Abhishek Sharma, Asankhaya Sharma, David Lo |
| 2015 | FM | Certified Reasoning with Infinity. | Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin |
| 2015 | ICFEM | Specifying Compatible Sharing in Data Structures. | Asankhaya Sharma, Aquinas Hobor, Wei-Ngan Chin |
| 2014 | ICSE | Exploiting undefined behaviors for efficient symbolic execution. | Asankhaya Sharma |
| 2014 | PEPM | HIPimm: verifying granular immutability guarantees. | Andreea Costea, Asankhaya Sharma, Cristina David |
| 2013 | ICECCS | A Refinement Calculus for Promela. | Asankhaya Sharma |
| 2010 | Mobisys | PRISM: platform for remote sensing using smartphones. | Tathagata Das, Prashanth Mohan, Venkata N. Padmanabhan, Ramachandran Ramjee, Asankhaya Sharma |