Stack-Aware Hyperproperties.

Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan

Browse the full TACAS paper archive.