👤 Morrisett Person

1 articles First seen: Apr 11, 2026 Last seen: Apr 11

Activity Timeline (90 days)

Co-occurring Entities

Andrew W. Appel1 Appel1 Cedilla Systems1 Defense Advanced Research Projects Agency1 Felty1 Harper1 Honsell1 IEEE1 LF1 National Science Foundation1 Necula1 Plotkin1 Princeton University1 Princeton University1 Twelf1

Articles (1)

Foundational Proof-Carrying Code for Safe Machine Language Programs

news cs.princeton.edu IrregularChat: Tech Apr 11

Foundational proof-carrying code (PCC) aims to ensure the safety of machine language programs by relying on a minimal set of axioms and a simplified verification process. This approach addresses the c

👤 Morrisett Person

Submit Link