Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Asankhaya Sharma
@article{DBLP:journals/corr/abs-2310-16390,
author = {Ting Zhang and
Ivana Clairine Irsan and
Ferdian Thung and
David Lo and
Asankhaya Sharma and
Lingxiao Jiang},
title = {Evaluating Pre-trained Language Models for Repairing {API} Misuses},
journal = {CoRR},
volume = {abs/2310.16390},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16390},
doi = {10.48550/ARXIV.2310.16390},
eprinttype = {arXiv},
eprint = {2310.16390},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HaryonoK0SSA022,
author = {Stefanus A. Haryono and
Hong Jin Kang and
Abhishek Sharma and
Asankhaya Sharma and
Andrew E. Santosa and
Ming Yi Ang and
David Lo},
editor = {Ayushi Rastogi and
Rosalia Tufano and
Gabriele Bavota and
Venera Arnaoudova and
Sonia Haiduc},
title = {Automated identification of libraries from vulnerability data: can
we do better?},
booktitle = {Proceedings of the 30th {IEEE/ACM} International Conference on Program
Comprehension, {ICPC} 2022, Virtual Event, May 16-17, 2022},
pages = {178--189},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3524610.3527893},
doi = {10.1145/3524610.3527893},
timestamp = {Wed, 26 Oct 2022 14:48:55 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/HaryonoK0SSA022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/Nguyen-TruongKL22,
author = {Giang Nguyen{-}Truong and
Hong Jin Kang and
David Lo and
Abhishek Sharma and
Andrew E. Santosa and
Asankhaya Sharma and
Ming Yi Ang},
title = {{HERMES:} Using Commit-Issue Linking to Detect Vulnerability-Fixing
Commits},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {51--62},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00018},
doi = {10.1109/SANER53432.2022.00018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/Nguyen-TruongKL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PranaSSFSSL21,
author = {Gede Artha Azriadi Prana and
Abhishek Sharma and
Lwin Khin Shar and
Darius Foo and
Andrew E. Santosa and
Asankhaya Sharma and
David Lo},
title = {Out of sight, out of mind? How vulnerable dependencies affect open-source
projects},
journal = {Empir. Softw. Eng.},
volume = {26},
number = {4},
pages = {59},
year = {2021},
url = {https://doi.org/10.1007/s10664-021-09959-3},
doi = {10.1007/S10664-021-09959-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/PranaSSFSSL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenSS020,
author = {Yang Chen and
Andrew E. Santosa and
Asankhaya Sharma and
David Lo},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Automated identification of libraries from vulnerability data},
booktitle = {{ICSE-SEIP} 2020: 42nd International Conference on Software Engineering,
Software Engineering in Practice, Seoul, South Korea, 27 June - 19
July, 2020},
pages = {90--99},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377813.3381360},
doi = {10.1145/3377813.3381360},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChenSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FooCSS20,
author = {Darius Foo and
Jonah Dela Cruz and
Subashree Sekar and
Asankhaya Sharma},
title = {Automating Continuous Planning in SAFe},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Workshops, Seoul, Republic of Korea, 27 June - 19 July, 2020},
pages = {504},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387940.3391536},
doi = {10.1145/3387940.3391536},
timestamp = {Fri, 16 Oct 2020 11:06:55 +0200},
biburl = {https://dblp.org/rec/conf/icse/FooCSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/ChenSASS020,
author = {Yang Chen and
Andrew E. Santosa and
Ming Yi Ang and
Abhishek Sharma and
Asankhaya Sharma and
David Lo},
editor = {Sunghun Kim and
Georgios Gousios and
Sarah Nadi and
Joseph Hejderup},
title = {A Machine Learning Approach for Vulnerability Curation},
booktitle = {{MSR} '20: 17th International Conference on Mining Software Repositories,
Seoul, Republic of Korea, 29-30 June, 2020},
pages = {32--42},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3379597.3387461},
doi = {10.1145/3379597.3387461},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/msr/ChenSASS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-00973,
author = {Darius Foo and
Jason Yeo and
Hao Xiao and
Asankhaya Sharma},
title = {The Dynamics of Software Composition Analysis},
journal = {CoRR},
volume = {abs/1909.00973},
year = {2019},
url = {http://arxiv.org/abs/1909.00973},
eprinttype = {arXiv},
eprint = {1909.00973},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-00973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09324,
author = {Asankhaya Sharma},
title = {Automated Verification of Integer Overflow},
journal = {CoRR},
volume = {abs/1909.09324},
year = {2019},
url = {http://arxiv.org/abs/1909.09324},
eprinttype = {arXiv},
eprint = {1909.09324},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/FooAYS18,
author = {Darius Foo and
Ming Yi Ang and
Jason Yeo and
Asankhaya Sharma},
title = {{SGL:} {A} Domain-Specific Language for Large-Scale Analysis of Open-Source
Code},
booktitle = {2018 {IEEE} Cybersecurity Development, SecDev 2018, Cambridge, MA,
USA, September 30 - October 2, 2018},
pages = {61--68},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SecDev.2018.00016},
doi = {10.1109/SECDEV.2018.00016},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secdev/FooAYS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FooCYAS18,
author = {Darius Foo and
Hendy Chua and
Jason Yeo and
Ming Yi Ang and
Asankhaya Sharma},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Efficient static checking of library updates},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {791--796},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3275535},
doi = {10.1145/3236024.3275535},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FooCYAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhouS17,
author = {Yaqin Zhou and
Asankhaya Sharma},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Automated identification of security issues from commit messages and
bug reports},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {914--919},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3117771},
doi = {10.1145/3106237.3117771},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhouS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SharmaWCHC15,
author = {Asankhaya Sharma and
Shengyi Wang and
Andreea Costea and
Aquinas Hobor and
Wei{-}Ngan Chin},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Certified Reasoning with Infinity},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {496--513},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_31},
doi = {10.1007/978-3-319-19249-9\_31},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/SharmaWCHC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SharmaHC15,
author = {Asankhaya Sharma and
Aquinas Hobor and
Wei{-}Ngan Chin},
editor = {Michael J. Butler and
Sylvain Conchon and
Fatiha Za{\"{\i}}di},
title = {Specifying Compatible Sharing in Data Structures},
booktitle = {Formal Methods and Software Engineering - 17th International Conference
on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November
3-5, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9407},
pages = {349--365},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25423-4\_23},
doi = {10.1007/978-3-319-25423-4\_23},
timestamp = {Sun, 02 Jun 2019 21:19:43 +0200},
biburl = {https://dblp.org/rec/conf/icfem/SharmaHC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Sharma14,
author = {Asankhaya Sharma},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Exploiting undefined behaviors for efficient symbolic execution},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
pages = {727--729},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2591062.2594450},
doi = {10.1145/2591062.2594450},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Sharma14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CosteaSD14,
author = {Andreea Costea and
Asankhaya Sharma and
Cristina David},
editor = {Wei{-}Ngan Chin and
Jurriaan Hage},
title = {HIPimm: verifying granular immutability guarantees},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
California, {USA}},
pages = {189--194},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2543728.2543743},
doi = {10.1145/2543728.2543743},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/CosteaSD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sharma14b,
author = {Asankhaya Sharma},
editor = {Shang{-}Wei Lin and
Laure Petrucci},
title = {Verified Subtyping with Traits and Mixins},
booktitle = {Proceedings 2nd French Singaporean Workshop on Formal Methods and
Applications, {FSFMA} 2014, Singapore, 13th May 2014},
series = {{EPTCS}},
volume = {156},
pages = {45--51},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.156.8},
doi = {10.4204/EPTCS.156.8},
timestamp = {Fri, 19 Jun 2020 11:35:38 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sharma14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Sharma13,
author = {Asankhaya Sharma},
title = {A Refinement Calculus for Promela},
booktitle = {2013 18th International Conference on Engineering of Complex Computer
Systems, Singapore, July 17-19, 2013},
pages = {75--84},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICECCS.2013.20},
doi = {10.1109/ICECCS.2013.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Sharma13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LeSCC13,
author = {Quang Loc Le and
Asankhaya Sharma and
Florin Craciun and
Wei{-}Ngan Chin},
editor = {Guillaume Brat and
Neha Rungta and
Arnaud Venet},
title = {Towards Complete Specifications with an Error Calculus},
booktitle = {{NASA} Formal Methods, 5th International Symposium, {NFM} 2013, Moffett
Field, CA, USA, May 14-16, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7871},
pages = {291--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38088-4\_20},
doi = {10.1007/978-3-642-38088-4\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LeSCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4796,
author = {Asankhaya Sharma},
title = {End to End Verification and Validation with {SPIN}},
journal = {CoRR},
volume = {abs/1302.4796},
year = {2013},
url = {http://arxiv.org/abs/1302.4796},
eprinttype = {arXiv},
eprint = {1302.4796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4798,
author = {Asankhaya Sharma},
title = {An Empirical Study of Path Feasibility Queries},
journal = {CoRR},
volume = {abs/1302.4798},
year = {2013},
url = {http://arxiv.org/abs/1302.4798},
eprinttype = {arXiv},
eprint = {1302.4798},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/DasMPRS10,
author = {Tathagata Das and
Prashanth Mohan and
Venkata N. Padmanabhan and
Ramachandran Ramjee and
Asankhaya Sharma},
editor = {Sujata Banerjee and
Srinivasan Keshav and
Alec Wolman},
title = {{PRISM:} platform for remote sensing using smartphones},
booktitle = {Proceedings of the 8th International Conference on Mobile Systems,
Applications, and Services (MobiSys 2010), San Francisco, California,
USA, June 15-18, 2010},
pages = {63--76},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1814433.1814442},
doi = {10.1145/1814433.1814442},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/DasMPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdim/Sharma06,
author = {Asankhaya Sharma},
title = {Ontology Matching Using Weighted Graphs},
booktitle = {First {IEEE} International Conference on Digital Information Management
(ICDIM), December 6-8, 2006, Christ College, Bangalore, India, Proceedings},
pages = {121--124},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICDIM.2007.369340},
doi = {10.1109/ICDIM.2007.369340},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icdim/Sharma06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swws/SharmaS06,
author = {Asankhaya Sharma and
Durvasula V. L. N. Somayajulu},
editor = {Hamid R. Arabnia},
title = {Ontology Matching and Schema Integration Using Node Ranking},
booktitle = {Proceedings of the 2006 International Conference on Semantic Web {\&}
Web Services, {SWWS} 2006, Las Vegas, Nevada, USA, June 26-29, 2006},
pages = {43--48},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Fri, 07 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swws/SharmaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
