Alexey

Logics and Analyses for Concurrent Heap-Manipulating Programs (Distinguished Dissertation)

By Gotsman, Alexey

Shadow Prowler (THE CHRONICLES OF SIALA)

By Pehov, Alexey