6 citations · 10 across the 7 of their papers we have counts for
8 papers
Gradually Verifying Unfolding Expressions & Pure Functions
Hazel Torek, Long Tien Nguyen, Priyam Gupta +2
Unfolding expressions, which temporarily unfold a predicate to leverage its owned fields when evaluating a heap-dependent expression, and pure functions, which are heap-dependent f…
An Empirical Study of LLM-Generated Specifications for VeriFast
Wen Fan, Minh Tran, Sanya Dod +5
Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on…
Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
Conrad Zimmerman, Jenna DiVincenzo
Previously, gradual verification has been developed using overapproximating logics such as Hoare logic. We show that the static verification component of gradual verification is al…
Sound Gradual Verification with Symbolic Execution
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and pr…
Gradual Verification for Smart Contracts
Haojia Sun, Kunal Singh, Jan-Paul Ramos-Dávila +2
Blockchains facilitate secure resource transactions through smart contracts, yet these digital agreements are prone to vulnerabilities, particularly when interacting with external…
Gradual C0: Symbolic Execution for Gradual Verification
Jenna DiVincenzo, Ian McCormack, Hemant Gouni +7
Current static verification techniques support a wide range of programs. However, such techniques only support complete and detailed specifications, which places an undue burden on…
Gradual Program Analysis for Null Pointers
Sam Estep, Jenna Wise, Jonathan Aldrich +3
Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete ann…
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
Michael Coblenz, Gauri Kambhatla, Paulette Koronkevich +5
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have h…