Adaptive Register Allocation with a Linear Number of Registers
- Carole Delporte-Gallet ,
- Hugues Fauconnier ,
- Eli Gafni ,
- Leslie Lamport
Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013) |
I had little to do with the algorithms in this paper. I was mainly responsible for writing them in PlusCal and getting a TLA+ proof written.