SPLASH 2012 (series) / ACM Student Research Competition /
Benchmarking Typestate-Oriented Programming Languages
The performance of typestate-oriented programming languages remains unevaluated as existing benchmarks do not evaluate the performance of the languages. We address this by developing a new benchmark suite specifically designed to evaluate typestate-oriented functionality. These benchmarks model projected applications, providing overhead and memory loads similar to actual applications.