Ali Bajwa

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Publications

Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. CoRR (2023)
Ali Bajwa, Minjian Zhang, Rohit Chadha, Mahesh Viswanathan
Stack-Aware Hyperproperties. TACAS (1) (2023)