Nova the allocator that is used is very basic and based on the OAK allocator. basic fucntionality is in Facade.java class. synchrobench benchmarks is under benchmarks/synchro.