research
∙
08/21/2023
Static Application Security Testing of Consensus-Critical Code in the Cosmos Network
Blockchains require deterministic execution in order to reach consensus....
share
research
∙
08/11/2021
Natural Language-Guided Programming
In today's software world with its cornucopia of reusable software libra...
research
∙
08/27/2020
Neural Code Search Revisited: Enhancing Code Snippet Retrieval through Natural Language Intent
In this work, we propose and study annotated code search: the retrieval ...
research
∙
03/27/2019