Zain K. Aamer

According to our database, Zain K. Aamer authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for Bennet: Randomized Specification Testing for Heap-Manipulating Programs.

Zain K. Aamer, Benjamin C. Pierce

Dataset, August, 2025

Bennet: Randomized Specification Testing for Heap-Manipulating Programs.

Zain K. Aamer, Benjamin C. Pierce

Proc. ACM Program. Lang., 2025

2023

Exploring Restructuring and Aha! in the Context of Computer Programming.

Taylor Strickland Miller, Zain K. Aamer, Jennifer Wiley

Proceedings of the 45th Annual Meeting of the Cognitive Science Society, 2023