Zobrazeno 1 - 10
of 80
pro vyhledávání: '"Shuvendu K. Lahiri"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 3, Issue 2 (2007)
We present a new approach for performing predicate abstraction based on symbolic decision procedures. Intuitively, a symbolic decision procedure for a theory takes a set of predicates in the theory and symbolically executes a decision procedure on al
Externí odkaz:
https://doaj.org/article/dae9c5906dcb42ef8bc8598388867d90
Autor:
Shuvendu K. Lahiri, Chao Wang
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.• The 43 full papers presented togeth
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper)
Publikováno v:
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d22149f45e4559aa53f235aac6bee56
https://doi.org/10.1145/3533767.3534396
https://doi.org/10.1145/3533767.3534396
Publikováno v:
IEEE Symposium on Security and Privacy
Smart contracts are programs that run on the blockchain and digitally enforce the execution of contracts between parties. Because bugs in smart contracts can have serious monetary consequences, ensuring the correctness of such software is of utmost i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76a958d965742ce3d8fb162c43157408
https://doi.org/10.1109/sp40001.2021.00085
https://doi.org/10.1109/sp40001.2021.00085
Publikováno v:
ICSE
Forking structure is widespread in the open-source repositories and that causes a significant number of merge conflicts. In this paper, we study the problem of textual merge conflicts from the perspective of Microsoft Edge, a large, highly collaborat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::85a7117c487b0d1377874ab5137ee602
As smart contracts gain adoption in financial transactions, it becomes increasingly important to ensure that they are free of bugs and security vulnerabilities. Of particular relevance in this context are arithmetic overflow bugs, as integers are oft
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e739644d4107937a58b574dc297d26b3
Autor:
Alexey Svyatkovskiy, Sarah Fakhoury, Negar Ghorbani, Todd Mytkowicz, Elizabeth Dinella, Christian Bird, Jinu Jang, Neel Sundaresan, Shuvendu K. Lahiri
Collaborative software development is an integral part of the modern software development life cycle, essential to the success of large-scale software projects. When multiple developers make concurrent changes around the same lines of code, a merge c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a99c46243c58fcf37fdee66295abe244
Publikováno v:
ASE
This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops used in over 20,000 Solidity contracts deployed on the Ethereum blockchain, with the goal of i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27a0d7daa8003f37380cfaa2b39c28f0
https://doi.org/10.1145/3324884.3416626
https://doi.org/10.1145/3324884.3416626
Publikováno v:
ICSE (Companion Volume)
Divergent forks are a common practice in open-source software development to perform long-term, independent and diverging development on top of a popular source repository. However, keeping such divergent downstream forks in sync with the upstream so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7cac8e8a9b93679bd583e6e275a084f
https://doi.org/10.1145/3377812.3390800
https://doi.org/10.1145/3377812.3390800
Publikováno v:
MSR
Dockerfiles are one of the most prevalent kinds of DevOps artifacts used in industry. Despite their prevalence, there is a lack of sophisticated semantics-aware static analysis of Dockerfiles. In this paper, we introduce a dataset of approximately 17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::659eb36c2d3e6221565d2f458321db10
http://arxiv.org/abs/2003.12912
http://arxiv.org/abs/2003.12912