Interval Parsing Grammars for File Format Parsing J Zhang, G Morrisett, G Tan Proceedings of the ACM on Programming Languages 7 (PLDI), 1073-1095, 2023 | | 2023 |
A core calculus for equational proofs of cryptographic protocols J Gancher, K Sojakova, X Fan, E Shi, G Morrisett Proceedings of the ACM on Programming Languages 7 (POPL), 866-892, 2023 | 11 | 2023 |
Leapfrog: certified equivalence for protocol parsers R Doenges, T Kappé, J Sarracino, N Foster, G Morrisett Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 9 | 2022 |
Certified Parsing of Dependent Regular Grammars J Sarracino, G Tan, G Morrisett 2022 IEEE Security and Privacy Workshops (SPW), 113-123, 2022 | | 2022 |
IPDL: A simple framework for formally verifying distributed cryptographic protocols G Morrisett, E Shi, K Sojakova, X Fan, J Gancher Cryptology ePrint Archive, 2021 | 4 | 2021 |
An application of computable distributions to the semantics of probabilistic programs D Huang, G Morrisett, B Spitters Foundations of Probabilistic Programming 4, 75, 2020 | 15 | 2020 |
Evolving Academia/Industry Relations in Computing Research G Morrisett, S Patel, J Rexford, B Zorn arXiv preprint arXiv:1903.10375, 2019 | | 2019 |
Evolving academia/industry relations in computing research: Interim report G Morrisett, S Patel, J Rexford, B Zorn Computing Community Consortium, March, 2019 | 4 | 2019 |
IPDL: A Probabilistic Dataflow Logic for Cryptography X Fan, J Gancher, G Morrisett, E Shi, K Sojakova Cryptology ePrint Archive, 2019 | | 2019 |
Bidirectional grammars for machine-code decoding and encoding G Tan, G Morrisett Journal of Automated Reasoning 60, 257-277, 2018 | 13 | 2018 |
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling D Huang, JB Tristan, G Morrisett Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 40 | 2017 |
Safety and security for intelligent infrastructure K Fu, A Drobnis, G Morrisett, E Mynatt, S Patel, R Poovendran, B Zorn arXiv preprint arXiv:1705.02002, 2017 | 2 | 2017 |
A national research agenda for intelligent infrastructure E Mynatt, J Clark, G Hager, D Lopresti, G Morrisett, K Nahrstedt, G Pappas, ... arXiv preprint arXiv:1705.01920, 2017 | 14 | 2017 |
Revisiting parametricity: inductives and uniformity of propositions A Anand, G Morrisett arXiv preprint arXiv:1705.01163, 2017 | 12 | 2017 |
An application of computable distributions to the semantics of probabilistic programs: part 2 D Huang, G Morrisett Proc. PPS 2017, 2017 | 3 | 2017 |
CertiCoq: A verified compiler for Coq A Anand, A Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ... The third international workshop on Coq for programming languages (CoqPL), 2017 | 130 | 2017 |
Challenges in compiling Coq G Morrisett Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | | 2016 |
An application of computable distributions to the semantics of probabilistic programming languages D Huang, G Morrisett Programming Languages and Systems: 25th European Symposium on Programming …, 2016 | 20 | 2016 |
A mechanized proof of security for searchable symmetric encryption A Petcher, G Morrisett 2015 IEEE 28th Computer Security Foundations Symposium, 481-494, 2015 | 13 | 2015 |
1st Summit on Advances in Programming Languages T Ball, R Bodík, S Krishnamurthi, BS Lerner, G Morrisett | | 2015 |