@article{2609,
  author = {Jack Wadden and Tommy Tracy and Elaheh Sadredini and Lingxi Wu and Chunkun Bo and Jesse Du and Yizhou Wei and Jeffrey Udall and Marianne Wallace and Mircea R. Stan and Kevin Skadron},
  title = {AutomataZoo: A Modern Automata Processing Benchmark Suite},
  year = {2018},
  journal = {Unknown Journal},
  url = {https://doi.org/10.1109/iiswc.2018.8573482}
}

{"_id":"Pp7CpjbcJRX6ttEHx","bibbaseid":"wadden-tracy-sadredini-wu-bo-du-wei-udall-etal-automatazooamodernautomataprocessingbenchmarksuite-2018","author_short":["Wadden, J.","Tracy, T.","Sadredini, E.","Wu, L.","Bo, C.","Du, J.","Wei, Y.","Udall, J.","Wallace, M.","Stan, M. R.","Skadron, K."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Jack"],"propositions":[],"lastnames":["Wadden"],"suffixes":[]},{"firstnames":["Tommy"],"propositions":[],"lastnames":["Tracy"],"suffixes":[]},{"firstnames":["Elaheh"],"propositions":[],"lastnames":["Sadredini"],"suffixes":[]},{"firstnames":["Lingxi"],"propositions":[],"lastnames":["Wu"],"suffixes":[]},{"firstnames":["Chunkun"],"propositions":[],"lastnames":["Bo"],"suffixes":[]},{"firstnames":["Jesse"],"propositions":[],"lastnames":["Du"],"suffixes":[]},{"firstnames":["Yizhou"],"propositions":[],"lastnames":["Wei"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Udall"],"suffixes":[]},{"firstnames":["Marianne"],"propositions":[],"lastnames":["Wallace"],"suffixes":[]},{"firstnames":["Mircea","R."],"propositions":[],"lastnames":["Stan"],"suffixes":[]},{"firstnames":["Kevin"],"propositions":[],"lastnames":["Skadron"],"suffixes":[]}],"title":"AutomataZoo: A Modern Automata Processing Benchmark Suite","year":"2018","journal":"Unknown Journal","url":"https://doi.org/10.1109/iiswc.2018.8573482","bibtex":"@article{2609,\n author = {Jack Wadden and Tommy Tracy and Elaheh Sadredini and Lingxi Wu and Chunkun Bo and Jesse Du and Yizhou Wei and Jeffrey Udall and Marianne Wallace and Mircea R. Stan and Kevin Skadron},\n title = {AutomataZoo: A Modern Automata Processing Benchmark Suite},\n year = {2018},\n journal = {Unknown Journal},\n url = {https://doi.org/10.1109/iiswc.2018.8573482}\n}\n\n","author_short":["Wadden, J.","Tracy, T.","Sadredini, E.","Wu, L.","Bo, C.","Du, J.","Wei, Y.","Udall, J.","Wallace, M.","Stan, M. R.","Skadron, K."],"key":"2609","id":"2609","bibbaseid":"wadden-tracy-sadredini-wu-bo-du-wei-udall-etal-automatazooamodernautomataprocessingbenchmarksuite-2018","role":"author","urls":{"Paper":"https://doi.org/10.1109/iiswc.2018.8573482"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://bibbase.org/f/fFERMKNwKyHLsDPJ3/Link_Lab_Publications.bib","dataSources":["GXL8BuKffZ6XGRvhu","zTwdZBrCqogZ6yMmD","A9Zuq8B85Rd3bHeNs","zq8E4CA9zBjkA2p7P","b7zvHnuSqhTvwNoon","BE493TFz6wWiE9NkC","6CYcgzsh5rhZhtcXe","DesgNCELw9F4LSokr","WCSuxR2upo4FXxxRm","JSGNr3KwokFPgXiz5","RbCkvcfqfbgtxTyNT","mwAui9iKniQyhTc49"],"keywords":[],"search_terms":["automatazoo","modern","automata","processing","benchmark","suite","wadden","tracy","sadredini","wu","bo","du","wei","udall","wallace","stan","skadron"],"title":"AutomataZoo: A Modern Automata Processing Benchmark Suite","year":2018}