关注
Greg Morrisett
Greg Morrisett
Dean and Professor, Cornell University
在 cornell.edu 的电子邮件经过验证 - 首页
标题
引用次数
年份
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
112023
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
92022
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
42021
An application of computable distributions to the semantics of probabilistic programs
D Huang, G Morrisett, B Spitters
Foundations of Probabilistic Programming 4, 75, 2020
152020
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
42019
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
132018
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
402017
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
22017
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
142017
Revisiting parametricity: inductives and uniformity of propositions
A Anand, G Morrisett
arXiv preprint arXiv:1705.01163, 2017
122017
An application of computable distributions to the semantics of probabilistic programs: part 2
D Huang, G Morrisett
Proc. PPS 2017, 2017
32017
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
1302017
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
202016
A mechanized proof of security for searchable symmetric encryption
A Petcher, G Morrisett
2015 IEEE 28th Computer Security Foundations Symposium, 481-494, 2015
132015
1st Summit on Advances in Programming Languages
T Ball, R Bodík, S Krishnamurthi, BS Lerner, G Morrisett
2015
系统目前无法执行此操作,请稍后再试。
文章 1–20