6 citations · 6 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 6 cited
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…
cs.PL2023
Latte: Lightweight Aliasing Tracking for Java
Conrad Zimmerman, Catarina Gamboa, Alcides Fonseca +1
Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimi…