Title: A methodology for programming production systems and its implications on parallelism