CSE Seminar or Event|
Architecting Formally Verifiable Systems Protocols
Wednesday, January 11, 2017|
12:00pm - 1:00pm
Add to Google Calendar
About the Event
Model checking is the widely used technique for formally verifying protocols because it is simple and automated. Unfortunately, due to the well-known state explosion problem, model checkers can typically only
verify an industrial-strength protocol for a small scale. This
provides strong motivation for architects to design protocols
specifically to enable their scalable verification.
Luwa Matthews is a Ph.D. Candidate in the department of Electrical and Computer Engineering at Duke University. He is in his fifth year and is advised by Professor Daniel Sorin. His research interests lie in the general area of computer architecture and, more specifically, verification-aware protocol design, including cache coherence, power management, and other systems protocols. He received his B.A. in Computer Science, Mathematics, and Physics from Luther College in May 2012 and his M.S. in Computer Science from Duke University in May 2015.
Open to: Public