Aaron Bies

According to our database¹, Aaron Bies authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024

2023

Matching Distributions Under Structural Constraints.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023