1. Achour, S., Rinard, M.: Energy efficient approximate computation with topaz. In: OOPSLA (2015)
2. Ahmad, M., Hijaz, F., Shi, Q., et al.: CRONO: a benchmark suite for multithreaded graph algorithms executing on futuristic multicores. In: IISWC (2015)
3. Albarghouthi, A., Vinitsky, S.: Fairness-aware programming. In: Proceedings of the Conference on Fairness, Accountability, and Transparency, FAT* ’19 (2019)
4. Bakst, A., Kv, G., Kici, R.G., et al.: Verifying distributed programs via canonical sequentialization. In: OOPSLA (2017)
5. Bastani, O., Zhang, X., Solar-Lezama, A.: Probabilistic verification of fairness properties via concentration. In: OOPSLA (2019)