2018 International Symposium on Programming and Systems (ISPS)