Publications

2 results for Gal Amram

Black-Box Bug Amplification for Multithreaded Software
- - Yeshayahu Weiss
  - Gal Amram
  - et al.
- 2025
- Mathematics
Paper
Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
- - Gal Amram
  - Avi Hayoun
  - et al.
- 2022
- DISC 2022
Conference paper