This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Viktor Kuncak
A grouping.
Spatial conjunction and what it is equivalent to: two 2004 records state one result for two audiences, establishing that separation logic's spatial conjunction is not a fragment of second-order logic but equivalent to it -- so a foundations argument settles what a program logic is doing. The others are the application to full functional verification of linked data structures, and the solver side in quantified linear arithmetic. One copy is the arXiv deposit and MIT CSAIL technical report 942, not the proceedings version the record describes.
4 references
Solving quantified linear arithmetic by counterexample-guided instantiation
Andrew Reynolds and others (2017) · Formal Methods in System Design
Full functional verification of linked data structures
Karen Zee and others (2008) · ACM SIGPLAN Notices · Association for Computing Machinery
Generalized Records and Spatial Conjunction in Role Logic
Viktor Kuncak and others (2004) · Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings · Springer
On Spatial Conjunction as Second-Order Logic
Viktor Kuncak and others (2004) · arXiv