sponsored by the ACM Special Interest Group for Automata and Computing Theory [and] the ACM Special Interest Group for Operating Systems. sponsored by the ACM, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming languages. [sponsored by] Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD). sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages. sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages. sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN) sponsored by the ACM Special Interest Group for Automata and Computability Theory. sponsored by the ACM Special Interest Group for Autoamta and Computability Theory. Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD). sponsored by the Association for Computing Machinery Special Interest Group on Programming Language.