11 citations · 14 across the 6 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Automated Lemma Synthesis in Symbolic-Heap Separation Logic
Quang-Trung Ta, Ton Chanh Le, Siau-Cheng Khoo +1
The symbolic-heap fragment of separation logic has been actively developed and advocated for verifying the memory-safety property of computer programs. At present, one of its bigge…
cs.DB2017★ 11 cited
UStore: A Distributed Storage With Rich Semantics
Anh Dinh, Ji Wang, Sheng Wang +9
Today's storage systems expose abstractions which are either too low-level (e.g., key-value store, raw-block store) that they require developers to re-invent the wheels, or too hig…