7 citations · 10 across the 4 of their papers we have counts for
7 papers
Defense-in-Depth Runtime Safety in Move
Victor Gao, Wolfgang Grieskamp, Vineeth Kashyap +5
Move is a smart-contract language used to execute transactions on the Aptos blockchain. Move programs execute in a sandboxed VM as typed bytecode. The VM statically verifies founda…
Combining Mechanical and Agentic Specification Inference for Move
Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap
In this paper, we describe early work on a specification inference tool for the Move Prover that combines a weakest-precondition (WP) analysis over Move bytecode with an agentic co…
Formal Verification of Imperative First-Class Functions in Move
Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap +1
The Move Prover (MVP) is a formal verifier for smart contracts written in the Move programming language. Recently, Move on Aptos was extended with higher-order functions: imperativ…
Out of Sight, Out of Place: Detecting and Assessing Swapped Arguments
Roger Scott, Joseph Ranieri, Lucja Kot +1
Programmers often add meaningful information about program semantics when naming program entities such as variables, functions, and macros. However, static analysis tools typically…
Automated Customized Bug-Benchmark Generation
Vineeth Kashyap, Jason Ruchti, Lucja Kot +6
We introduce Bug-Injector, a system that automatically creates benchmarks for customized evaluation of static analysis tools. We share a benchmark generated using Bug-Injector and…
Source Forager: A Search Engine for Similar Source Code
Vineeth Kashyap, David Bingham Brown, Ben Liblit +2
Developers spend a significant amount of time searching for code: e.g., to understand how to complete, correct, or adapt their own code for a new context. Unfortunately, the state…
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner +5
We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, intege…