Alan Weide

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 3

Top Topics

High Level Abstractions

Data Abstraction

Formal Specification

Concurrent Programs

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
An Array Abstraction to Amortize Reasoning About Parallel Client Code. SAI (1) (2021)
Alan Weide
Reasoning Challenges of Data Abstraction and Aliasing in Concurrent Programs. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Alan Weide, Paolo A. G. Sivilotti, Murali Sitaraman
Enabling Modular Verification with Abstract Interference Specifications for a Concurrent Queue. VSTTE (2016)