Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (VSTTE, 2016)

Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs. - Alan Weide (ACM SIGSOFT Softw. Eng. Notes, 2018)

An Array Abstraction to Amortize Reasoning About Parallel Client Code. - Alan Weide; Paolo A. G. Sivilotti; Murali Sitaraman (SAI (1), 2021)