BlazeFrost

There is a paper about deriving the asymptotic complexity of an algorithm by measuring the empirical computational complexity: http://sfg.users.sonic.net/berkeley/trendprof-fse-2007.pdf Basically, Goldsmith et al suggest that, using different workloads, we could...

I'll try to implement it myself and plot both master and my implementation using different allocation counts to see how much they differ.

There are two ways we could profile the instruction count: - GC in syscall mode: The test is run on a GC-enabled mipster which itself runs on a mipster to...

Now that conqueror is on hiatus in favor for the model checker project, how do we proceed with that issue? Should I implement the asymptotic complexity approximation into Selfie or...