Artikkelit, joihin on yleisen käytön mandaatti - Greg MorrisettLisätietoja
Saatavilla jossain: 9
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
Mandaatit: US National Science Foundation
Go meta! A case for generative programming and dsls in performance critical systems
T Rompf, KJ Brown, HJ Lee, AK Sujeeth, M Jonnalagedda, N Amin, ...
1st Summit on Advances in Programming Languages (SNAPL 2015) 32, 238-261, 2015
Mandaatit: US Department of Energy, European Commission
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
Mandaatit: US National Science Foundation, US Department of Defense, Agence Nationale …
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
Mandaatit: US National Science Foundation, US Department of Defense, European Commission
Bidirectional grammars for machine-code decoding and encoding
G Tan, G Morrisett
Journal of Automated Reasoning 60, 257-277, 2018
Mandaatit: US National Science Foundation
IPDL: A simple framework for formally verifying distributed cryptographic protocols
G Morrisett, E Shi, K Sojakova, X Fan, J Gancher
Cryptology ePrint Archive, 2021
Mandaatit: US National Science Foundation, US Department of Defense, US Office of the …
Evolving academia/industry relations in computing research: Interim report
G Morrisett, S Patel, J Rexford, B Zorn
Computing Community Consortium, March, 2019
Mandaatit: US National Science Foundation
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
Mandaatit: US National Science Foundation, US Department of Defense
Certified Parsing of Dependent Regular Grammars
J Sarracino, G Tan, G Morrisett
2022 IEEE Security and Privacy Workshops (SPW), 113-123, 2022
Mandaatit: US Department of Defense
Tietokoneohjelma arvioi ja määrittää julkaisu- ja rahoitustiedot automaattisesti