Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Peter Sewell
My research aims to put the engineering of real-world computer
systems on better foundations, developing techniques (both
mathematically rigorous and pragmatically useful)
to make systems that are better-understood, more robust, and
more secure.
This applied semantics needs tightly integrated theoretical and practical
research, spanning a range of Computer Science: I work in
architectural description, programming languages, networking, and security,
developing and using techniques from
semantics, type systems, automated reasoning, and concurrency theory.
SibylFS: formal specification and oracle-based testing
for POSIX and real-world file systems, T. Ridge, D. Sheets,
T. Tuerk, A. Madhavapeddy, A. Giugliano, P. Sewell. To appear
in SOSP 2015.
ITP 2014: Conference on Interactive Theorem Proving (invited
speaker)
CHLLP 2014: Workshop on Certification of high-level and low-level
programs (in the Institut Henri Poincare thematic trimester on
Semantics of proofs and certified mathematics, 2014 (invited speaker)
PLMW 2014: SIGPLAN Programming Languages Mentoring Workshop
(invited speaker)
SRC/NSF/CCC Workshop on Convergence of Software Assurance Methodologies and
Trustworthy Semiconductor Design and Manufacture (SA+TS), 2013
(invited speaker)
PLMW 2013: SIGPLAN Programming Languages Mentoring Workshop
(invited speaker)