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.
