Joonwon Choi Graduate Student Email joonwonc@mit.edu Room 32-G888 Last updated Mar 31 '21 Projects Project Hemiola: Structural Design and Proof of Cache-Coherence Protocols A Coq framework for structural design and proof of hierarchical cache-coherence protocols Adam Chlipala Leads Adam Chlipala Research Areas Computer Architecture Programming Languages & Software Engineering Adam Chlipala Project Kami: A Modular Deductive Hardware Verification Platform A framework to support implementing, specifying, verifying, and compiling hardware designs, modularly Adam Chlipala Leads Adam Chlipala Research Areas Computer Architecture Programming Languages & Software Engineering Impact Areas Cybersecurity Adam Chlipala Groups Research Group Computation Structures Group Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with. +14 Leads Srini Devadas Daniel Sanchez Armando Solar-Lezama Arvind Mithal Research Areas Computer Architecture Programming Languages & Software Engineering Security & Cryptography Systems & Networking Impact Areas Cybersecurity Wireless Lead Srini Devadas Daniel Sanchez Armando Solar-Lezama Arvind Mithal +14
Project Hemiola: Structural Design and Proof of Cache-Coherence Protocols A Coq framework for structural design and proof of hierarchical cache-coherence protocols Adam Chlipala Leads Adam Chlipala Research Areas Computer Architecture Programming Languages & Software Engineering Adam Chlipala
Project Kami: A Modular Deductive Hardware Verification Platform A framework to support implementing, specifying, verifying, and compiling hardware designs, modularly Adam Chlipala Leads Adam Chlipala Research Areas Computer Architecture Programming Languages & Software Engineering Impact Areas Cybersecurity Adam Chlipala
Research Group Computation Structures Group Our mission is fostering the creation and development of high-performance, reliable and secure computing systems that are easy to interact with. +14 Leads Srini Devadas Daniel Sanchez Armando Solar-Lezama Arvind Mithal Research Areas Computer Architecture Programming Languages & Software Engineering Security & Cryptography Systems & Networking Impact Areas Cybersecurity Wireless Lead Srini Devadas Daniel Sanchez Armando Solar-Lezama Arvind Mithal +14
