@inproceedings{delporte-gallet2013adaptive,
author = {Delporte-Gallet, Carole and Fauconnier, Hugues and Gafni, Eli and Lamport, Leslie},
title = {Adaptive Register Allocation with a Linear Number of Registers},
booktitle = {Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013)},
year = {2013},
month = {August},
abstract = {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.},
url = {http://approjects.co.za/?big=en-us/research/publication/adaptive-register-allocation-linear-number-registers/},
pages = {269-283},
edition = {Proceedings of the 27th International Symposium on Distributed Computing (DISC 2013)},
}