{"_id":"X7L85ynWZ5AiBM7Pm","bibbaseid":"tan-morrisett-bidirectionalgrammarsformachinecodedecodingandencoding-2016","downloads":0,"creationDate":"2018-06-29T13:38:27.077Z","title":"Bidirectional Grammars for Machine-Code Decoding and Encoding","author_short":["Tan, G.","Morrisett, G."],"year":2016,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/gangtan/gtanbib/main/mypapers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gang"],"propositions":[],"lastnames":["Tan"],"suffixes":[]},{"firstnames":["Greg"],"propositions":[],"lastnames":["Morrisett"],"suffixes":[]}],"title":"Bidirectional Grammars for Machine-Code Decoding and Encoding","booktitle":"8th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)","pages":"73–89","year":"2016","url_paper":"http://www.cse.psu.edu/~gxt29/papers/bigrammar.pdf","keywords":"Formal Methods -> Parser Assurance","bibtex":"@inproceedings{TanM16Bidir,\n author = {Gang Tan and\n Greg Morrisett},\n title = {Bidirectional Grammars for Machine-Code Decoding and Encoding},\n booktitle = {8th International Conference on Verified Software: Theories, Tools, and Experiments {(VSTTE)}},\n pages = {73--89},\n year = {2016},\n url_Paper = {http://www.cse.psu.edu/~gxt29/papers/bigrammar.pdf},\n keywords = {Formal Methods -> Parser Assurance}\n}\n\n","author_short":["Tan, G.","Morrisett, G."],"key":"TanM16Bidir","id":"TanM16Bidir","bibbaseid":"tan-morrisett-bidirectionalgrammarsformachinecodedecodingandencoding-2016","role":"author","urls":{" paper":"http://www.cse.psu.edu/~gxt29/papers/bigrammar.pdf"},"keyword":["Formal Methods -> Parser Assurance"],"metadata":{"authorlinks":{"tan, g":"https://www.cse.psu.edu/~gxt29/sos/publications.html"}},"downloads":0},"search_terms":["bidirectional","grammars","machine","code","decoding","encoding","tan","morrisett"],"keywords":["formal methods -> parser assurance"],"authorIDs":["33eSbRtgxiNAjdg3s","4Az7LCRS2XhSmGnXw","4MejR4tGCvGnLXMxA","4xLZsneFDtX5svySj","5E83owuXBER4m8vwD","5b36365385043d1000000089","5df0f68945b054df01000180","5df1d1c61070c8ef010000c6","5df3f0c1ccbb4fde0100017a","5df3f2f1ccbb4fde010001a0","5df8c36ee6b510df0100012f","5dwnWHEDKkF3rcbbJ","5e1235fbc196d3de01000093","5e137471f16095df01000179","5e13839aa212e1de01000045","5e14c39ae55ed8de01000132","5e1b3899749a45df0100005f","5e1babd561cb16df0100007d","5e1ecdf152ab76df01000181","5e1f5b5be8f5ddde01000014","5e22026c024c69df01000082","5e257c7bf58a5cde01000175","5e27c6af328b80de010000f2","5e2e1396cc9e90e401000001","5e2fa9f6a21e47de0100009f","5e311319714ff7de0100003a","5e347cb0fae8b9de010000c8","5e37b381e84c4cf2010000cf","5e3b228dba2e16df01000181","5e3c6d9267788ede010000f3","5e3e8b48666d79df010000c6","5e41b2e40b4861de01000133","5e48e407435326df01000013","5e496f05407e6cde01000002","5e49fdd4cc11a8df01000024","5e4cd0680cc7d3de010000c2","5e4f4a4d8a3535f301000066","5e518fa6f29c90df01000127","5e554bcfca58a8df01000230","5e5f791e5766d9df010000da","6F8xdXo4gnRHg4w3j","6PtJdofMEwwK3sQfL","9RxdbLH5wiZCpP8TA","9ycKyHq5Gwdx9ntpe","EEnEpRzWuzJj9Wp4L","F8TucGre4YFoX2Eq7","FGxpYL483AzNBorwN","FZMbgaiLEASisqyZh","G4h3agvfzsvS65YBg","J83mW7qfZLuHWTZqm","K9AruYyMv6gnH9sHq","KJd6X3QecbEt96ANE","MAWkcWqzKHdxYqAYJ","MGraGYRWJpWtCBB4G","NHrGyHvfXTGGMPT9K","PYS7mrRyW7nL8Msnr","Qv8byxeoyDvPaNYJM","REs7GbdZb4ywHARLc","SCArmkxLWhvmocH4m","Si6CehHLgaGPwDk5r","WGsGetXxbw6qSJSpt","YpAidyXGmGs7rjb8a","YvS3Rq9wKdWRo2q8q","Zs9haqjmrYThPhfZf","cWJ54Mg7mGxWqKyj5","dMBQe3WFoa4qFSf7u","e9A8dzi3zCvx6qgpv","eFJrq8D7icEaztYQE","f2Ebqaea8tDueCCCi","fMaD4kxD3smvof89v","fNuZdZk6w3FE5suRT","h5cGCFX9ovceCviL4","hezkSCASczSe2ronW","iMgcjK6fpe4Smtea4","m5GsCu39h8Jbr7fZH","n3PwRdbifqYpxhe2p","orQbNQKBGa6Mree5C","r9LyTmqCJy9ZNyWYC","s8bSWT9mForN9HEtG","t2evBbaXtXhqaHQ8o","torbbQFna9GNxQwEN","upk2gpYKcqMYxXeEq","vhXMAtY93C5nusYuJ","wE2azNyRPpRNbN2ux","xP59stWMxn7CsL4gH","xZHw4ahiASSfBGg3y","yNwPJ4mnavG62zE4C"],"dataSources":["HGP9Lqns6p9cZGdvN","qbRxtdgQ5NSdrSiX3"]}